Średnia Ocena:

Metody 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 różnorakie strategie i techniki dowodzenia, takie jak: wprost, nie wprost, dowody warunkowe i rozgałęzione a także dowody z wykorzystaniem indukcji matematycznej.

Szczegóły
Tytuł	Metody logiki. Dedukcja
Autor:	Indrzejczak Andrzej, Nowak Marek
Rozszerzenie:	brak
Język wydania:	polski
Ilość stron:
Wydawnictwo:	Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania:	2016

Tytuł	Data Dodania	Rozmiar

Porównaj ceny książki Metody logiki. Dedukcja w internetowych sklepach i wybierz dla siebie najtańszą ofertę. Zobacz u nas podgląd ebooka lub w przypadku gdy jesteś jego autorem, wgraj skróconą wersję książki, aby zachęcić użytkowników do zakupu. Zanim zdecydujesz się na zakup, sprawdź szczegółowe informacje, opis i recenzje.

Metody logiki. Dedukcja PDF - 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 podgląd 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.

 

Podgląd niedostępny.