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.