Logika pro všechny ochotné myslet

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Logika pro všechny ochotné myslet

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logic for all willing to think

Popis výsledku anglicky

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.

Druh

B - Odborná kniha

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA1019401" target="_blank" >IAA1019401: Teorie, důkazy a výpočetní složitost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

Kód důvěrnosti údajů

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

ISBN

978-80-246-1959-0

Počet stran knihy

363

Název nakladatele

Karolinum

Místo vydání

Praha

Kód UT WoS knihy

—