703113 Logic Programming

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

Department:

Department of Computer Science

Instructor:

Univ.-Prof. Dr. Georg Moser, +43 512 507 53213

Course number:

703113

Title:

Logic Programming

Type/hours:

VO 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

German

Learning Outcome:

We will cover the programming language Prolog, such that techniques of pure Prolog are studied, as well as more advanced concepts like metaprogramming or definite clause grammars.

Contents:

The lecture introduces the concepts of logic programming. We will study the programming paradigma of logic programming and relate it to known programming paradigms as for example object-oriented programming and functional programming.

eLearning shares:

not applicable

Link:

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

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)

Elective Module 7: Logic Programming (5 ECTS-Credits, 3 h)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Mon 2015-10-05	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-10-12	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-10-19	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-11-09	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-11-16	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-11-23	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-11-30	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-12-07	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2015-12-14	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2016-01-11	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2016-01-18	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2016-01-25	10.15 - 12.00	HS 11 HS 11	Barrier-free
Mon 2016-02-01	10.15 - 12.00	HS 11 HS 11	Barrier-free