Siste ordin?re fellestime og flytting av IN1150-kafé til C

I dag, fredag 3. mai kl. 12.15–14.00, er det siste ordin?re fellestime i IN1150! Temaet er kapittel 23 (formelle spr?k og grammatikker) og 24 (naturlig deduksjon). Det blir fokus p? naturlig deduksjon og hvordan vi kan formalisere matematiske bevis.
 
Den vanlige IN1150-kaféen flyttes til Seminarrom C i 3. stasjon i Ole-Johan Dahls hus fra kl. 15.15 til 17.00. Vi kan ikke love kaffe, men vi kan love at du f?r all mulig slags hjelp til ? forst? pensum.
 
Velkommen!
Publisert 3. mai 2019 07:54 - Sist endret 3. mai 2019 07:54