703062 SL Introduction to Theoretical Computer Science

summer semester 2023 | Last update: 13.03.2023 | Place course on memo list

Department:

Instructor:

Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
Daniel Peter Richard Ranalter, MSc, +43 512 507 53215

Course number:

703062

Title:

SL Introduction to Theoretical Computer Science

Type/hours:

SL 1

ECTS credits:

Period:

weekly

Mode of repetition:

each semester

Language of instruction:

German

Learning Outcome:

Graduates of this modules understand the notion of computability theory and various abstract computational models as well as their differences. Furthermore they can reduce information to its essentials and represent the information abstractly. Moreover the are capable of given formal proofs.

Contents:

Discussion, practice the topics of the lecture, practice scientific argumentation and present topics of theoretical computer science

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.

Remarks:

During the Indroduction and Orientation Phase for Students (StEOP), the following course examinations must be positively completed:

1. Introduction to Programming VO 3 (4,5 ECTS-Credits)
2. Introduction to Theoretical Computer Science VO 2 (3 ECTS-Credits)
3. Introduction to Theoretical Computer Science SL 1 (2 ECTS-Credits)

Link:

http://cl-informatik.uibk.ac.at/teaching/ss23/eti/

Start:

see dates

allocated to study field

Faculty of Mathematics, Computer Science and Physics

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

Studies Induction and Orientation Stage (relevant course examinations)

Compulsory Modules (165 ECTS-Credits)

Compulsory Module 2: Introduction to Theoretical Computer Science (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 4: Introduction to Theoretical Computer Science (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 1	Export course dates of this group as iCalendar (.ics) Help
Kaliszyk C.
Date	Time	Location
Fri 2023-03-10	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-03-17	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-03-24	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-03-31	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-04-21	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-04-28	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-05-05	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-05-12	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-05-19	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-05-26	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-06-02	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-06-09	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-06-16	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-06-23	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-06-30	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2023-06-30	08.15 - 09.30	HS G (Technik) HS G (Technik)	Barrier-free	Prüfung
Mon 2023-09-25	12.00 - 14.00	HSB 3 HSB 3	Barrier-free	zweiter Prüfungstermin
Group 2	Export course dates of this group as iCalendar (.ics) Help
Kaliszyk C.
Date	Time	Location
Fri 2023-03-10	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-03-17	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-03-24	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-03-31	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-04-21	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-04-28	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-05-05	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-05-12	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-05-19	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-05-26	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-06-02	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-06-09	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-06-16	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-06-23	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2023-06-30	09.15 - 10.00	HS 11 HS 11	Barrier-free
Group 4	Export course dates of this group as iCalendar (.ics) Help
Ranalter D.
Date	Time	Location
Fri 2023-03-10	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-03-17	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-03-24	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-03-31	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-04-21	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-04-28	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-05-05	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-05-12	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-05-19	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-05-26	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-06-02	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-06-09	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-06-16	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-06-23	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Fri 2023-06-30	09.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free