Logika logic logika Počítačová věda. Výpočetní technika. Informační technologie computer science matematická logika mathematical logic počítačová věda výpočetní technika Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování Matematika Obecné úvahy o matematice artificial intelligence formal logic formální logika kvantová logika logic programming logická sémantika logické programování quantum logic symbolic logic symbolická logika umělá inteligence Lingvistika. Jazyky algebraic structures algebraické struktury computer linguistics deontic logic deontická logika dějiny matematiky