ISBN:9788380883604

Metody logiki. Dedukcja

Autor: Andrzej Indrzejczak, Marek Nowak

Wydawnictwo: Wyd. Uniwersytetu Łódzkiego

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.

Najlepsza cena: IBUK
LUB
Wyślemy Ci maila, gdy cena książki będzie niższa, np.12 zł

Znaleziono 10 ofert ebooków od 10.97 zł

Formaty Cena Księgarnia
pdf
od 6.92 zł
(dostęp online)
10.97 zł ibuk.pl
pdf
od 15.26 zł
(dla stałych klientów)
16.96 zł ebookpoint.pl
pdf
16.96 zł helion.pl
pdf
17.20 zł ebuczek.pl
pdf
18.00 zł zinamon.pl
pdf
  11.97 zł
w programie Nexto Premium
18.55 zł nexto.pl
pdf
19.22 zł gandalf.com.pl
pdf
19.95 zł swiatebookow.pl
pdf
19.95 zł legimi.com
pdf
19.95 zł virtualo.pl

Marek Nowak - inne e-booki

E-booki podobne do "Metody logiki. Dedukcja"