Göm menyn

TDP015 Grunder i matematik och logik


Denna kurs ger en introduktion till olika matematiska ämnesområden som får sin tillämpning inom programmering och programutveckling. Varje område introduceras genom ett tema som består av ett eller flera föreläsningsmanuskript. Efter dessa löser du övningsuppgifter i vilka du använder den teori som du lärt dig. Till varje ämnesområde finns dessutom en mindre programmeringsuppgift där du får tillfälle att tillämpa dina teoretiska kunskaper på något konkret problem.

Lärandemål

Efter genomgången kurs ska du kunna

  • hantera grundläggande begrepp inom mängdlära och logik
  • genomföra induktionsbevis och relatera rekursion till det
  • hantera enklare talteoretiska begrepp
  • utföra enklare kombinatoriska och sannolikhetsresonemang
  • hantera grundläggande grafteoretiska begrepp
  • redogöra för behovet av och principerna bakom numeriska metoder

Till varje lärandemål finns ett eller flera examinationsmoment kopplade som prövar hur väl du uppfyller respektive mål. Mer information om detta hittar du på sidan om Examination.

Kursinnehåll

Kursens innehåll är strukturerat i sex tematiska block:

  • Logik och mängdlära
  • Rekursion och induktion
  • Talteori
  • Kombinatorik och sannolikhetslära
  • Grafteori
  • Numeriska metoder

Kursinnehållet konkretiseras i koncept och procedurer. Med koncept menas begrepp och modeller som du ska kunna förklara och använda. Med procedurer menas standarduppgifter som du ska kunna utföra. Koncept och procedurer som markeras som avancerade ligger utanför kursens centrala innehåll och därmed bortom vad som krävs för godkänt betyg.

Undervisnings- och arbetsformer

Undervisning ges i form av föreläsningar, lektioner och seminarier. Du förväntas även arbeta med självstudier, enskilt och i grupp. När du planerar din tid för kursen bör du räkna med ungefär

  • 80 timmar för att förbereda och efterbereda "föreläsningarna"
  • 80 timmar för att förbereda, genomföra och efterbereda inlämningsuppgifterna

Kurslitteratur

Kursen har ingen obligatorisk kursbok. Material till de olika föreläsningarna distribueras via denna hemsida. För fördjupande läsning rekommenderas följande läroböcker:

  • Lena Alfredsson, Kajsa Bråting, Patrik Erixon, Hans Heikne: Matematik 5000. Andra utgåvan. Natur & Kultur, 2013.
  • Kimmo Eriksson, Hillevi Gavel: Diskret matematik och diskreta modeller. Andra upplagan. Studentlitteratur, 2013.
  • Susanne Gennow, Ing-Mari Gustafsson, Bo Silborn: exponent 5. Gleerups, 2013.
  • Kaj B. Hansen: Grundläggande logik. Tredje upplagan. Studentlitteratur, 1997.
  • Johan Johansson, Stefan Lemurell: Algebra och diskret matematik. Andra upplagan. Studentlitteratur, 2013.
  • Jonas Sjunnesson, Martin Holmström, Eva Smedhamre, Lars Jakobsson, Klas Nilson: Matematik M5. Liber AB, 2013.
  • Attila Szabo, Niclas Larson, Gunilla Viklund, Daniel Dufåker, Mikael Marklund: Matematik Origo 5. Sanoma Utbildning, 2015.
  • Jan Thompson, Hans Hedbom: Elementär logik. Studentlitteratur, 1994.

Återkopplingspolicy

Vad du kan förvänta dig. Vi gör vårt bästa för att ge dig snabb, konstruktiv och meningsfull återkoppling på hur väl du upfyller kursens kunskapskrav. Vi erbjuder denna återkoppling i olika former; närmare information om detta hittar du på sidan om Examination. Vi fokuserar på icke-examinerande återkoppling som du kan använda för att förbättra ditt lärande (och vi kan använda för att förbättra vår undervisning!) medan kursen pågår.

Vad vi förväntar oss. Vi förväntar oss att du bekantar dig med kursens kunskapskrav och aktivt söker återkoppling på hur väl du uppfyller dessa. Vi förväntar oss även att du reflekterar över den återkoppling som vi ger och försöker dra nytta av den.

Kommunikationspolicy

Vad vi förväntar oss. Den här sajten är den primära källan för information om kursen, och vi förväntar oss att du håller dig ajour om vad vi publicerar här. Vi skickar även ut information via universitetets epostlista för kursen, och vi förväntar oss att du prenumererar på denna lista och läser din epost regelbundet.

Vad du kan förvänta dig. När du kontaktar oss via epost kan du räkna med ett svar under vanlig kontorstid, 8–17. (Vi svarar inte på epost på kvällar eller helger.) .


Sidansvarig: Jose M. Peña
Senast uppdaterad: 2020-04-06