Średnia Ocena:
Metoda logiki. Dedukcja
"Metody logiki. Dedukcja" to pierwsza publikacja z planowanego cyklu poświęconego najistotniejszym 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 porad pokazujących, w jaki sposób konstruować dowody.Niniejsza książka ebook i cały planowany cykl mają wypełnić tę lukę w polskim piśmiennictwie logicznym. Autorzy opracowania przedstawiają rozmaite metody konstrukcji dowodów sposobem 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 rozmaite strategie i techniki dowodzenia, takie jak: wprost nie wprost dowody warunkowe i rozgałęzione dowody z wykorzystaniem indukcji matematycznej
Szczegóły | |
---|---|
Tytuł | Metoda logiki. Dedukcja |
Autor: | Indrzejczak Andrzej, Nowak Marek |
Rozszerzenie: | brak |
Język wydania: | polski |
Ilość stron: | |
Wydawnictwo: | Wydawnictwo Uniwersytetu Łódzkiego |
Rok wydania: | 2017 |
Tytuł | Data Dodania | Rozmiar |
---|
Metoda logiki. Dedukcja PDF Ebook podgląd:
Jesteś autorem/wydawcą tej książki i zauważyłeś że ktoś wgrał jej wstęp bez Twojej zgody? Nie życzysz sobie, aby pdf był dostępny w naszym serwisie? Napisz na adres [email protected] a my odpowiemy na skargę i usuniemy zgłoszony dokument w ciągu 24 godzin.
Wgraj PDF
To Twoja książka? Dodaj kilka pierwszych stronswojego dzieła, aby zachęcić czytelników do zakupu!