SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Mathematical Methods in Linguistics - NPFL073
Title: Matematické metody v lingvistice
Guaranteed by: Institute of Formal and Applied Linguistics (32-UFAL)
Faculty: Faculty of Mathematics and Physics
Actual: from 2023
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech, English
Teaching methods: full-time
Teaching methods: full-time
Additional information: https://ufal.mff.cuni.cz/courses/npfl073
Note: course can be enrolled in outside the study plan
Guarantor: doc. RNDr. Markéta Lopatková, Ph.D.
Class: DS, matematická lingvistika
Classification: Informatics > Computer and Formal Linguistics
Is co-requisite for: NPFL074
Is interchangeable with: ATKL00330
Annotation -
Last update: T_UFAL (20.05.2005)
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.
Course completion requirements -
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.

Literature -
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,

Syllabus -
Last update: doc. RNDr. Markéta Lopatková, Ph.D. (04.10.2023)

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

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html