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

I dag, fredag 3. mai kl. 12.15¨C14.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!