Gäller för: 2024/25
Fakultet: Lunds tekniska högskola
Beslutad av: Programledning C/D
Beslutsdatum: 2024-04-16
Ikraftträdande: 2024-05-08
Huvudområde: Teknik
Fördjupning: Grundnivå, kurs/er som inte kan klassificeras
Obligatorisk för: D1
Undervisningsspråk: Kursen ges på engelska
Syftet med kursen är att introducera några av de mest basal formella koncepten och terminologin inom datavetenskapen och att ge ett gemensamt språkbruk, inklusive konventioner för notation och nomenklatur som senare kurser kan bygga på. Detta inkluderar en introduktion till abstrakt mängdteori, relationer, funktioner, ordnade mängder, boolesk algebra, logik och bevistekniker liksom strukturer såsom grafer och träd.
Kunskap och förståelse
För godkänd kurs skall studenten
Färdighet och förmåga
För godkänd kurs skall studenten
Värderingsförmåga och förhållningssätt
För godkänd kurs skall studenten
Mängder, mängdekvivalenser, oändliga mängder, uppräkningsbarhet, funktioner, egenskaper hos funktioner (injektiva, surjectiva och bijektiva funktioner), relationer, ordningar (totala och partiella), transitivitet, (anti-) symmetri, reflexion, ekvivalensrelationer och klasser, boolesk algebra, predikatlogik, bevis, induktion, grafer, träd.
Betygsskala: TH - (U, 3, 4, 5) - (Underkänd, Tre, Fyra, Fem)
Prestationsbedömning:
För godkänt betyg på kursen krävs att de obligatoriska momenten i kursen redovisats med godkänt resultat samt godkänd skriftlig tentamen. Slutbetyg i kursen bestäms av resultatet på den skriftliga tentamen.
Om så krävs för att en student med varaktig funktionsnedsättning ska ges ett likvärdigt examinationsalternativ jämfört med en student utan funktionsnedsättning, så kan examinator efter samråd med universitetets avdelning för pedagogiskt stöd fatta beslut om alternativ examinationsform för berörd student.
Moduler
Kod: 0216. Benämning: Obligatoriska moment.
Antal högskolepoäng: 2.0. Betygsskala: UG - (U, G).
Prestationsbedömning: För slutbetyg på kursen krävs att de obligatoriska momenten är godkända
Kod: 0116. Benämning: Tentamen.
Antal högskolepoäng: 3.0. Betygsskala: TH - (U, 3, 4, 5).
Prestationsbedömning: Resultatet på den skriftliga tentamen utgör slutbetyg i kursen. För att få slutbetyg krävs också att de obligatoriska momenten är godkända.
Modulen omfattar: Skriftlig tentamen.
Förkunskapskrav:
Lärare: Susanna Rezende,
susanna.rezende@cs.lth.se
Hemsida: https://cs.lth.se/edaa40/