Szukaj:

Autor: Andrzej Indrzejczak, Marek Nowak, Styczeń 2017, 144 stron

Opis ebooka

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. Ni ...

Czytaj dalej...

Spis treści ebooka



Zobacz pełny spis treści


Cały opis ebooka


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. Ni niejsza Ebook 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.
 

Cały spis treści ebooka






Kontynuuj...





Porównywarka cen ebooków, które dostępne są w formatach PDF, MOBI i innych. Na urządzenia Kindle i inne. Tutaj znajdziesz ebook, którego szukasz. Nie wszystkie ebooki w ofercie są darmowe. Wspierajmy autorów i kupujmy ebooki, zamiast ściągać je z torrentów i chomikuj
Tytuł: Metody logiki. Dedukcja Ocena: 4.8 Recenzent: Tomasz Smykowski Dodał: Data recenzji: 3 sierpień 2012 Streszczenie: Ebook polecany Opis: Ebook polecany