Velkommen til TMA4140!

• 24.9.2025 Her er sommerens konteeksamen med LF: Løsningsforslag konteeksamen.
• 9.12.2024 Her er dagens eksamensoppgaver med LF: Løsningsforslag eksamen H24 (sist oppdatert 23/12). Sensur begynner nå, og vi sikter på å være ferdig innen jul.
• 25.11.2024 Det blir arrangert en ekstra mattelab/spørretime torsdag 5. desember, fra 12 til 16 i F1. Rommet er tilgjengelig fra 8:15 for de som ønsker å benytte det, og vi vil være tilstede fra 12.
• 11.11.2024 Grunnet sykdom blir det ingen øvingsforelesning i morgen (12. november).
• 24.10.2024 Husk at det ikke er forelesning fra 14 til 15 i morgen (fredag)! Det blir derimot Mattelab som vanlig fra 15, samtidig som ukens øving legges ut.
• 23.10.2024 Notatet om predikatlogikk er nå lagt ut, og dere finner dette under Fremdriftsplan og under Pensum i menyen til venstre. Notatet erstatter kap. 15 og 16 i RA, og leder inn i kap. 13 og 14. Vi dekker med andre ord stoffet i en litt annen rekkefølge enn boken.
• 10.10.2024 Merk endring i fremdriftsplan: Predikatlogikk (tidligere listet som Førsteordens språk) flyttes fra uke 42 til uke 44.
• 29.08.2024 Definisjonen av transitiv tillukning i plenumsregning 2 oppgave 2 inneholdt en feil. Se nåværende dokument i fremdriftsplanen for korrekt definisjon.
• 23.08.2024 Første Skriftlige øving er ute: https://ovsys.math.ntnu.no
• 23.08.2024 Første STACK-øving er ute. Dere finner den på https://stack.math.ntnu.no/
• 21.08.2024 Da er oppgavesettet til neste ukes Øvingsforelesning lagt ut, se Fremdriftsplan.
• 19.08.2024 Wiki oppdatert med diverse nyttig info, se menyen til venstre. Anbefaler spesielt at alle leser over Faginformasjon og Pensum, og tar en titt på Fremdriftsplan. Sees på onsdag!
• 26.07.2024 Emnets hjemmeside opprettet. All informasjon og alle ressurser vil finnes på disse wiki-sidene – emnet bruker ikke Blackboard. Noen viktige punkter: Kurset benytter boken Logiske Metoder av Roger Antonsen. Undervisningen starter i uke 34, og første forelesning er onsdag 21. august 12:15-14:00 i F1 (IT-bygget*). Øvingsundervisningen begynner i uke 35.