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 2014 do 2018
• 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í
• 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

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.

Literatura

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

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. Základy logiky a formálních systémů

• výroková logika

• predikátová logika

• kompozicionalita a l-kalkulus

III. Teorie grafů

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. Logic and formal systems

• propositional logic

• predicate logic

• compositionality a l-calculus

III. Graph theory