19,95 zł

ebook Metody logiki Dedukcja Andrzej Indrzejczak, Marek Nowak

Wydawca: Wydawnictwo Uniwersytetu Łódzkiego

Rok wydania: 2016

Odkryj sekrety dedukcji naturalnej w elektronicznej publikacji "Metody logiki" autorstwa Andrzeja Indrzejczaka i Marka Nowaka, wydanej przez Wydawnictwo Uniwersytetu Łódzkiego w 2016 roku. Ta wyjątkowa książka w języku polskim zapełnia lukę w literaturze logicznej, skupiając się na praktycznych aspektach konstruowania dowodów metodą dedukcji naturalnej.

Wybierz "Metody logiki" jako Twój e-book i dołącz do grona czytelników, którzy rozwijają swoje umiejętności logiczne i matematyczne w wygodnym formacie PDF. Kup e-booka w sklepie z ebookami lub pobierz go bezpośrednio ze strony wydawcy. Ciesz się czytaniem na dowolnym urządzeniu, takim jak tablet, smartfon czy komputer, i korzystaj z tej publikacji cyfrowej, by pogłębić swoją wiedzę.

"Metody logiki" to nie tylko ebooki edukacyjne, ale również cenny materiał dla osób poszukujących najlepszych źródeł wiedzy w dziedzinie logiki i matematyki. Zanurz się w świat ebooków literatury pięknej i naukowej, odkryj bestsellery ebooki oraz zaskocz swoich znajomych imponującą kolekcją elektronicznych publikacji.

Poznaj strategie i techniki dowodzenia w logice klasycznej, arytmetyce liczb naturalnych i teorii mnogości, a następnie zastosuj je w praktyce. Wykorzystaj ebooki jako narzędzie do rozwoju osobistego i zawodowego, czytając "Metody logiki" i inne publikacje w formie elektronicznej.

Spis treści ebooka Metody logiki

Wstęp 9
1 Dowodzenie w logice klasycznej 13
1.1 Klasyczny rachunek zdań 13
1.1.1 Język KRZ 13
1.1.2 Aksjomatyzacja KRZ 16
1.1.3 Dowód 17
1.2 Dedukcja naturalna 20
1.2.1 Pierwotne reguły inferencji 20
1.2.2 Proste dedukcje 21
1.2.3 Dowody założeniowe wprost 23
1.2.4 Dowodzenie nie wprost 24
1.2.5 Dowody a dedukcje 26
1.2.6 Równoważności 28
1.3 Zaawansowana dedukcja 29
1.3.1 Stosowanie założeń dodatkowych 29
1.3.2 Poddowody warunkowe 30
1.3.3 Poddowody nie wprost 32
1.3.4 Poddowody wielokrotne i zagnieżdżone 33
1.4 Dodatkowe środki dowodowe 36
1.4.1 Reguły wtórne 36
1.4.2 Reguły obustronne 38
1.4.3 Dodatkowe reguły konstrukcji dowodu 42
1.4.4 Dodatkowe sposoby dowodzenia równoważności 45
1.5 Klasyczny rachunek kwantyfikatorów 47
1.5.1 Języki pierwszego rzędu 48
1.5.2 Zmienne wolne i związane 51
1.5.3 Podstawianie i zastępowanie 52
1.6 Dowodzenie w rachunku kwantyfikatorów 54
1.6.1 Reguły inferencji dla ∀ i ∃ 54
1.6.2 Reguły konstrukcji dowodu dla kwantyfikatorów 58
1.6.3 Reguły wtórne 62
1.6.4 Reguły dla identyczności 64
1.7 Uwagi końcowe 68
1.7.1 Strategie dowodzenia 68
1.7.2 Dowody nieformalne 72
2 Dowodzenie w arytmetyce liczb naturalnych i teorii zbiorów 75
2.1 Arytmetyka elementarna 75
2.1.1 Aksjomaty 75
2.1.2 Dowody indukcyjne 76
2.2 Arytmetyka liczb naturalnych z dodawaniem 77
2.2.1 Aksjomaty i podstawowe własności dodawania 77
2.2.2 Relacja porządku 81
2.3 Arytmetyka z dodawaniem i mnożeniem 84
2.3.1 Aksjomaty i podstawowe własności mnożenia 84
2.4 Teoria mnogości 86
2.4.1 Naiwna teoria zbiorów 86
2.4.2 Paradoks Russella 88
2.5 Teoria zbiorów Zermelo-Fraenkla 89
2.5.1 Aksjomaty teorii mnogości ZF (bez aksjomatów ufundowania i wyboru) 89
2.5.2 Inkluzja zbiorów 93
2.5.3 Zbiór pusty 95
2.5.4 Zbiór potęgowy zbioru 97
2.5.5 Suma zbioru 98
2.5.6 Para zbiorów, zbiór jednoelementowy 99
2.5.7 Operacje boolowskie na zbiorach, zbiór n-elementowy 100
2.5.8 Przekrój zbioru niepustego 105
2.6 Algebra Boole’a zbiorów 107
2.6.1 Ciało zbiorów 107
2.6.2 Algebra Boole’a 110
2.7 Relacje i funkcje 112
2.7.1 Para uporządkowana. Produkt kartezjański dwóch zbiorów 112
2.7.2 Relacje binarne 115
2.7.3 Funkcje 119
2.8 Zbiory ufundowane 126
2.8.1 Teoria ZF − z aksjomatem Ω 127
2.8.2 Aksjomat regularności (ufundowania) 136
2.9 Interpretacja arytmetyki elementarnej w teorii ZF 137
2.9.1 Operacja następnika 137
2.9.2 Indukcja 139
Bibliografia 143