Matematika za jezikoslovce
Ure predavanj:15
Ure seminarjev:15
Ure vaj:0
ECTS točke:6
Nosilec/izvajalec: doc. dr. Živanović Sašo
Vsebina
Izjavni račun. Predikatni račun. Razširitve logike prvega reda. Teorija množic. Posplošeni kvantifikatorji. Relacije. Funkcije. Strukture urejenosti. Grafi in drevesa. Formalni jeziki. Rekurzija.