703019 Logic

winter semester 2008/2009 | Last update: 23.02.2009 | Place course on memo list

Department:

Department of Computer Science

Instructor:

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

Course number:

703019

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 should understand the topics covered in the lecture, and be able to express and apply them. They should be able to independently acquire similar knowledge and have a basic understanding of logical methods.

Contents:

propositional logic; predicate logic; introduction to proof systems; natural deduction for propositional and predicate logic; foundations of logic programming; Prolog; binary decision diagrams; introduction to verification and model checking

Assessment:

written exam

Literature:

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

Course allocation

Fakultät für Mathematik, Informatik und Physik

Lehramt

Informatik und Informatikmanagement

II. Studienabschnitt

Bachelorstudium Informatik nach dem Curriculum 2007

3. Semester

Logik

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Thu 2008-10-02	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-10-09	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-10-16	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-10-23	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-10-30	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-11-06	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-11-13	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-11-20	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-11-27	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-12-04	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2008-12-11	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2009-01-08	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2009-01-15	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Thu 2009-01-22	08.15 - 11.00	HS F (Technik) HS F (Technik)	Barrier-free
Fri 2009-04-17	09.00 - 12.00	HS 10 HS 10	Barrier-free	2nd exam
Fri 2009-04-17	09.00 - 12.00	HS F (Technik) HS F (Technik)	Barrier-free	2nd exam
Fri 2009-09-25	09.00 - 12.00	HS 10 HS 10	Barrier-free	3rd exam