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!