703027 PS Logic

winter semester 2017/2018 | Last update: 30.10.2017 | Place course on memo list

Department:

Instructor:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
Franziska Gabriele Rapp, MSc
Priv.-Doz. Dr. Christian Sternagel
Dr. Vincent van Oostrom

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, 2004
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/4237001229

Link:

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

Start:

see dates

allocated to study field

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)

Teacher 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 2017-10-05	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-10-12	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-10-19	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-11-09	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-11-16	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-11-23	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-11-30	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-12-07	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2017-12-14	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2018-01-11	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2018-01-18	10.15 - 12.00	HS 10 HS 10	Barrier-free
Thu 2018-01-25	10.15 - 12.00	HS 10 HS 10	Barrier-free
Group 2	Export course dates of this group as iCalendar (.ics) Help
van Oostrom V.
Date	Time	Location
Thu 2017-10-05	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-10-12	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-10-19	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-11-09	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-11-16	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-11-23	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-11-30	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-12-07	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2017-12-14	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-01-11	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-01-18	10.15 - 12.00	HS 11 HS 11	Barrier-free
Thu 2018-01-25	10.15 - 12.00	HS 11 HS 11	Barrier-free
Group 3	Export course dates of this group as iCalendar (.ics) Help
Sternagel C.
Date	Time	Location
Thu 2017-10-05	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-10-12	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-10-19	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-11-09	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-11-16	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-11-23	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-11-30	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-12-07	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2017-12-14	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2018-01-11	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2018-01-18	13.15 - 15.00	HS 10 HS 10	Barrier-free
Thu 2018-01-25	13.15 - 15.00	HS 10 HS 10	Barrier-free
Group 4	Export course dates of this group as iCalendar (.ics) Help
Rapp F.
Date	Time	Location
Thu 2017-10-05	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-10-12	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-10-19	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-11-09	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-11-16	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-11-23	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-11-30	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-12-07	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2017-12-14	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-01-11	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-01-18	10.15 - 12.00	SR 13 SR 13	Barrier-free
Thu 2018-01-25	10.15 - 12.00	SR 13 SR 13	Barrier-free