Høsten 2006
Foiler fra gjennomgang av øving 5, 7 november
Foiler fra gjennomgang.
Jeg har tatt med de foiler som har mer detaljert informasjon enn løsningsforslag
forelesning og øvingsgjennomgang 10-11 oktober
Forelesningen onsdag 11. oktober og øvingsgjennomgang 10. oktober bytter tid og sted.
Forelesning blir holdt 10. oktober, 15:15-17:00 i R5.
Øvingsgjennomgang blir holdt 11. oktober, 12:15-14:00, i VE1
ekstra forelesning
Det blir en ekstra forelesning i TDT4135 Logikk tirsdag
3. oktober klokken 15:15-17:00 i auditorium R5 i Realfagsbygget.
Veiledningstimer
mandag 14-16 og tirdag 13-15. Møt opp på Rall
P15, som ligger i 4. etg.
Tilgang til datasaler og brukerkonto
Studenter som ikke har tilgang datasalene på P15 bes henvede seg pr. e-post til Ellen Solberg med navn og NTNU kortnummer (finnes på baksiden av studentbeviset).
Studenter som ikke har brukerkonto på IDI's maskiner kan få ved henvendelse til et av gurukontorene, se her
E-postliste
Vi har opprettet en e-postliste, tdt4135, som de som tar kurset bør
melde seg på fordi vi benytter den til å distribuere informasjon
angående kurset. Dette gjøres ved å gå til TDT4135
abonnementssiden. Deretter er det bare å følge instruksene under
overskriften "Subscribing to Tdt4135".
Errata
Errata for Logic for Mathematicians, A.G. Hamilton.
Errata for Logic in Computer Science (2nd ed). Huth and Ryen.
Referansegruppe
