Tato skripta představují studijní text k přednášce Jazyky a automaty, kterou přednáším již řadu let pro posluchače oboru Inženýrská informatika na FJFI ČVUT... Zobraziť viac
Tato skripta mají sloužit jako učební text k přednášce Vyčíslitelnost a matematická logika, a to k té její části, ve které se probírají základy matematické logiky. Přednáška por studenty 3. ročníku, je určen azejména pro zaměře Zobraziť viac