Discrete Mathematics, 6 credits

Diskret matematik, 6 hp

TADI31

Main field of study

Mathematics Applied Mathematics

Course level

First cycle

Course type

Programme course

Examiner

Daniel Carlsson

Director of studies or equivalent

Jesper Thorén

Education components

Preliminary scheduled hours: 50 h
Recommended self-study hours: 110 h
Course offered for Semester Period Timetable module Language Campus ECV
6IDAT Computer Engineering, Bachelor of Science in Engineering 3 (Autumn 2021) 2 1+3 Swedish Linköping C
ECV = Elective / Compulsory / Voluntary

Main field of study

Mathematics, Applied Mathematics

Course level

First cycle

Advancement level

G1X

Course offered for

  • Bachelor of Science in Computer Engineering

Intended learning outcomes

To give the basic knowledge of discrete mathematics that is needed for further courses in mathematics, natural and computer science. After completing the course the student should be able to

  • use the Euclidean algorithm to solve Diophantine equations
  • use the principle of mathematical induction to solve recursive problems
  • understand and use the terminology and laws of set theory
  • formulate and solve combinatorial problems on combinations and permutations
  • master the foundations of graph theory and use graphs as a tool to model real-life problems
  • use the language of propositional logic, be familiar to logic operations and be able to evaluate the validity of logical conclusions.

Course content

Number theory; prime numbers, divisibility, Euclidean algorithm, Diophantine equations,
Mathematical induction and recursion.
Set theory, the laws of set theory and Venn diagrams.
Combinatorics with permutations and combinations. 
Graphs: Euler paths, Hamilton cycles, trees and some applications in computer science
Logic; propositional logic, logic operations, truth tables and conclusions.

Teaching and working methods

Teaching is done through lectures and problem sessions

Examination

TEN1A written examination4 creditsU, 3, 4, 5
UPG1Hand-in-assignment2 creditsU, G

Grades

Four-grade scale, LiU, U, 3, 4, 5

Other information

About teaching and examination language

The teaching language is presented in the Overview tab for each course. The examination language relates to the teaching language as follows: 

  • If teaching language is Swedish, the course as a whole or in large parts, is taught in Swedish. Please note that although teaching language is Swedish, parts of the course could be given in English. Examination language is Swedish. 
  • If teaching language is Swedish/English, the course as a whole will be taught in English if students without prior knowledge of the Swedish language participate. Examination language is Swedish or English (depending on teaching language). 
  • If teaching language is English, the course as a whole is taught in English. Examination language is English. 

Other

The course is conducted in a manner where both men's and women's experience and knowledge are made visible and developed. 

The planning and implementation of a course should correspond to the course syllabus. The course evaluation should therefore be conducted with the course syllabus as a starting point.  

Department

Matematiska institutionen

Director of Studies or equivalent

Jesper Thorén

Examiner

Daniel Carlsson

Course website and other links

http://courses.mai.liu.se/Lists/html/index-amne-tm.html

Education components

Preliminary scheduled hours: 50 h
Recommended self-study hours: 110 h

Course literature

Books

  • Asratian, A, Björn, A, Turesson, B O, (2020) Diskret matematik 1 Liber
    ISBN: 978-91-47-13358-1
Code Name Scope Grading scale
TEN1 A written examination 4 credits U, 3, 4, 5
UPG1 Hand-in-assignment 2 credits U, G

Books

Asratian, A, Björn, A, Turesson, B O, (2020) Diskret matematik 1 Liber

ISBN: 978-91-47-13358-1

Note: The course matrix is not fully translated to English.

I U A Modules Comment
1. ÄMNESKUNSKAPER
1.1 Kunskaper i grundläggande matematiska och naturvetenskapliga ämnen
X
X
X
TEN1
I och U: Mängdlära, kombinatorik, grafer, talteori, induktion, logik. A: Gymnasiets matematik A-D
1.2 Kunskaper i grundläggande (motsvarande G1X) teknikvetenskapliga ämnen
1.3 Fördjupade kunskaper (motsvarande G2X), metoder och verktyg inom något/några teknik- och naturvetenskapliga ämnen
1.4 Väsentligt fördjupade kunskaper (motsvarande A1X), metoder och verktyg inom något/några teknik- och naturvetenskapliga ämnen
1.5 Insikt i aktuellt forsknings- och utvecklingsarbete
2. INDIVIDUELLA OCH YRKESMÄSSIGA FÄRDIGHETER OCH FÖRHÅLLNINGSSÄTT
2.1 Analytiskt tänkande och problemlösning
X
X
TEN1
Matematisk teori, metoder och algoritmer för problemlösning, rimlighetskontroll.
2.2 Experimenterande och undersökande arbetssätt samt kunskapsbildning
X
I delar av övningsuppgifterna.
2.3 Systemtänkande
X
Diskreta modeller för system.
2.4 Förhållningssätt, tänkande och lärande
X
X
TEN1
Matematisk problemlösning, procedurförmåga, modellerings- och representationsförmåga respektive resonemangsförmåga centralt.
2.5 Etik, likabehandling och ansvarstagande
3. FÖRMÅGA ATT ARBETA I GRUPP OCH ATT KOMMUNICERA
3.1 Arbete i grupp
3.2 Kommunikation
X
X
UPG1
Skriftlig matematisk kommunikation. Att redovisa fullständiga lösningar, inklusive logiska resonemang och motiveringar samt argumentera för vald lösningsmetod.
3.3 Kommunikation på främmande språk
4. PLANERING, UTVECKLING, REALISERING OCH DRIFT AV TEKNISKA PRODUKTER OCH SYSTEM MED HÄNSYN TILL AFFÄRSMÄSSIGA OCH SAMHÄLLELIGA BEHOV OCH KRAV
4.1 Samhälleliga villkor, inklusive ekonomiskt, socialt och ekologiskt hållbar utveckling för kunskapsutveckling
4.2 Företags- och affärsmässiga villkor
4.3 Att identifiera behov samt strukturera och planera utveckling av produkter och system
X
Tillämpningar gällande databaser och nätverk.
4.4 Att konstruera produkter och system
4.5 Att realisera produkter och system
4.6 Att ta i drift och använda produkter och system
5. PLANERING, GENOMFÖRANDE OCH PRESENTATION AV FORSKNINGS- ELLER UTVECKLINGSPROJEKT MED HÄNSYN TILL VETENSKAPLIGA OCH SAMHÄLLELIGA BEHOV OCH KRAV
5.1 Samhälleliga villkor, inklusive ekonomiskt, socialt och ekologiskt hållbar utveckling
5.2 Ekonomiska villkor för kunskapsutveckling
5.3 Att identifiera behov samt strukturera och planera forsknings- eller utvecklingsprojekt
5.4 Att genomföra forsknings- eller utvecklingsprojekt
5.5 Att redovisa och utvärdera forsknings- eller utvecklingsprojekt

This tab contains public material from the course room in Lisam. The information published here is not legally binding, such material can be found under the other tabs on this page.

There are no files available for this course.