Discrete Mathematics, 6 credits
Diskret matematik, 6 hp
TADI31
Main field of study
Mathematics Applied MathematicsCourse level
First cycleCourse type
Programme courseExaminer
Daniel CarlssonDirector of studies or equivalent
Jesper ThorénEducation components
Preliminary scheduled hours: 50 hRecommended self-study hours: 110 h
Course offered for | Semester | Period | Timetable module | Language | Campus | ECV | |
---|---|---|---|---|---|---|---|
6KKEM | Chemistry, Bachelor´s Programme | 5 (Autumn 2018) | 2 | 1+3 | Swedish | Linköping, Valla | E |
6IDAT | Computer Engineering, B Sc in Engineering | 3 (Autumn 2018) | 2 | 1+3 | Swedish | Linköping, Valla | C |
Main field of study
Mathematics, Applied MathematicsCourse level
First cycleAdvancement level
G1XCourse offered for
- Computer Engineering, B Sc in Engineering
- Chemistry, Bachelor´s Programme
Entry requirements
Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshold requirements for progression within the programme, or corresponding.
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
UPG1 | Hand-in-assignment | 2 credits | U, G |
TEN1 | A written examination | 4 credits | U, 3, 4, 5 |
Grades
Four-grade scale, LiU, U, 3, 4, 5Department
Matematiska institutionenDirector of Studies or equivalent
Jesper ThorénExaminer
Daniel CarlssonCourse website and other links
http://courses.mai.liu.se/Lists/html/index-amne-tm.htmlEducation components
Preliminary scheduled hours: 50 hRecommended self-study hours: 110 h
Course literature
Compendia
- Asratian, A., Björn A. och Turesson, B. O., Diskret matematik
Code | Name | Scope | Grading scale |
---|---|---|---|
UPG1 | Hand-in-assignment | 2 credits | U, G |
TEN1 | A written examination | 4 credits | U, 3, 4, 5 |
Compendia
Note: The course matrix might contain more information in Swedish.
I | U | A | Modules | Comment | ||
---|---|---|---|---|---|---|
1. DISCIPLINARY KNOWLEDGE AND REASONING | ||||||
1.1 Knowledge of underlying mathematics and science (G1X level) |
X
|
X
|
X
|
TEN1
|
||
1.2 Fundamental engineering knowledge (G1X level) |
|
|
|
|||
1.3 Further knowledge, methods, and tools in one or several subjects in engineering or natural science (G2X level) |
|
|
|
|||
1.4 Advanced knowledge, methods, and tools in one or several subjects in engineering or natural sciences (A1X level) |
|
|
|
|||
1.5 Insight into current research and development work |
|
|
|
|||
2. PERSONAL AND PROFESSIONAL SKILLS AND ATTRIBUTES | ||||||
2.1 Analytical reasoning and problem solving |
|
X
|
X
|
TEN1
|
||
2.2 Experimentation, investigation, and knowledge discovery |
|
|
X
|
|||
2.3 System thinking |
|
X
|
|
|||
2.4 Attitudes, thought, and learning |
|
X
|
X
|
TEN1
|
||
2.5 Ethics, equity, and other responsibilities |
|
|
|
|||
3. INTERPERSONAL SKILLS: TEAMWORK AND COMMUNICATION | ||||||
3.1 Teamwork |
|
|
|
|||
3.2 Communications |
|
|
X
|
|||
3.3 Communication in foreign languages |
|
|
|
|||
4. CONCEIVING, DESIGNING, IMPLEMENTING AND OPERATING SYSTEMS IN THE ENTERPRISE, SOCIETAL AND ENVIRONMENTAL CONTEXT | ||||||
4.1 External, societal, and environmental context |
|
|
|
|||
4.2 Enterprise and business context |
|
|
|
|||
4.3 Conceiving, system engineering and management |
|
|
|
|||
4.4 Designing |
|
|
|
|||
4.5 Implementing |
|
|
|
|||
4.6 Operating |
|
|
|
|||
5. PLANNING, EXECUTION AND PRESENTATION OF RESEARCH DEVELOPMENT PROJECTS WITH RESPECT TO SCIENTIFIC AND SOCIETAL NEEDS AND REQUIREMENTS | ||||||
5.1 Societal conditions, including economic, social, and ecological aspects of sustainable development for knowledge development |
|
|
|
|||
5.2 Economic conditions for knowledge development |
|
|
|
|||
5.3 Identification of needs, structuring and planning of research or development projects |
|
|
|
|||
5.4 Execution of research or development projects |
|
|
|
|||
5.5 Presentation and evaluation of research or development projects |
|
|
|
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.