Metody logiki. Dedukcja (Ebook)

Autorzy: Andrzej Indrzejczak, Marek Nowak

Wydawca: Wydawnictwo Uniwersytetu Łódzkiego

Data wydania: 2017

Stron: 144

ISBN: 978-8-3808-8360-4

Formaty: Pdf

19,95 zł >> 16,36 zł

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.

UWAGA :: EBOOK dostarczany jest w postaci cyfrowej, do pobrania z biblioteki na koncie Allegro (wymagana przeglądarka www). Kupując ebooka na tej aukcji musisz posiadać konto w Allegro. Pamiętaj aplikacja Allegro nie zawiera czytnika ebooków. Pobrane pliki w zależności od formatów przeczytasz na: czytniku (Kindle, PocketBook, Onyx, Kobo i inne), smartfonie, tablecie lub komputerze.

Twój ebook zostanie zabezpieczony za pomocą znaku wodnego i nie posiada DRM. Znak wodny zawiera dane kupującego podane w Allegro.