Skip to main content
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
English (en)
English (en)
Slovenščina (sl)
You are currently using guest access (
Log in
)
Logika v računalništvu
Home
Courses
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.
Click on
GitHub repository lograc-2022
to open the resource.
◄ LICS@FMF Discord server
Jump to...
Jump to...
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 ►