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
LICS@FMF Discord server
LICS@FMF Discord server
Discord server devoted to the course. This is the easiest way to communicate with your teachers.
Please use human-readable user names.
Click on
LICS@FMF Discord server
to open the resource.
◄ Competences and project interests
Jump to...
Jump to...
News forum
Basic course information
Choice of group for exercise classes
Competences and project interests
GitHub repository lograc-2022
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
GitHub repository lograc-2022 ►