algebra 1 algoritmy 1 formální gramatiky 1 formální jazyky 1 generativní gramatika 1 konečné automaty 1 kódování 1 více ... kódování dat 1 kódování informace 1 matematická lingvistika 1 matematická logika 1 predikátová logika 1 rekurzivní funkce 1 teorie informace 1 teorie rekurze 1 teorie vyčíslitelnosti 1 výroková logika 1 šifrování 1 méně ...