TMA4140 Diskret matematikk, høsten 2017

Mobiler og nettbrett kan nå de andre delene av siden her.

Meldinger

  • 2018-08-20: Oppgaver og løsningsforslag i ett er nå lagt ut for kontinuasjonseksamenen.
  • 2017-12-15: Eksamen er nå lagt ut, og det samme er løsningsforslaget.
  • 2017-11-30: Her er video fra repetisjonsforelesningene 28.11 og 29.11. Krever innlogging med NTNU-brukernavn og passord.
  • 2017-11-27: Spørretjeneste ved Skau torsdag 14.12 klokken 10:00-12:00 og 13:00-15:00 i R7.
  • 2017-11-22: Oppretting av en feil og en upresishet i boka: For det første er det en feil i beviset for Kleene's Teorem. Nest siste setning i avsnittet om automaten som gjenkjenner AB (på side 1143) er "Moreover, for every transition from s_B we form a transition in M_AB from s_AB to the same state". Det det egentlig skal stå er "If the empty string belongs to A (i.e. s_A is an accepting state in M_A), then for every transition from s_b we form a transition in M_AB from s_AB to the same state". Sagt på norsk betyr det at vi bare skal legge til overganger fra s_A til en tilstand i M_B som indikert i Figur 2(a) på side 1144 dersom den tomme strengen er i A, og ikke ellers. For det andre viser det seg at det ikke er nødvendig å endre på en automat som har transisjoner (piler) inn i starttilstanden før man danner grammatikken (til tross for at dette blir gjort i boka). Med andre ord kan du trygt bruke "oppskriften" for å få en grammatikk fra en automat, uansett hvordan automaten ser ut. De som er interessert kan lese en litt mer utfyllende diskusjon her.
  • 2017-10-16: Her er resultatene fra midtsemesterprøven. Kandidatnummer finner man på StudWeb.
  • 2017-10-13: Fasit til midtsemesterprøven. Det lå igjen en kalkulator etter prøven. Om den er din, kan du hente den på kontoret til Håvard (1254, SBII).
  • 2017-10-10: Akademika er utsolgt for Custom Edition av læreboken, men vil om noen dager få inn Global Edition. Der mangler kapittel 13, som til gjengjeld finnes som pdf. Ellers finner du info om pensum og lærebok her.
  • 2017-10-10: Det er en fordel om dere finner kandidatnummeret deres på Studentweb før midtsemesterprøven, slik at vi sparer tid ved innlevering av prøven. (Dette er spesielt viktig i F1 og R8, som kan være reservert av andre fra 10:15.)
  • 2017-10-06: Fordelingen av studenter på rom til midtsemesteren har blitt endret. Se her hvor du skal møte opp.
  • 2017-10-03: Øvingstimen for gruppe 2 har blitt flyttet til mandag 12:15-14:00 i VE21 på grunn av kræsj med en annen øvingstime for ÅMATSTAT.
  • 2017-10-03: I forbindelse med midtsemesterprøven kommer Åsmund Eldhuset til å holde en repetisjonsforelesning arrangert av Abakus linjeforening søndag 8. oktober 12:15-17:15 i EL5. Info på Abakus sine hjemmesider.
  • 2017-09-26: Utfyllende informasjon omkring midtsemesterprøven finner du her. Merk deg spesielt hvilket rom du skal være i.
  • 2017-09-26: Referansegruppen er nå valgt ut. Du finner en oversikt over referansegruppens medlemmer og deres kontaktinformasjon her. Referansegruppens hovedoppgave er å formidle anonym feedback om kurset til foreleser og øvingslærer.
  • 2017-09-05: Øving 2 er nå lagt ut. Øving 1 veiledes denne uken og har frist mandag 11/9.
  • 2017-08-28: Det kommer noen fra forlaget til læreboken i forelesningen på fredag for å snakke om en digital ressurs som følger med boken. For å få tilgang til nettsiden trenger dere følgende link i tillegg til en registreringskode som ligger i ditt eksemplar av boken: http://connect.mheducation.com/class/c-skau--hst-2017.
  • 2017-08-03: Første forelesning er tirsdag 29. august kl. 12:15-14:00 i auditorium F1. Eksamen avholdes 15. desember. Mer informasjon finner du under faginformasjon. Sørg for å kjøpe riktig utgave av læreboken, se pensum.
  • 2017-08-03: Velkommen til kurset i diskret matematikk! Dette faget dekker over den matematikken som ligger til grunn for datateknologien, og er således særdeles relevant for de som går Datateknikk, Kommunikasjonsteknologi eller Ingeniørvitenskap og IKT. Vi kommer til å være innom så varierte temaer som logikk og bevisføring, hvordan GPS'er regner ut korteste vei mellom to byer, og hvordan datamaskiner kan "forstå" språk. Du finner all viktig informasjon om faget i fanen til venstre.
  • 2017-06-19: Høstens hjemmesider er under konstruksjon. Hvis du er nysgjerrig på faget kan du også besøke hjemmesidene fra i fjor.
2018-08-20, Mads Hustad Sandøy