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