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
https://youtube.com/playlist?list=PL-47DDuiZOMA4vH2OzQpo2ATDLw29ATbv
, č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 ►