Beskjeder
Siste gruppetime 25 mai. Ingen gruppetime 18 mai
For ordens skyld - vi hadde siste forelesning forrige uke.
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.
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
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
Jeg har lagt ut reklame for Compact Companion. Jeg har avtale om ? selge den billigere til mine studenter - den koster da kr 100.
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
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.
F?rste obligatoriske oppgave, med frist 5. mars, er lagt ut p? siden med obligatoriske oppgaver.
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.
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.
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