703070 PS Discrete Structures

winter semester 2020/2021 | Last update: 19.11.2020 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
Raoul Jasper Schikora, BSc
Dr. Vincent van Oostrom

Course number:

703070

Title:

PS Discrete Structures

Type/hours:

PS 1

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

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/4816273427

Link:

http://cl-informatik.uibk.ac.at/teaching/ws20/ds/

Start:

see dates

Course allocation

Faculty of Mathematics, Computer Science and Physics

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

Compulsory Modules (165 ECTS-Credits)

Compulsory Module 12: Discrete Structures (5 ECTS-Credits, 3 h)

Faculty of Teacher Education

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

Subject Computer Science

Compulsory Modules (90 ECTS)

Compulsory Module 6: Discrete Structures (5 ECTS-Credits; 3 h)

Sustainable development goals

SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.

Dates

Group 2	Export course dates of this group as iCalendar (.ics) Help
Kaliszyk C.
Date	Time	Location
Tue 2020-10-13	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2020-10-20	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2020-10-27	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-03	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-10	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-17	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-24	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-12-01	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-12-15	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-12	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-19	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-26	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Tue 2021-02-02	13.15 - 14.00	HSB 6 HSB 6	Barrier-free
Group 3	Export course dates of this group as iCalendar (.ics) Help
Kaliszyk C.
Date	Time	Location
Tue 2020-10-13	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2020-10-20	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2020-10-27	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-03	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-10	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-17	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-24	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-12-01	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-12-15	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-12	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-19	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-26	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Tue 2021-02-02	14.15 - 15.00	HSB 6 HSB 6	Barrier-free
Group 4	Export course dates of this group as iCalendar (.ics) Help
van Oostrom V.
Date	Time	Location
Tue 2020-10-13	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2020-10-20	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2020-10-27	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-03	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-10	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-17	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2020-11-24	15.15 - 16.00	eLecture - online eLecture - online
Tue 2020-12-01	15.15 - 16.00	eLecture - online eLecture - online
Tue 2020-12-15	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-12	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-19	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2021-01-26	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Tue 2021-02-02	15.15 - 16.00	HSB 6 HSB 6	Barrier-free
Group 5	Export course dates of this group as iCalendar (.ics) Help
van Oostrom V.
Date	Time	Location
Tue 2020-10-13	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-10-20	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-10-27	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-11-03	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-11-10	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-11-17	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-11-24	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-12-01	12.15 - 13.00	eLecture - online eLecture - online
Tue 2020-12-15	12.15 - 13.00	eLecture - online eLecture - online
Tue 2021-01-12	12.15 - 13.00	eLecture - online eLecture - online
Tue 2021-01-19	12.15 - 13.00	eLecture - online eLecture - online
Tue 2021-01-26	12.15 - 13.00	eLecture - online eLecture - online
Tue 2021-02-02	12.15 - 13.00	eLecture - online eLecture - online
Group 6	Export course dates of this group as iCalendar (.ics) Help
Schikora R.
Date	Time	Location
Tue 2020-10-13	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-10-20	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-10-27	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-11-03	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-11-10	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-11-17	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-11-24	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-12-01	13.15 - 14.00	eLecture - online eLecture - online
Tue 2020-12-15	13.15 - 14.00	eLecture - online eLecture - online
Tue 2021-01-12	13.15 - 14.00	eLecture - online eLecture - online
Tue 2021-01-19	13.15 - 14.00	eLecture - online eLecture - online
Tue 2021-01-26	13.15 - 14.00	eLecture - online eLecture - online
Tue 2021-02-02	13.15 - 14.00	eLecture - online eLecture - online
Group 7	Export course dates of this group as iCalendar (.ics) Help
Schikora R.
Date	Time	Location
Tue 2020-10-13	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-10-20	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-10-27	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-11-03	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-11-10	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-11-17	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-11-24	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-12-01	14.15 - 15.00	eLecture - online eLecture - online
Tue 2020-12-15	14.15 - 15.00	eLecture - online eLecture - online
Tue 2021-01-12	14.15 - 15.00	eLecture - online eLecture - online
Tue 2021-01-19	14.15 - 15.00	eLecture - online eLecture - online
Tue 2021-01-26	14.15 - 15.00	eLecture - online eLecture - online
Tue 2021-02-02	14.15 - 15.00	eLecture - online eLecture - online