703026 Logic

winter semester 2015/2016 | Last update: 28.01.2016 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

Course number:

703026

Title:

Logic

Type/hours:

VO 3

ECTS credits:

4,5

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

Students who have completed this module understand logical calculi and can apply them. They are able to model complex problems abstractly in formal models and acquired the ability to obtain similar knowledge independently.

Contents:

Propositional logic; predicate logic; introduction to proof systems; natural deduction for propositional and predicate logic; binary decision diagrams; introduction to verification and model checking.

Methods:

Lecture, assessment is based on a single examination at the end of the course.

Assessment:

written exam

Literature:

Michael Huth and Mark Ryan Logic in Computer Science (second edition) Cambridge University Press, 2004 ISBN 9780521543101 (paperback)

Prerequisites:

familiarity with formal notation and methods as taught in Introduction to Theoretical Computer Science and Discrete Mathematics

Link:

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

Start:

see dates

allocated to study field

Faculty of Mathematics, Computer Science and Physics

Teacher Training Programme (according to 08.06.2011)

Informatics and Informatics Management

Second Part of Studies

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)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Mon 2015-10-05	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-10-08	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-10-12	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-10-15	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-10-19	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-10-22	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-10-29	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-11-05	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-11-09	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-11-12	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-11-16	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-11-19	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-11-23	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-11-26	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-11-30	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-12-03	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-12-07	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-12-10	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2015-12-14	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2015-12-17	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2016-01-11	10.15 - 11.00	HS D (Technik) HS D (Technik)	Barrier-free
Thu 2016-01-14	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2016-01-18	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2016-01-21	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2016-01-25	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2016-01-28	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrier-free
Mon 2016-02-01	10.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2016-02-04	08.00 - 11.15	HS F (Technik) HS F (Technik)	Barrier-free	Prüfung
Thu 2016-02-04	08.00 - 12.00	HS E (Technik) HS E (Technik)	Barrier-free	Prüfung