703027 PS Logic

summer semester 2022 | Last update: 19.12.2022 | Place course on memo list

Department:

Instructor:

Dr. Manuel Eberl, +43 512 507 53467
Jamie Hochrainer, BSc
Christina Kirk, BSc MSc
Fabian Sebastian Mitterwallner, MSc, +43 512 507 53410
Johannes Niederhauser, MSc

Course number:

703027

Title:

PS Logic

Type/hours:

PS 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

German

Learning Outcome:

Students who have completed this module understand the topics covered in the lecture, and are able to express and apply them. They are able to independently acquire similar knowledge. They understand logical calculi and can apply them. Moreover they are able to model complex problems abstractly in formal calculi.

Contents:

Discussion, deepening and practicing the contents of the lecture; practicing of scientific argumentation and the presentation of formal content

Methods:

Weekly exercises that are presented and discussed in the Proseminar

Assessment:

Continuous assessment of course work

Literature:

Michael Huth and Mark Ryan
Logic in Computer Science (second edition)
Cambridge University Press, 2007
ISBN 0-521-54310-X (paperback)

Slides as well as solutions to selected exercises will be made available online.

OLAT:

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

Link:

http://cl-informatik.uibk.ac.at/teaching/ss22/lics/

Start:

see dates

allocated to study field

Faculty of Mathematics, Computer Science and Physics

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

Third Semester

Compulsory Module 14: Logic (7.5 ECTS-Credits, 5 h)

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

Compulsory Modules (165 ECTS-Credits)

Compulsory Module 16: Logic (7,5 ECTS-Credits, 5 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
Mitterwallner F.
Date	Time	Location
Thu 2022-03-10	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-03-17	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-03-24	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-03-31	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-04-07	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-04-28	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-05-05	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-05-12	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-05-19	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-06-02	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-06-09	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-06-23	08.15 - 10.00	HS 10 HS 10	Barrier-free
Thu 2022-06-30	08.15 - 10.00	HS 10 HS 10	Barrier-free
Group 2	Export course dates of this group as iCalendar (.ics) Help
Kirk C.
Date	Time	Location
Thu 2022-03-10	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-03-17	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-03-24	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-03-31	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-04-07	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-04-28	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-05-05	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-05-12	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-05-19	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-02	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-09	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-23	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-30	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Group 3	Export course dates of this group as iCalendar (.ics) Help
Eberl M.
Date	Time	Location
Thu 2022-03-10	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-03-17	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-03-24	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-03-31	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-04-07	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-04-28	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-05-05	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-05-12	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-05-19	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-02	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-09	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-23	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Thu 2022-06-30	08.15 - 10.00	HSB 4 HSB 4	Barrier-free
Group 4	Export course dates of this group as iCalendar (.ics) Help
Hochrainer J.
Date	Time	Location
Thu 2022-03-10	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-03-17	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-03-24	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-03-31	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-04-07	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-04-28	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-05-05	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-05-12	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-05-19	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-02	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-09	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-23	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-30	12.15 - 14.00	HSB 8 HSB 8	Barrier-free
Group 5	Export course dates of this group as iCalendar (.ics) Help
Niederhauser J.
Date	Time	Location
Thu 2022-03-10	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-03-17	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-03-24	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-03-31	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-04-07	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-04-28	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-05-05	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-05-12	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-05-19	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-02	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-09	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-23	14.15 - 16.00	HSB 8 HSB 8	Barrier-free
Thu 2022-06-30	14.15 - 16.00	HSB 8 HSB 8	Barrier-free