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