Logiske metoder
Dette er et emne i grunnleggende matematiske og logiske metoder. Det legges vekt på forståelse og tilvenning av matematiske begreper og notasjon som er relevante for et studium i informatikk. Emnet øver opp evnen til å tenke systematisk fra antakelser, løse teoretiske problemer, samt formalisere og gjennomføre matematiske resonnementer selv.
Kursansvarlige
Kurset er utviklet ved Universitetet i Oslo. Fagansvarlig er Roger Antonsen.