Matematické metody v lingvistice - NPFL073

• Anglický název: Mathematical Methods in Linguistics
• Zajišťuje: Ústav formální a aplikované lingvistiky (32-UFAL)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2023
• Semestr: zimní
• E-Kredity: 3
• Rozsah, examinace: zimní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština, angličtina
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: https://ufal.mff.cuni.cz/courses/npfl073
• Poznámka: předmět je možno zapsat mimo plán
• Garant: doc. RNDr. Markéta Lopatková, Ph.D.
• Třída: DS, matematická lingvistika
• Kategorizace předmětu: Informatika > Počítačová a formální lingvistika
• Je korekvizitou pro: NPFL074
• Je záměnnost pro: ATKL00330

Anotace

čeština

Poslední úprava: JUDr. Dana Macharová (29.09.2008)

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.

angličtina

Poslední úprava: 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.

Podmínky zakončení předmětu

čeština

Poslední úprava: doc. RNDr. Markéta Lopatková, Ph.D. (14.05.2019)

Předmět je zakončen písemným testem, který obsahuje otázky z témat podle sylabu, s možným ústním dozkoušením - k úspěšnému absolvování student musí získat alespoň 50% bodů.

angličtina

Poslední úprava: 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.

Literatura

čeština

Poslední úprava: T_UFAL (20.05.2005)

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

Jirků, P., Vejnarová, J.: Logika. Neformální výklad základů formální logiky. 2002

Nešetřil, J.: Teorie grafů. 1979

angličtina

Poslední úprava: 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,

Sylabus

čeština

Poslední úprava: doc. RNDr. Markéta Lopatková, Ph.D. (04.10.2023)

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

angličtina

Poslední úprava: 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