Doporučená témata
informatics
7
informatika
7
automata theory
6
matematická logika
6
mathematical logic
6
teorie automatů
6
formal languages
5
formální jazyky
5
Matematika
4
Programování. Software
4
Obecné úvahy o matematice
2
paralelní programování
2
parallel programming
2
programming languages
2
programovací jazyky
2
propositional calculus
2
semantics
2
sémantika
2
výroková logika
2
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
1
predicate calculus
1
predikátová logika
1
sylogistika
1