Preskoči na glavno vsebino
To je arhiv spletne učilnice za leto 2021/22.
Aktualna spletna učilnica je na naslovu
https://ucilnica.fmf.uni-lj.si
Učilnica 21/22
Slovenščina (sl)
English (en)
Slovenščina (sl)
Trenutno uporabljate gostujoči dostop (
Prijavite se
)
Logika v računalništvu
Domov
Predmeti
IŠRM
Magistrski študij
LOGRAČ
Logic in computer science
Recordings of video lectures at YouTube
Recordings of video lectures at YouTube
Kliknite na povezavo
Recordings of video lectures at YouTube
, če želite odpreti vir.
◄ Lecture notes
Skoči na ...
Skoči na ...
News forum
Basic course information
Choice of group for exercise classes
Competences and project interests
LICS@FMF Discord server
GitHub repository lograc-2022
Lecture notes
Choose your student project topic
Project presentation date
Programming language foundations in Agda
M. Huth and M. Ryan: Logic in computer science
Choose your student project topic ►