Beskjeder

Publisert 16. mai 2012 15:22

Siste gruppetime 25 mai. Ingen gruppetime 18 mai

Publisert 16. mai 2012 14:08

For ordens skyld - vi hadde siste forelesning forrige uke.

Publisert 3. mai 2012 10:52

Foiler fra de to database-forelesningene er nå lagt ut. Bakgrunnstoff finnes i boka som er lagt ut under lenken "Baser" sortert under Undervisningsmateriale.

I boka er følgende sidetall gjennomgått:

Kap 3, side 28-34. Kap 4, side 37-52 Kap 6, side 115-118 Kap 8, side 173-177

Det er lagt lite vekt på beviser av resultater.

Publisert 3. mai 2012 10:52

Det blir ingen flere obliger i år!

Publisert 16. apr. 2012 17:21

OPPLEGGET VIDERE

Det ble kluss sist onsdag. Her er nå planene for opplegg

Uke 16 - Tirsdag og onsdag - HRJ om kompleksitet - skal legge ut foiler og ukeopplegg - se på Compact Companion

Uke 17 - tirsdag 24 april - AW om databaser og logikk

Uke 17 - onsdag 25 april - HRJ om kompleksitet

Uke 18 - tirsdag 1. mai - fridag

Uke 18 - onsdag 2. mai - AW om databaser og logikk

Uke 19 - HRJ - repetisjon - slutt onsdag 9 mai

Publisert 22. mars 2012 14:38

Oblig 2 er lagt ut

Publisert 19. mars 2012 15:45

OPPLEGGET VIDERE

Uke 12-13: HRJ - logikk

Uke 14: Påske

Uke 15-16: Arild Waaler: Onsdag + tirsdag + onsdag - databaser og logikk

Uke 17-18-19: HRJ - kompleksitet + repetisjon

Publisert 14. mars 2012 14:59

Jeg har lagt ut reklame for Compact Companion. Jeg har avtale om å selge den billigere til mine studenter - den koster da kr 100.

Publisert 2. mars 2012 15:48

NESTE UKE Vi er nå kommet langt i kurset og vil bruke neste uke til å konsolidere stoffet. Vi skal da se på de tre delene vi har gått gjennom til nå

1. Automater 2. Beskrivelser 3. Turing maskiner

Kom med forslag til meg om ting dere vil gjerne se nærmere på. Timene - tirsdag, onsdag og fredag - vil bli holdt som planlagt, men tiden vil bli brukt til å konsolidere stoffet.

Herman

Publisert 20. feb. 2012 18:02

Neste uke blir tidspunktene for tirsdagforelesningen og gruppetimen byttet om på. Med andre ord, det blir gruppeundervisning (i stedet for forelesning) tirsdag 27. februar og forelesning (i stedet for gruppeundervisning) fredag 2. mars.

Publisert 19. feb. 2012 16:07

Første obligatoriske oppgave, med frist 5. mars, er lagt ut på siden med obligatoriske oppgaver.

Publisert 13. jan. 2012 12:05

FØRSTE UNDERVISNING : TIRSDAG 1415 i PERL 2.etasje OJD

Tirsdager og onsdager er det fellesundervisning med forelesninger og plenumsregning

Fredag gruppeundervisning. Start uke 4.

Publisert 13. jan. 2012 10:43

Jeg har lagt ut ukeopplegg og forelesningsfoiler for uke 03. Skal prøve å gjøre det i slutten av uka før slik at dere kan forberede dere. I fellesundervisningen - tirsdag og onsdag - går vi først gjennom forelesningene og deretter repeterer vi og regner på eksempler. I ukeopplegget vil det stå litt om eksemplene vi ser på.

Forelesningsfoilene er noe uferdige. Skal lage foiler som kan kompileres til lærebok a la inf 1080. Men det vil ta litt tid. Tenkte det var best å få de uferdige foilene ut før de blir gjennomgått slik at dere kan både forberede dere - og gi tilbakemelding.

Publisert 11. jan. 2012 14:34

Velkommen til det nye kurset i logikk og beregninger. Vi legger det opp med fellesundervisning - forelesninger og regning - tirsdag og onsdag 14-16 og så øvelser to timer pr uke. Jeg kommer til å være ansvarlig for fellesundervisningen sammen med Roger Antonsen. Leif Harald Karlsen står for øvelser.

Kurset bygger på INF1080. Jeg har skrevet en "Compact companion" der alt stoffet er skrevet på en kompakt måte. Men, dere kan bla i det og se hva dere skal kunne til slutt. Jeg legger det ut i A4- og Ebook-format. Jeg har skrevet foiler til forelesningene - men de blir lagt ut etter hvert. Da vil vi også få inn respons fra dere, fra Roger og fra Leif Harald slik at vi kan lage undervisningsmateriell sammen.

Vi begynner nå tirsdag kl. 1415

Herman