14034 - Languages of Artificial Intelligence Modulübersicht

Module Number: 14034
Module Title:Languages of Artificial Intelligence
  Sprachen der Künstlichen Intelligenz
Department: Faculty 1 - Mathematics, Computer Science, Physics, Electrical Engineering and Information Technology
Responsible Staff Member:
  • Prof. Dr. rer. nat. habil. Hofstedt, Petra
Language of Teaching / Examination:English
Duration:1 semester
Frequency of Offer: On special announcement
Credits: 6
Learning Outcome:After successful completion of the module, students have a theoretically sound overview of selected programming paradigms in the AI context. They know concrete languages of these paradigms, their procedures for evaluation and typical applications. They are familiar with practical and methodological aspects in the application of AI methods and algorithms using different programming languages.
Contents:The course includes as topics, among others, languages and concrete AI applications for a number of paradigms, respectively, e.g.:
  • logical programming   
  • functional programming
  • object-oriented programming
  • constraint-based programming
  • extensions of the above paradigms, if applicable
Recommended Prerequisites:None
Mandatory Prerequisites:None
Forms of Teaching and Proportion:
  • Lecture / 2 Hours per Week per Semester
  • Exercise / 2 Hours per Week per Semester
  • Self organised studies / 120 Hours
Teaching Materials and Literature:
  • S. Russell, P. Norvig: Artificial Intelligence. A Modern Approach. Pearson. 2021.
  • F. Rabhi, G. Lapalme: Algorithms. A Functional Programming Approach. Peason. 2006.
  • U. Nilsson, J. Maluszynski: Logic, Programming, and Prolog. Wiley & Sons. 1995.
  • K. Apt: Principles of Constraint Programming. Cambridge University Press. 2010.
  • F. Baader, T. Nipkow: Term Rewriting and All That. Cambridge University Press. 1999.
  • E. Shalom: A Review of Programming Paradigms Throughout the History. 2015.
Module Examination:Final Module Examination (MAP)
Assessment Mode for Module Examination:
  • Oral examination, 30-45 min. OR
  • Written examination, 90 min. (with increased number of participants)
In the first lecture it will be announced, whether the examination will be in written or oral form.
Evaluation of Module Examination:Performance Verification – graded
Limited Number of Participants:30
Part of the Study Programme:
  • Master (research-oriented) / Angewandte Mathematik / PO 2019
  • Master (research-oriented) / Artificial Intelligence / PO 2022
  • Abschluss im Ausland / Informatik / keine PO
  • Master (research-oriented) / Informatik / PO 2008
  • Master (research-oriented) / Künstliche Intelligenz Technologie / PO 2022
  • Study programme Informatik M.Sc.: Compulsory elective module in complex „Praktische Informatik“ (level 400)
  • Study programme Artificial Intelligence M.Sc.: Compulsory elective module in complex „Advanced Methods"
  • Study programme Künstliche Intelligenz Technologie M.Sc.: Compulsory elective module in complex „Software-basierte Systeme“
  • Study programme Angewandte Mathematik M.Sc.: Compulsory elective module in complex „Anwendungen“, field  „Informatik“
Module Components:
  • Lecture Languages of Artificial Intelligence
  • Accompanying exercises
  • Related examination
Components to be offered in the Current Semester: