Newsletter

Metody logiki Dedukcja

Andrzej Indrzejczak , Marek Nowak
Niedostepny
Ostatnio widziany
05.09.2021
49,39 zł
Dostawa Deutche Post tylko 1.40€.
Szybki kurier do 30kg tylko - 4€!
(Sprawdź!)

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

Książka Metody logiki wysyłka Niemiecy od 1.40€. Wysyłka do Austrii i innych krajów - sprawdź na stronie "dostawa"

Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik) / Produkt-Typ książka po polsku
Dział / Departement Książki i czasopisma / Bücher und Zeitschriften
Autor / Author Andrzej Indrzejczak , Marek Nowak
Tytuł / Titel Metody logiki
Podtytuł / Untertitel Dedukcja
Język / Sprache polski / polnisch
Wydawca / Herausgeber Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania / Erscheinungsjahr 2019
Rodzaj oprawy / Deckelform Miękka
Wymiary / Größe 16.7x23.0
Liczba stron / Seiten 144
Ciężar / Gewicht 0,25 kg
   
Wydano / Veröffentlicht am 18.01.2017
EAN/UPC 9788380883598
Stan produktu / Zustand Nowa książka - sprzedajemy wyłącznie nowe nieużywane polskie książki.


Znaczniki produktu
Zapraszamy do zakupu tego produktu.