Metody logiki: Dedukcja
| dc.contributor.author | Indrzejczak, Andrzej | |
| dc.contributor.author | Nowak, Marek | |
| dc.date.accessioned | 2026-09-23T05:14:15Z | |
| dc.date.available | 2026-09-23T05:14:15Z | |
| dc.date.issued | 2016-12-30 | |
| dc.identifier.citation | Indrzejczak A., Nowak M., Metody logiki: Dedukcja, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2016, https://doi.org/10.18778/8088-360-4 | pl |
| dc.identifier.isbn | 978-83-8088-359-8 | |
| dc.identifier.uri | http://hdl.handle.net/11089/59395 | |
| dc.description.abstract | 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. | pl |
| dc.language.iso | pl | |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | teorie zbiorów | pl |
| dc.subject | kwalifikatory | pl |
| dc.subject | dedukcja naturalna | pl |
| dc.subject | logika klasyczna | pl |
| dc.title | Metody logiki: Dedukcja | pl |
| dc.type | Book | |
| dc.rights.holder | © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016 | pl |
| dc.page.number | 144 | |
| dc.contributor.authorAffiliation | Indrzejczak, Andrzej - Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk | pl |
| dc.contributor.authorAffiliation | Nowak, Marek - Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk | pl |
| dc.identifier.eisbn | 978-83-8088-360-4 | |
| dc.references | Aczel P., Non-Well-Founded Sets, CSLI, Lecture Notes 14, Stanford 1988. | pl |
| dc.references | Beth E. W., The Foundations of Mathematics, North Holland, Amsterdam 1959 | pl |
| dc.references | Borkowski L., J. Słupecki, ‘A Logical System based on rules and its applications in teaching Mathematical Logic‘, Studia Logica, 7: 71–113, 1958. | pl |
| dc.references | Borkowski L., Logika formalna, PWN, Warszawa 1970. | pl |
| dc.references | Borkowski L., Wprowadzenie do logiki i teorii mnogosci, Wyd. KUL, Lublin 1991. | pl |
| dc.references | Corcoran, J. ‘Aristotle’s Natural Deduction System‘, w: J. Corcoran (red.), Ancient Logic and its Modern Interpretations, Reidel, Dordrecht 1972. | pl |
| dc.references | Fraenkel A. A., Abstract Set Theory, North Holland, Amsterdam 1976. | pl |
| dc.references | Fraenkel A. A., J. Bar-Hillel, A. Levy, Foundations of set theory, North Holland, Amsterdam 1973. | pl |
| dc.references | Gentzen, G., ‘Untersuchungen über das Logische Schliessen‘, Mathematische Zeitschrift 39:176–210 and 39:405–431, 1934. | pl |
| dc.references | Grzegorczyk A., Zarys arytmetyki teoretycznej, PWN, Warszawa 1971. | pl |
| dc.references | Guzicki W., P. Zbierski, Podstawy teorii mnogości, PWN Warszawa 1978. | pl |
| dc.references | Indrzejczak A., Elementy logiki, wyd. WSHE, Łódz 2004. | pl |
| dc.references | Indrzejczak A., Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010. | pl |
| dc.references | Jaśkowski, S., ‘On the Rules of Suppositions in Formal Logic‘ Studia Logica 1:5–32, 1934. | pl |
| dc.references | Jech T. J., Lectures in set theory, Lectures Notes in Mathematics 217, Springer-Verlag 1971 | pl |
| dc.references | Kuratowski K., A. Mostowski, Teoria mnogosci, PWN, Warszawa 1978 | pl |
| dc.references | Malinowski, G., Logika ogólna, PWN, Warszawa 2010. | pl |
| dc.references | Morse A. P., A Theory Of Sets, Academic Press, Orlando 1986. | pl |
| dc.references | Nowak M., Elementy teorii mnogości w Mizarze, Łódź 1990. | pl |
| dc.references | Porębska M., W. Suchon, Elementarne wprowadzenie w logikę formalną, PWN, Warszawa 1991. | pl |
| dc.references | Schoenfield J. R., ‘Axioms of set theory‘, w: J. Barwise (red.) Handbook of Mathematical Logic, North Holland, Amsterdam 1977 | pl |
| dc.references | Słupecki J., L. Borkowski, Elementy logiki matematycznej i teorii mnogosci, PWN, Warszawa 1984. | pl |
| dc.references | Takeuti G., W. M. Zaring, Introduction to Axiomatic Set Theory, Springer-Verlag, New York 1971. | pl |
| dc.references | Traczyk T., Wstep do teorii algebr Boole’a, PWN, Warszawa 1970. | pl |
| dc.identifier.doi | 10.18778/8088-360-4 |
Pliki tej pozycji
Pozycja umieszczona jest w następujących kolekcjach
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako http://creativecommons.org/licenses/by-nc-nd/4.0/