Metody logiki. Dedukcja

- Kategoria:
- informatyka, matematyka
- Format:
- papier
- Data wydania:
- 2016-01-01
- Data 1. wyd. pol.:
- 2016-01-01
- Liczba stron:
- 144
- Czas czytania
- 2 godz. 24 min.
- Język:
- polski
- ISBN:
- 9788380883598
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 przykładów, w jaki sposób konstruować dowody. Niniejsza książka, jak i cały planowany cykl, mają wypełnić tę lukę w polskich podręcznikach do logiki.
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: dowód wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej.
Kup Metody logiki. Dedukcja w ulubionej księgarni
W naszej porównywarce znajdziesz książki, e-booki i audiobooki z najpopularniejszych księgarń internetowych. Niektórzy partnerzy przygotowują dla użytkowników naszego serwisu specjalne rabaty, dlatego warto kupować książki przez lubimyczytać.pl. Oferty są prezentowane w trzech kategoriach: „Oferta dnia” (promocje partnerów),„Polecane księgarnie” (sprawdzeni partnerzy handlowi, z którymi współpracujemy na podstawie umów) oraz „Pozostałe”. W każdej kategorii kolejność prezentacji zależy od ceny produktu przekazanej przez księgarnie lub dostawcę porównywarki. Lubimyczytać.pl nie prowadzi sprzedaży i nie uczestniczy w procesie zakupowym po przekierowaniu na stronę sklepu. Mimo że dokładamy starań, aby wszystkie linki i informacje były aktualne, nie mamy wpływu na ewentualne nieścisłości cenowe, błędne przekierowania lub zmiany w ofertach księgarni. Jeśli zauważysz nieprawidłowość, prosimy o zgłoszenie jej na adres: admin@lubimyczytac.pl. Dzięki Twojej informacji możemy jeszcze lepiej dbać o jakość działania naszej porównywarki.
Oceny książki Metody logiki. Dedukcja
Poznaj innych czytelników
17 użytkowników ma tytuł Metody logiki. Dedukcja na półkach głównych- Chcę przeczytać 16
- Przeczytane 1
- Posiadam 2
- Logika 2
- Matematyka 1
- Chcę w prezencie 1
- Filozofia 1





































OPINIE i DYSKUSJE o książce Metody logiki. Dedukcja