Metody logiki. Dedukcja - Ebook (Książka PDF) do pobrania w formacie PDF
Fragment:

Metody logiki. Dedukcja - ebook

Oceń:
Format ebooka:
PDF
Format PDF
czytaj
na laptopie
czytaj
na tablecie
Format e-booków, który możesz odczytywać na tablecie oraz laptopie. Pliki PDF są odczytywane również przez czytniki i smartfony, jednakze względu na komfort czytania i brak możliwości skalowania czcionki, czytanie plików PDF na tych urządzeniach może być męczące dla oczu. Więcej informacji znajdziesz w dziale Pomoc.
czytaj
na laptopie
Pliki PDF zabezpieczone watermarkiem możesz odczytać na dowolnym laptopie po zainstalowaniu czytnika dokumentów PDF. Najpowszechniejszym programem, który umożliwi odczytanie pliku PDF na laptopie, jest Adobe Reader. W zależności od potrzeb, możesz zainstalować również inny program - e-booki PDF pod względem sposobu odczytywania nie różnią niczym od powszechnie stosowanych dokumentów PDF, które odczytujemy każdego dnia.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale Pomoc.
czytaj
na tablecie
Aby odczytywać e-booki na swoim tablecie musisz zainstalować specjalną aplikację. W zależności od formatu e-booka oraz systemu operacyjnego, który jest zainstalowany na Twoim urządzeniu może to być np. Bluefire dla EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale Pomoc.
ISBN:
978-83-8088-360-4
Język:
Polski
Rok wydania:
2016
Rozmiar pliku:
1,5 MB
Zabezpieczenie:
Watermark
Watermark
Watermarkowanie polega na znakowaniu plików wewnątrz treści, dzięki czemu możliwe jest rozpoznanie unikatowej licencji transakcyjnej Użytkownika. E-książki zabezpieczone watermarkiem można odczytywać na wszystkich urządzeniach odtwarzających wybrany format (czytniki, tablety, smartfony). Nie ma również ograniczeń liczby licencji oraz istnieje możliwość swobodnego przenoszenia plików między urządzeniami. Pliki z watermarkiem są kompatybilne z popularnymi programami do odczytywania ebooków, jak np. Calibre oraz aplikacjami na urządzenia mobilne na takie platformy jak iOS oraz Android.
Cena Virtualo
19,95 zł
Cena w punktach Virtualo:
1995 pkt.

Pełny opis

Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego. a zamieszczano zbyt mało wskazówek pokazujących. w jaki sposób konstruować dowody. Niniejsza książka i cały planowany cykl mają wypełnić tę lukę w polskim piśmiennictwie logicznym.

 

Autorzy opracowania przedstawiają rozmaite sposoby konstrukcji dowodów metodą dedukcji naturalnej (założeniową) w logice klasycznej. arytmetyce liczb naturalnych i teorii mnogości. Dedukcja naturalna zaprezentowana jest najpierw w sposób formalny. na przykładach z logiki klasycznej, a następnie zastosowana w nieformalnej postaci do dowodzenia tez w teoriach matematycznych. Za pomocą bogatego materiału ilustracyjnego omówiono różne strategie i techniki dowodzenia, takie jak: wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej.

Spis treści

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

BESTSELLERY

Serwis korzysta z plików cookies w celach określonych w Polityce Prywatności i Cookies (aktualizacja dn. 26.10.2016 r.). Możesz określić warunki przechowywania lub dostępu do cookie w Twojej przeglądarce internetowej. Korzystanie z Serwisu bez zmiany ustawień przeglądarki oznacza zgodę na używanie cookie.