EBOOK Metody logiki - Andrzej Indrzejczak

EBOOK Metody logiki
4.00 Oceń książkę!

Autor: Andrzej Indrzejczak

 Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
ISBN: 9788380883604
EAN: 832AD2E1EB
Format: 0,0 x 0,0 x 0,0
Oprawa: ...
Stron: 144
Data wydania: 2016
Gdzie kupić tanią książkę?
Selkar
książka
24.94zł
Kup książkę
Książka w Twoim domu w ciągu 48h
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.

Książka "EBOOK Metody logiki"
Andrzej Indrzejczak