Grublegrupper i IN1150

Grublegruppene i IN1150 er et tilbud for deg som trenger mer. Her vil vi ta for seg temaer som går utover pensum. Innholdet blir til etter hvert, men det vil alltid være relatert til kurset, og vi tror at det kan bli gøy og interessant for alle som føler at de har pensum under kontroll. Vi tenker programmering, forskning , nøtter, visualisering, bevis og andre dypdykk knyttet til listen over temaer i kurset. Dette er altså kun et frivillig ekstratilbud og kun anbefalt dersom du har kontroll på pensum. (For ellers bør du bruke tiden på pensum.)

Tema Tid og sted Hvem
Mini-LaTeX-verksted Onsdag 19. februar kl. 16.15, Caml Vegard, Sarek
Logiske nøtter Onsdag 26. februar kl. 16.15, Caml Sarek, Stian, Roger
Rekursive funksjoner i forskjellige programmeringsspråk Onsdag 4. mars kl. 16.15, Caml Tania, Sarek, Roger
Programmere utsagnslogikk i Python 3 Onsdag 11. mars kl. 16.15, Caml Stian
Avlyst Teorembevising i Coq Onsdag 18. mars kl. 16.15, Caml Tania

Følgende er skjema hvor du kan sende inn dine spørsmål og forslag til grublegruppene. Vi leser gjennom alle spørsmålene og forslagene vi får, og vi forsøker å planlegge grublegruppene deretter, slik at alle får svar. Vel møtt!

Publisert 20. feb. 2020 14:09 - Sist endret 12. mars 2020 16:15