Logic for all willing to think

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F11%3A00362933" target="_blank" >RIV/67985840:_____/11:00362933 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Logika pro všechny ochotné myslet
Original language description
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.
Czech name
Logika pro všechny ochotné myslet
Czech description
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.

Project
<a href="/en/project/IAA1019401" target="_blank" >IAA1019401: Theories, proofs and computational complexity</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)