ISBN:9788380883604
Metody logiki. Dedukcja
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 | |
|---|---|---|---|
|
od 6.92 zł (dostęp online) |
10.97 zł |
|
|
|
od 15.26 zł (dla stałych klientów) |
16.96 zł |
|
|
|
|
16.96 zł |
|
|
|
|
17.20 zł |
|
|
|
|
18.00 zł |
|
|
|
11.97 zł w programie Nexto Premium |
18.55 zł |
|
|
|
|
19.22 zł |
|
|
|
|
19.95 zł |
|
|
|
|
19.95 zł |
|
|
|
|
19.95 zł |
|
|
Marek Nowak - inne e-booki
E-booki podobne do "Metody logiki. Dedukcja"
