Metody logiki. Dedukcja - Marek Nowak, Andrzej Indrzejczak

Metody logiki. Dedukcja - Marek Nowak, Andrzej Indrzejczak

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. źródło opisu: https://wydawnictwo.uni.lodz.pl/produkt/metody-logiki/ źródło okładki: https://wydawnictwo.uni.lodz.pl/wp-content/uploads...»

liczba stron 144
język polski
ISBN 9788380883598
data wydania 2016 (data przybliżona)
słowa kluczowe logika, metody logiki, dedukcja
kategoria filozofia i etyka
Aby oceniać i komentować zarejestruj się!
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.

Podobne wpisy do Metody logiki. Dedukcja - Marek Nowak, Andrzej Indrzejczak

O krasnoludkach i o sierotce Marysi - Maria Konopnicka

Reprint odnalezionego po 120 latach oryginału z 1896 r. Konopnicka baśniowy świat przeniosła na polską wieś, wplatając go w ojczysty krajobraz (jezioro Gopło, góry Karpaty, miasto Gniezno) oraz łącząc z legendą o Popielu, z Piastem czy Mieszkiem. Fab...

To ja! Duży i odważny! Nowe historyjki, które dodają dzieciom pewności siebie - praca zbiorowa

Pewność siebie warto ćwiczyć od najmłodszych lat! Kiedy dzieci zaczynają poznawać otaczający je świat i zawierać przyjaźnie, przeżywają wiele ekscytujących, nowych i pięknych chwil. Zdarzają im się sytuacje, w których potrzebują pociechy, rady lub ws...

Opowieści Okrągłego Stołu - autor nieznany

"Opowieść o Rycerzach Okrągłego Stołu" to skrócona adaptacja starofrancuskiego cyklu Lancelota-Graala, jednego z arcydzieł średniowiecznej prozy powieściowej. Autorem adaptacji, a także jej przekładu na współczesny język francuski, jest Jacques Boule...

C jak Cthulhu - Jason Ciaramella, Greg Murphy

Kim byli Wielcy Przedwieczni? Gdzie leży R’lyeh? I co zdarzyło się w Dunwich? Odpowiedzi kryją się pod okładką tej książeczki, która zabierze Wasze dzieci w pełną humoru podróż do świata stworzonego przez H.P.Lovecrafta. Spotkają tam przedziwne posta...

Sztorm - Clive Cussler, Graham Brown

Powieść z cyklu Z archiwów NUMA z Kurtem Austinem, najsłynniejszym obok Dirka Pitta bohaterem Cusslera Rok 1943, Ocean Indyjski. Amerykański frachtowiec atakowany przez japońskie myśliwce znika z oczu nieprzyjacielskim pilotom w sercu gwałtownego szt...

Polska Jagiellonów - Paweł Jasienica

W drugiej części słynnego cyklu esejów historycznych Paweł Jasienica kreśli dzieje dynastii Jagiellonów, która stworzyła w drugiej połowie XV wieku potężne imperium, obejmujące Polskę, Litwę, Czechy i Węgry. Było to pierwsze w dziejach Europy państwo...

Logowanie
Rejestracja