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
IN3130
Høst 2022
Slides
lecture13-sat-smt
Studier
>
Emner
>
Matematikk og naturvitenskap
>
Informatikk
>
IN3130
>
Høst 2022
>
Slides
IN3130 - Høst 2022
Slides
Underområder
lecture13-sat-smt
forelaesning12-quantumComputing1.pdf
Sist endret 10. nov. 2022 09:41 av
Michael Kirkedal Thomsen
forelaesning12-quantumComputing2.pdf
Sist endret 10. nov. 2022 09:42 av
Michael Kirkedal Thomsen
forelesning-11a---priority-queues.pdf
Sist endret 1. nov. 2022 21:50 av
Petter Kristiansen
forelesning-3---string-search-pk.pdf
Sist endret 6. sep. 2022 22:19 av
Petter Kristiansen
forelesning-4-dynamic-programming.pdf
Sist endret 13. sep. 2022 21:03 av
Petter Kristiansen
forelesning-6---search-strategies.pdf
Sist endret 27. sep. 2022 21:31 av
Petter Kristiansen
forelesning-8---matchings-and-flows.pdf
Sist endret 11. okt. 2022 22:53 av
Petter Kristiansen
forelesning10-coping-with-np.pdf
Sist endret 26. okt. 2022 09:55 av
Michael Kirkedal Thomsen
forelesning12-alternative-models.pdf
Sist endret 10. nov. 2022 09:41 av
Michael Kirkedal Thomsen
forelesning7-complexity-np.pdf
Sist endret 5. okt. 2022 09:54 av
Michael Kirkedal Thomsen
forelesning9-proving-np.pdf
Sist endret 19. okt. 2022 10:09 av
Michael Kirkedal Thomsen
forelsning-11b---game-trees.pdf
Sist endret 1. nov. 2022 21:50 av
Petter Kristiansen
lecture13-sat-smt.pdf
Sist endret 16. nov. 2022 15:28 av
Michael Kirkedal Thomsen
lecture5-undecidability.pdf
Sist endret 21. sep. 2022 10:12 av
Michael Kirkedal Thomsen
Slides1
Sist endret 24. aug. 2022 15:12 av
Michael Kirkedal Thomsen
Slides2
Sist endret 31. aug. 2022 09:40 av
Michael Kirkedal Thomsen
RSS-strøm fra denne siden