Strona główna /
Katalog /
eBooki /
Metody logiki. Dedukcja
okladka
Język publikacji
PL
Typ publikacji

ebook

Liczba stron
145
Dostępne formaty:
PDF
Rozmiar pliku:
1,5 MB
Wydawnictwo:
Wydawnictwo Uniwersy
Data wydania:
2016
ISBN:
978-83-8088-360-4
ISBN (druk):
978-83-8088-359-8

Biznes

Metody logiki. Dedukcja

Autor: Andrzej Indrzejczak, Marek Nowak
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.
strzałka w dół na szarym tle

Cena:

19.95
Zawiera 23% VAT
Dostępne formaty
PDF