Jiné Další výukové materiály Populární článek pro časopis MFI – Vyčíslitelnost a složitostDownload Populární článek pro časopis MFI – Formální jazyky a automatyDownload Populární článek pro časopis MFI – Logika (dedukce) Download Starší opory ke kurzům Opora ke kurzu PřekladačeDownload Opora ke kurzu PROLOGDownload Automatizace dedukce ve znalostních systémechDownload