IN1150 - Logiske metoder

Gruppeundervisning

Her finner du en oversikt over v?re enest?ende gruppel?rere, samt ressurser de ?nsker ? dele med deg.

Repitisjons og Gruppeplan

 

Tid

Tirsdag (13.05.)

Onsdag (14.05.)

Tirsdag (20.05.)

Onsdag (21.05.)

10:15-12:00

Vanlig Gruppetime (Kapittel 23, 24)
(Luna, Rom Prolog)

Rep.:
Mengdel?re og funksjoner (1, 6, 7, 8, 20)
(Sigurd, Rom Python)
Rep.:
F?rsteordens spr?k (13 - 16)
(Ada, Rom Prolog)

Rep.:
Induktivt definerte mengder, rekursion og formelle spr?k (9, 10, 23)
(Luna, Rom Prolog)

Rep.:
Induktivt definerte mengder, rekursion og formelle spr?k (9, 10, 23)
(Sigurd, Rom Python)

12:15-14:00

Vanlig Gruppetime (Kapittel 23, 24)
(Helene, Rom Prolog)
Rep.:
Kombinatorikk og Grafteori (18, 19, 21, 22)
(Falk, Rom Pascal)
---
1-1 Ekstra hjelp / Q&A
(Lina, Rom Python)

Vanlig Gruppetime (Kapittel 23, 24)
(Einar, Rom Prolog)
---
1-1 Ekstra hjelp / Q&A
(Luna, Rom Python)

Rep.: Utsagnslogikk og Naturlig deduksjon
(2, 3, 4, 24)
(Helene, Rom Prolog)
1-1 Ekstra hjelp / Q&A
(Falk, Rom Pascal)
---
1-1 Ekstra hjelp / Q&A
(Lina, Rom Python)

Rep.: Relasjoner og Algebra (6, 17, 20)
(Einar, Rom Prolog)
---
1-1 Ekstra hjelp / Q&A
(Ada, Rom Python)

14:15-16:00

 

Rep.:
Bevis (5, 11, 12)
(Silje, Rom Prolog)

Rep.:
Mengdel?re og funksjoner (1, 6, 7, 8, 20)
(Sigurd, Rom Python)

Rep.:
Bevis (5, 11, 12)
(Silje, Rom Prolog)

Gruppel?rere

Lina Hauck (lchauck@uio.no)

  • Gruppe 1:           tirsdager kl. 12:15-14:00 p? Pascal
  • Studie:                 Programmering og systemarkitektur
  • Favorittkapitler:    -
  • Ressurser:           github.uio.no/lchauck/IN1150-Gruppe1

Sigurd Sevaldrud

Silje Helgesen

  • Gruppe 3:           onsdager kl. 14:15-16:00 p? Prolog
  • Studie:                 Spr?kteknologi, master
  • Favorittkapitler:    14, 23, 24
  • Ressurser:           Ressurser for gruppe 3

Einar Guttu Ekeberg

  • Gruppe 4:           onsdager kl. 12:15-14:00 p? Prolog
  • Studie:                 Programmering og systemarkitektur, bachelor
  • Favorittkapitler:    4, 13, 17, 20
  • Ressurser:           Ressurser for gruppe 4

Ada-Marie S?rensen Sneve

  • Gruppe 5:           tirsdager kl. 12:15-14:00 p? Prolog
  • Gruppe 6:           onsdager kl. 12:15-14:00 p? Python
  • Studie:                 Spr?kteknologi, bachelor
  • Favorittkapitler:    14, 23, 24
  • Ressurser:           Ressurser for gruppe 5 & 6

Helene Nordrum Grun

  • Gruppe 5:           tirsdager kl. 12:15-14:00 p? Prolog
  • Gruppe 6:           onsdager kl. 12:15-14:00 p? Python
  • Studie:                 Design, bachelor (fritt sammensatt) og filosofi, bachelor
  • Favorittkapitler:    4, 6, 24
  • Ressurser:           Ressurser for gruppe 5 & 6 - Helene

Falk Markus Dursun Jetlund

  • Gruppe 1:           tirsdager kl. 12:15-14:00 p? Pascal
  • Studie:                 Programmering og systemarkitektur, bachelor
  • Favorittkapitler:    20, 23, 24
  • Ressurser:           Her

Luna Artemis Midttun Hukkelberg (arthuk@uio.no)

  • Gruppe 9:           tirsdager kl. 10:15-12:00 p? Prolog
  • Studie:                 Programmering og systemarkitektur (Fritt sammensatt bachelor, semester 6 av 8)
  • Favorittkapitler:    10, 20, 23
  • Ressurser:           Link

Rettere

Stanislaw Marek Frey

  • Studie:                -
  • Favorittkapitler: -

Hanne-Kristin Schr?der Leiros

  • Studie:                Programmering og systemarkitektur, master
  • Favorittkapitler: 23, 20, 9

Theodor Berg-Hansen

  • Studie:                -
  • Favorittkapitler: -

?smund Olai Sand-Larsen

  • Studie:                Programmering og systemarkitektur, Bachelor og Honours realfag med fordypning i Fysikk
  • Favorittkapitler: 6, 7, 12
Av Anne-Marie George
Publisert 18. jan. 2025 16:50 - Sist endret 15. mai 2025 13:27
Del p? e-post