Velkommen til INF1080!

Det er litt over to m?neder igjen til studiestart, og forberedelsene til h?stens INF1080 har startet. Hvis du har lyst til ? begynne ? se p? innholdet i kurset allerede n?, har du mange muligheter:

L?reboken Logiske metoder er tilgjengelig p? Akademika. Du kan lese om boken p? Rogers hjemmesider.

Forelesningene fra 2014 og 2015 ligger ogs? fritt tilgjengelig p? YouTube. Her er spillelisten for 2015-forelesningene: