703027 PS Logic

winter semester 2018/2019 | Last update: 20.09.2018 | Place course on memo list

Department:

Instructor:

Christina Kirk, BSc MSc
Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Priv.-Doz. Dr. Christian Sternagel
Priv.-Doz. Dr. Harald Zankl

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/4387995863

Link:

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

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)

Third Semester

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

Teaching Training Programme

Second Part of Studies

Dates

Group 1	Export course dates of this group as iCalendar (.ics) Help
Middeldorp A.
Date	Time	Location
Thu 2018-10-04	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-10-11	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-10-18	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-10-25	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-11-08	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-11-15	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-11-22	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-11-29	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-12-06	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-12-13	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2019-01-10	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2019-01-17	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2019-01-24	10.15 - 12.00	HS C (Technik) HS C (Technik)	Barrier-free
Thu 2019-01-31	10.15 - 12.00	HS 11 HS 11	Barrier-free
Group 2	Export course dates of this group as iCalendar (.ics) Help
Sternagel C.
Date	Time	Location
Thu 2018-10-04	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-10-11	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-10-18	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-10-25	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-11-08	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-11-15	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-11-22	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-11-29	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-12-06	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-12-13	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2019-01-10	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2019-01-17	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2019-01-24	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2019-01-31	10.15 - 12.00	SR 13 SR 13	Barrier-free
Group 3	Export course dates of this group as iCalendar (.ics) Help
Kirk C.
Date	Time	Location
Thu 2018-10-04	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-10-11	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-10-18	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-10-25	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-11-08	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-11-15	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-11-22	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-11-29	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-12-06	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2018-12-13	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2019-01-10	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2019-01-17	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2019-01-24	13.15 - 15.00	SR 12 SR 12	Barrier-free
Thu 2019-01-31	13.15 - 15.00	SR 12 SR 12	Barrier-free
Group 4	Export course dates of this group as iCalendar (.ics) Help
Zankl H.
Date	Time	Location
Thu 2018-10-04	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-10-11	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-10-18	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-10-25	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-11-08	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-11-15	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-11-22	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-11-29	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-12-06	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2018-12-13	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2019-01-10	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2019-01-17	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2019-01-24	15.15 - 17.00	SR 12 SR 12	Barrier-free
Thu 2019-01-31	15.15 - 17.00	SR 12 SR 12	Barrier-free