Kursinformation Matematik D, del A

Syfte och innehåll

Kursens syfte är att introducera den matematiska trygghetsskapande metoden att bevisa resultat och att samtidigt introducera grundläggande strukturer för studier i datalogi och digitalteknik.

Innehåll: Bevis och axiom. Induktion och rekursion. Kombinatorik. Boolesk algebra och satslogik. Relationer, ekvivalensrelationer, partiella ordningar. Peanos axiom.

Undervisning

Kursen inleds med gruppmöten i id'eläran tisdag 31 augusti kl 10-12. Undervisningen på kursen ges i form av

Sju föreläsningar: Torsdagar kl. 8-10 i H4.
Handledning vid arbete i Ide'läran:
Vecka 1: Tisdag 10-12.
veckorna 2-7: Måndag 13-15, tisdag 13-15 (grupp A)/onsdag 10-12 (grupp B) och fredag 13-15.

Lärare

Föreläsare och kursansvarig:
Björn von Sydow, sydow@cs.chalmers.se.

Handledare:
Fredrik Altenstedt alten@math.chalmers.se.
Samuel Bengmark, samuel@math.chalmers.se.
Niklas Broberg, nibro@math.chalmers.se.
Peter Kumlin, kumlin@math.chalmers.se.
Björn von Sydow.

Kurslitteratur

Björn von Sydow: Diskret matematik för D1. Kompendium som försäljes av DC, Elektrogården 2.

Veckoblad med läsanvisningar och problem.

Examination

Skriftlig tentamen den 20 oktober 1999 kl 8.45--12.45 (lösningar).
Omtentamen den 13 januari 2000.