Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
358
matematika
88
umělá inteligence
63
teorie množin
39
počítače
33
množiny
31
analytická geometrie
30
více ...
Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách
Autor Včelař, František, 1962- Vydáno: 2009
Kniha
Bounded arithmetic, propositional logic, and complexity theory
Autor Krajíček, Jan, 1960- Vydáno: 1995
Kniha
A beginner's further guide to mathematical logic
Autor Smullyan, Raymond M., 1919-2017 Vydáno: 2017
Kniha
Matematika I : 1. Úvod do matematické logiky a teorie množin
Autor Tryhuk, Václav, 1949- Vydáno: 1994
Kniha