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
Lecture notes
Lecture notes
Kliknite na povezavo
http://www.andrej.com/zapiski/ISRM-LOGRAC-2022/
, če želite odpreti vir.
◄ GitHub repository lograc-2022
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
Recordings of video lectures at YouTube
Choose your student project topic
Project presentation date
Programming language foundations in Agda
M. Huth and M. Ryan: Logic in computer science
Recordings of video lectures at YouTube ►