pokaz koszyk
rozwiń menu
tylko:  
Tytuł książki:

Metody logiki. Dedukcja

Dane szczegółowe:
Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
Rok wyd.: 2016
Oprawa: miękka
Ilość stron: 144 s.
Wymiar: 167x239 mm
EAN: 9788380883598
ISBN: 978-83-8088-359-8
Data: 2017-01-18
Cena wydawcy: 39.90 złpozycja niedostępna

Opis książki:

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 "Metody logiki. Dedukcja" - Andrzej Indrzejczak, Marek Nowak - oprawa miękka - Wydawnictwo Uniwersytetu Łódzkiego. Książka posiada 144 stron i została wydana w 2016 r.