Veky's MathLand

• Vedran Čačić, veky@math.hr
• Soba A306 — Matematički odsjek, Prirodoslovno-matematički fakultet, Sveučilište u Zagrebu

Konzultacije se održavaju isključivo online do daljnjega!

• Za vrijeme nastave ne šaljite emailove s pitanjima o kolegijima Izračunljivost, Teorija skupova i Matematički softver!
  • ako nemate pristup odgovarajućem e-kolegiju na Merlinu, pošaljite email s podacima (kolegij, JMBAG, AAI username)
  • pitanja u vezi gradiva postavite u okviru odgovarajuće lekcije (ili materijala) na Perusallu
  • pitanja koja ne želite da drugi vide pošaljite u poruci preko Merlina
  • ostala pitanja postavite na forumu e-kolegija na Merlinu
  • naravno, pitanje možete postaviti i na nastavi :-)
• Pitanja vezana uz kolegij Formalno verificirani algoritmi slobodno pošaljite emailom.
• Ako pišete (ili želite pisati) diplomski rad kod mene, pošaljite email radi dogovora o tempu.
• Za sva ostala pitanja, pošaljite email. Ako Vam treba veća interaktivnost, možemo dogovoriti sastanak preko Zooma. Dostupan sam i preko Google Chata <vedgar@gmail.com>.

Nastava

Akademska godina 2021./22.

• Zimski semestar: Izračunljivost (p+v) [RM:92950,TM:92912,M:93019]
• Zimski semestar: Teorija skupova (p/2) [3:33145,i:93082,M:61560,MI:45775]
• Ljetni semestar: Matematički softver (p+2v) [MS:45685,RM:45702,MI:61609]
• Oba semestra (studeni–lipanj): Formalno verificirani algoritmi [doktorski studij: napredni kolegij]

Davni materijali

• Računarski praktikum 1 (vježbe: C++, XHTML i CSS 1)
• Elementarna matematika
• Linearna algebra za fizičare
• Uvod u matematiku
• Interpretacija programa (v) [RM:61519]
• Matematička logika i računarstvo [doktorski studij: pristupni ispit]
• Matematička logika u računarstvu (v) [i:61527] — prošlogodišnji kolokvij iz Haskella
• Teorija skupova (stari site)

Radovi

• CROSBI
• Google Scholar

Razno