Oblasti, které budou probírány (konkrétní náplň záleží též na dohodě):
I. Teorie množin
- relace a funkce
- vlastnosti relací
- nekonečné množiny
II. Formální jazyky, gramatiky a automaty
- regulární jazyky a konečné automaty
- bezkontextové jazyky a zásobníkové automaty
III. Základy logiky a formálních systémů
- výroková logika
- predikátová logika
- kompozicionalita a l-kalkulus
Seminář pro studenty a absolventy humanitních oborů, kteří mají zájem o automatické zpracování přirozeného jazyka. V semináři jsou probírány základní oblasti matematiky, které nacházejí uplatnění při aplikacích v NLP.