703015 PS Discrete Mathematics

summer semester 2019 | Last update: 18.03.2019 | Place course on memo list

Department:

Instructor:

Dr. Ralph Christian Bottesch
Dr. Burak Ekici
David Obwaller, BSc MSc
Mag. Oleksandra Roche-Newton
Dr. Vincent van Oostrom

Course number:

703015

Title:

PS Discrete Mathematics

Type/hours:

PS 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Students know various methods of proof. They understand formal techniques and elementary methods of analysis of discrete structures and can represent information abstractly.

Contents:

Proof methods; whole and rational numbers; introduction to graph theory; elementary counting theory; discrete probability calculation; finite automata; Turing machines; fundamentals of complexity theory.

Methods:

Continuous assessment (based on regular written and/or oral contribution by participants).

Assessment:

Course examination according to § 7, statute section on "study-law regulations"

Literature:

Will be discussed in the first lesson.

Prerequisites:

none

Remarks:

none

Link:

http://cl-informatik.uibk.ac.at/teaching/ss19/dm

Start:

see dates

Course allocation

Faculty of Mathematics, Computer Science and Physics

Bachelor's Programme Computer Science according to the Curriculum 2007 (180 ECTS-Credits, 6 semesters)

Second Semester

Compulsory Module 8: Discrete Mathematics (7.5 ECTS-Credits, 5 h)

Faculty of Teacher Education

Bachelor Secondary School Teacher Training Programme (General Education) according to the curriculum 2015 (240 ECTS-Credits, 8 semesters)

Computer Science

Compulsory Modules (90 ECTS)

Compulsory Module 6: Discrete Mathematics (7.5 ECTS-Credits; 5 h)

Dates

Group 1	Export course dates of this group as iCalendar (.ics) Help
van Oostrom V.
Date	Time	Location
Mon 2019-03-11	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-03-18	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-03-25	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-04-01	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-04-08	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-04-29	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-05-06	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-05-13	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-05-20	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-05-27	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-06-03	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Mon 2019-06-17	11.15 - 13.00	HSB 4 HSB 4	Barrier-free
Group 2	Export course dates of this group as iCalendar (.ics) Help
Roche-Newton O.
Date	Time	Location
Mon 2019-03-11	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-03-18	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-03-25	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-04-01	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-04-08	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-04-29	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-05-06	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-05-13	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-05-20	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-05-27	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-06-03	11.15 - 13.00	SR 13 SR 13	Barrier-free
Mon 2019-06-17	11.15 - 13.00	SR 13 SR 13	Barrier-free
Group 3	Export course dates of this group as iCalendar (.ics) Help
Bottesch R.
Date	Time	Location
Mon 2019-03-11	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-03-18	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-03-25	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-04-01	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-04-08	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-04-29	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-05-06	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-05-13	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-05-20	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-05-27	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-06-03	13.15 - 15.00	SR 13 SR 13	Barrier-free
Mon 2019-06-17	13.15 - 15.00	SR 13 SR 13	Barrier-free
Group 4	Export course dates of this group as iCalendar (.ics) Help
Obwaller D.
Date	Time	Location
Mon 2019-03-11	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-03-18	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-03-25	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-04-01	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-04-08	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-04-29	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-05-06	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-05-13	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-05-20	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-05-27	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-06-03	13.15 - 15.00	SR 12 SR 12	Barrier-free
Mon 2019-06-17	13.15 - 15.00	SR 12 SR 12	Barrier-free
Group 5	Export course dates of this group as iCalendar (.ics) Help
Ekici B.
Date	Time	Location
Mon 2019-03-11	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-03-18	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-03-25	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-04-01	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-04-08	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-04-29	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-05-06	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-05-13	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-05-20	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-05-27	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-06-03	11.15 - 13.00	HS 11 HS 11	Barrier-free
Mon 2019-06-17	11.15 - 13.00	HS 11 HS 11	Barrier-free