Matematička teorija računarstva

 

Zbirka zadataka: zadaci.pdf (zadnja promjena: 01.05.2007.)


Nagradni zadaci: nagradni_zadaci.pdf (zadnja promjena: 06.04.2007.)

Status pristiglih točnih rješenja nagradnih zadataka: nagradni_zadaci.html


Slideovi s vježbi:

Vježbe 01:
Relacije
Svojstva relacija		 [PDF (print)] [PDF (screen)]
Vježbe 02:
Relacije uređaja
Dobro utemeljeni i dobro uređeni skupovi		 [PDF (print)] [PDF (screen)]
Vježbe 03:
Indukcija i rekurzija
Fiksne točke		 [PDF (print)] [PDF (screen)]
Vježbe 04:
Fiksne točke
Neprekidni operatori		 [PDF (print)] [PDF (screen)]
Vježbe 05:
Fiksne točke i neprekidnost 		[PDF (print)] [PDF (screen)]
Vježbe 06:
Formalni jezici
Regularni izrazi i regularni jezici 		[PDF (print)] [PDF (screen)]
Vježbe 07:
Reziduali 		[PDF (print)] [PDF (screen)]
Vježbe 08:
Konačni automati (DKA) 		[PDF (print)] [PDF (screen)]
Vježbe 09:
Konačni automati (NKA i NKAe) 		[PDF (print)] [PDF (screen)]
Vježbe 10:
Lema o pumpanju za
regularne jezike 		[PDF (print)] [PDF (screen)]
Vježbe 11:
Gramatike
Desno linearne gramatike 		[PDF (print)] [PDF (screen)]
Vježbe 12:
Kontekstno slobodne gramatike 		[PDF (print)] [PDF (screen)]
Vježbe 13:
Potisni automati 		[PDF (print)] [PDF (screen)]
Vježbe 14:
Lema o pumpanju za
KS jezike 		[PDF (print)] [PDF (screen)]
Vježbe 15:
Turingovi strojevi 		[PDF (print)] [PDF (screen)]
Vježbe 16:
Turingovi strojevi 		[PDF (print)] [PDF (screen)]
Vježbe 17:
Turingovi strojevi 		[PDF (print)] [PDF (screen)]
Vježbe 18:
Odlučivost 		[PDF (print)] [PDF (screen)]
Vježbe 19:
Odlučivost 		[PDF (print)] [PDF (screen)]
Vježbe 20:
Neodlučivost 		[PDF (print)] [PDF (screen)]
Vježbe 21:
Redukcije 		[PDF (print)] [PDF (screen)]


Slideovi s predavanja:

Predavanja 12:
Potisni automati		 [PDF (print)] [PDF (screen)]
Predavanja 13:
PDA = KSG		 [PDF (print)] [PDF (screen)]
Predavanja 14:
Leksička i sintaktička analiza
(pregled)		 [PDF (print)] [PDF (screen)]
Izbornik
© Matko Botinčan