Syllabus

Title
4328 Logik und AI
Instructors
Univ.Prof.i.R. Dipl.-Ing.Dr. Wolfgang Panny
Contact details
wolfgang.panny@wu.ac.at
Type
PI
Weekly hours
2
Language of instruction
Deutsch
Registration
02/07/13 to 03/01/13
Registration via LPIS
Notes to the course
The courses in the IT-Specialisation Area "Information Management " will be offered the last time for the Bachelor's and Master's degree Programs in Information Systems.
Subject(s) Diploma Programs
IT Specialisation Area: Advanced Topics I - Information Business
Dates
Day Date Time Room
Tuesday 03/12/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 04/09/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 04/16/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 04/23/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 04/30/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 05/07/13 12:30 PM - 02:30 PM H 4.40 (C)
Tuesday 05/14/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 05/21/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 05/28/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 06/04/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 06/11/13 12:30 PM - 02:30 PM H 0.7 (C)
Tuesday 06/18/13 12:30 PM - 02:30 PM H 0.7 (C)

On this page:

to top
Contents

Die Vorlesung beschäftigt sich mit einem wichtigen Teilgebiet von Expertensystemen und der Künstlichen Intelligenz, nämlich mit ihren logischen Grundlagen:
- Aussagenlogik
- Prädikatenlogik
- logisches Schließen
- Resolutionskalkül und automatisches Beweisen

to top
Learning outcomes
Die Vorlesung soll dem/der Hörer/in eine fundierte Einführung in dieses Teilgebiet vermitteln. Insbesondere soll der/die Hörer/in nach dem Besuch der Vorlesung verstehen, wie Schlüsse formalisiert werden und wie man ihre Gültigkeit beweisen kann.
to top
Teaching/learning method(s)
Offener, fragend-entwickelnder Unterricht Stundenwiederholungen
to top
Assessment
Voraussichtlich werden vier Zwischenklausuren abgehalten, von denen die drei besten Ergebnisse zur Beurteilung herangezogen werden. Für eine positive Note sind zumindest drei positive Klausuren notwendig. Mitarbeit, Hausübungen
to top
Readings
1 Author: Panny
Title: Skriptum zur Lehrveranstaltung

Year: 2002
Content relevant for class examination: Yes
Content relevant for diploma examination: Yes
Recommendation: Essential reading for all students
Type: Script
2 Author: Schöning, U.,
Title: Logik für Informatiker

Edition: 5. Auflage
Year: 2000
Type: Book
to top
Availability of lecturer(s)
Per Mail: wolfgang.panny@wu-wien.ac.at
to top
Other

Weitere Unterlagen finden Sie auf: http://www.ai.wu.ac.at/~panny/exsys/

Last edited: 2013-02-04



Back