Hopp til hovedinnhold
UiO
Universitetet i Oslo
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til UiO
Søk
Forsiden
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om UiO
Personer
Undermeny
Studier
Emner
Matematikk og naturvitenskap
Informatikk
IN3070
Høst 2020
exercises
undervisningsmateriale
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN3070
>
Høst 2020
IN3070 - Logikk
Semesterside for IN3070 - Høst 2020
Timeplan
Eksamen: Tid og sted
Faglærere
Martin Giese
Universitetet i Oslo
Lærebok
Ben-Ari: Mathematical Logic for Computer Science
Diskusjonsforum
Course padlet
Resources
Example proof tree in LaTeX (overleaf)
Beskjeder
This year’s exam, model answers, and grading guidelines
8. des. 2020 09:20
Last year’s exam
24. nov. 2020 08:19
Tomorrow's group session
23. nov. 2020 17:31
Se flere beskjeder
Kontakt
Institutt for informatikk