|
|
|
||
Last update: T_UFAL (20.05.2005)
|
|
||
Last update: doc. RNDr. Markéta Lopatková, Ph.D. (14.05.2019)
The course finishes with a written exam - the questions cover topics from the syllabus - a student has to gain at least 50% of the total score. |
|
||
Last update: doc. RNDr. Markéta Lopatková, Ph.D. (28.10.2019)
Partee, B. H., ter Meulen, A., Wall, R.E.: Mathematical Methods in Linguistics. Studies in Linguistics and Philosophy, vol. 30, Kluwer Academic Publishers, Dordrecht, Boston, London, 1990, |
|
||
Last update: doc. RNDr. Markéta Lopatková, Ph.D. (04.10.2023)
Areas planned to be discussed (subject to changes): I. Set theory
II. Formal languages, grammars and automata
III. Logic and formal systems
|