Syllabus
Areas planned to be discussed (subject to changes):
I. Set theory
- relations and functions
- properties of relations
- infinities
II. Formal languages, grammars and automata
- regulární jazyky a konečné automaty
- bezkontextové jazyky a zásobníkové automaty
III. Logic and formal systems
- propositional logic
- predicate logic
- compositionality a l-calculus
Annotation
The seminar is devoted to students who have previous education in the humanities and who are interested in formal and applied linguistics. Its aim is to introduce the students into basic mathematical methods used in applications in NLP.