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