30.58
Książki
Wydawnictwo Uniwersytetu Łódzkiego
Metody logiki
Dedukcja
Wydawnictwo:
Wydawnictwo Uniwersytetu Łódzkiego
Oprawa: Miękka
30,58 zł
Cena rekomendowana: 39,90 zł
Cena okładkowa/rekomendowana przez wydawcę/producenta.
Produkt chwilowo niedostępny
Powiadom o dostępności
Kup teraz,Zapłać za 30 dni
Opis
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
Tytuł
Metody logiki
Podtytuł
Dedukcja
Autor
Andrzej Indrzejczak
, Marek Nowak
Wydawnictwo
Rok wydania
2019
Oprawa
Miękka
Ilość stron
144
Format
16.7x23.9
Języki
polski
Rodzaj
Książka
Stan
Nowy
EAN
9788380883598
Dodałeś produkt do koszyka
Metody logiki
30,58 zł
Rabaty do 45% non stop
Ponad 200 tys. produktów
Bezpieczne zakupy
Recenzje