TDP015 Grunder i matematik och logik

Kursinformation

Bakgrund | Mål | Innehåll | Litteratur | Kursstart

Bakgrund

Många olika grenar av matematiken får sin tillämpning inom datalogin. Det kan gälla i program där numeriska metoder används för att få önskad noggrannhet hos utmatade värden eller grafalgoritmer för att lotsa datapaket rätt i nätverk. En hel del matematik och logik används också i resonemang om program och deras funktion, t.ex. logik för att hantera programs korrekthet.

Mål

Kursen ska ge en introduktion till olika matematiska ämnesområden som ger en bakgrund till och får sin tillämpning inom fortsatt datalogisk verksamhet, särskilt programutveckling och programmering. Efter avslutad kurs ska studenten

kunna genomföra induktionsbevis och relatera rekursion till det.
känna till och kunna hantera enklare talteoretiska begrepp.
känna till grafteoretiska begrepp och datalogiska tillämpningar.
kunna utföra enklare kombinatoriska och sannolikhetsresonemang.
inse behovet av och principerna bakom numeriska metoder.

Innehåll

Föreläsningar (24h)

Introduktion
Logik
Mängdlära, relationer
Grafer
Kombinatorik, sannolikhet
Induktion, rekursion
Talteori
Numeriska metoder

Lektioner (12h)

lektionerna kommer att bestå både av lärarledd genomgång vid tavlan och studentindividuell problemlösning ("räknestuga").

Schema med innehåll och läsanvisningar

Observera att det har skett vissa fö-le-byten jämfört med det ursprungliga webbschemat.
Fö och le hålls av samma lärare i lika stora salar, så det skulle vid behov kunna tänkas ske någon ytterligare omflyttning i schemat, men det annonseras självklart i förväg.


v. 14, Ti 13-15, fö gymnasierepetition 
       On 10-12, fö logik                       Kap 1.1-1.9

v. 15, Ti 13-15, fö logik                            d:o
       On 10-12, le

v. 16, Ti 13-15, fö mängder, relationer         Kap 2, 3.6-8
       On 10-12, fö mängder, relationer              d:o
       Fr 08-10, le

v. 17, Ti 13-15, fö kombinatorik, sannolikhet   Kap 8, 10.1-3
       On 10-12, fö kombinatorik, sannolikhet        d:o
       Fr 08-10, le

v. 19, Ti 13-15, fö grafer                      Kap 9.1-4
       On 10-12, fö induktion, rekursion        Kap 6.1-2

v. 20, Ti 13-15, le inlämningsuppgift 1
       On 10-12, le
       Fr 08-10, fö talteori                    Kap 7.1-2, 7.4 (7.6-7?)

v. 21, Ti 13-15, fö numme                       Utdelat material
       On 10-12, fö "på begäran"
       Fr 08-10, le inlämningsuppgift 2         (planeringen ännu något osäker)

Litteratur

Johan Johansson, Stefan Lemurell
Algebra och Diskret matematik
Studentlitteratur
Kopior av annat material.
Kommer att distribueras från institutionen.

Kursstart

Första föreläsning tisdag 12-03-13 kl 13-15 i sal U3.

Sidansvarig: Jonas Wallgren
Senast uppdaterad: 2013-03-28

Institutionen för datavetenskap