Seznam souborů v tomto adresáři
Programovani_1.pdf
Rozhodnutelnost,_splnitelnost,_pravdivost,_dokazatelnost.OPS.tex
Logika_-_jazyk,_formule,_semantika,_tautologie.PS.tex
Automaty_-_Chomskeho_hierarchie,_tridy_automatu_a_gramatik,_determinismus_a_nedeterminismus.PS.tex
Normalni_tvary_vyrokovych_formuli,_prenexni_tvary_formuli_predikatove_logiky.OPS.tex