Ebook Metody logiki. Dedukcja pdf
O Akcji
Akcja Podziel się książką skupia się zarówno na najmłodszych, jak i tych najstarszych czytelnikach. W jej ramach możesz przekazać książkę oznaczoną ikoną prezentu na rzecz partnerów akcji, którymi zostali Fundacja Dr Clown oraz Centrum Zdrowego i Aktywnego Seniora. Akcja potrwa przez cały okres Świąt Bożego Narodzenia, aż do końca lutego 2023.
Dowiedz się więcej
ebook
Wydawnictwo Uniwersytet Łódzki |
Data wydania 2017 |
Zabezpieczenie Znak wodny |
Produkt cyfrowy |
Opis produktu:
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.
Szczegóły |
Dział: | Ebooki pdf, epub, mobi, mp3 |
Kategoria: | nauki ścisłe |
Wydawnictwo: | Uniwersytet Łódzki |
Rok publikacji: | 2017 |
Język: | polski |
Zabezpieczenia i kompatybilność produktu (szczegóły w dziale POMOC): | *Produkt jest zabezpieczony przed nielegalnym kopiowaniem (Znak wodny) |
Zaloguj się i napisz recenzję - co tydzień do wygrania kod wart 50 zł, darmowa dostawa i punkty Klienta.