Počet záznamů: 1
Logika pro všechny ochotné myslet
- 1.
SYSNO ASEP 0362933 Druh ASEP B - Monografie Zařazení RIV B - Odborná monografie, kniha Název Logika pro všechny ochotné myslet Překlad názvu Logic for all willing to think Tvůrce(i) Sochor, Antonín (MU-W) SAI Vyd. údaje Praha: Karolinum, 2011 ISBN 978-80-246-1959-0 Poč.str. 363 s. Poč.výt. 500 Jazyk dok. cze - čeština Země vyd. CZ - Česká republika Vydání 1. Klíč. slova mathematical logic ; propositional calculus ; predicate calculus ; completeness theorem ; incompleteness theorem Vědní obor RIV BA - Obecná matematika CEP IAA1019401 GA AV ČR - Akademie věd CEZ AV0Z10190503 - MU-W (2005-2011) Anotace Tato kniha je úvodem do matematické logiky, určená studentům vyšších ročníků gymnasii a široké veřejnosti. Základní pojmy z logiky jsou zavedeny neformálně a vysvětleny pomocí mnoha příkladů, hádanek a cvičení. Tři kapitoly knihy pokrývají výrokový počet, predikátovou logiku a věty o úplnosti logiky prvního řádu a neúplnosti aritmetických teorií. Text je doplněn stručným popisem neklasických logik a zmínkou o historii logiky. Překlad anotace This book is an introduction to mathematical logic intended for high school students and wider public. Main concepts of logic are introduced informally and explained using many examples, puzzles and exercises. The three chapters of the book cover the predicate calculus, the predicate calculus and theorems on completeness of first order logic and incompleteness of arithmetical theories. The text is complemented by a brief description of nonclassical logics and a mention of the history of logic. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2012
Počet záznamů: 1