Lecture

Lecture

Einführung in die Informatik WS 2018/19

Submitted by stf on 4. October 2018 - 16:35

Die Veranstaltung "Einführung in die Informatik" ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)
im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu zu dieser Veranstaltung.

Lecture - The Logic of Knowledge Bases SS 2018

Submitted by Jens Claßen on 15. February 2018 - 16:37

This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

Lecture - Introduction to Artificial Intelligence WS 2017/2018

Submitted by Jens Claßen on 26. September 2017 - 13:57
See Campus for announcements for Note:
  • To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
  • To take the exam, you need to do the modular registration process which closes 10 November.

Lecture - Introduction to Knowledge Representation SS 2017

Submitted by Jens Claßen on 3. February 2017 - 12:26
See Campus for announcements for Note:
  • To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
  • To take the exam, you need to do the modular registration process which closes 18 November.

Lecture - Introduction to Artificial Intelligence WS 2016/2017

Submitted by Jens Claßen on 6. October 2016 - 18:37
See Campus for announcements for Note:
  • To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
  • To take the exam, you need to do the modular registration process which closes 18 November.

Lecture - The Logic of Knowledge Bases SS 2016

Submitted by Jens Claßen on 7. April 2016 - 13:54

Note: This course starts on Monday, 18 April 2016.

This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

Lecture - Introduction to Artificial Intelligence WS 2015/2016

Submitted by Jens Claßen on 8. October 2015 - 15:58
See Campus for announcements for Note:
  • To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
  • To take the exam, you need to do the modular registration process which closes 20 November.

Einführung in die Informatik WS 2015/2016

Submitted by stf on 7. October 2015 - 17:49

Die Veranstaltung "Einführung in die Informatik" ist eine der von der Fachgruppe Informatik seit dem Wintersemester 2001/2002 angebotenen Einführungsvorlesungen für Hörer aller Fakultäten:

  • Programmierung (Java) (WS)
  • Einführung in die Informatik (WS)
  • Algorithmen und Datenstrukturen (SS)
  • Software-Entwicklung (SS)
im Online-Vorlesungsverzeichnis CAMPUS finden Sie Einträge zu zu dieser Veranstaltung.