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
GitHub repository lograc-2022
GitHub repository lograc-2022
Installation instructions, exercises and other useful course materials.
Kliknite na povezavo
GitHub repository lograc-2022
, če želite odpreti vir.
◄ LICS@FMF Discord server
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
Lecture notes
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
Lecture notes ►