|
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: | - Solid programming knowledge in at least one common programming language (Java, C++, C#, Haskell, Python, etc.)
|
| 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: | Prerequisite + Final Module Examination (MAP) |
| Assessment Mode for Module Examination: | Prerequisite:
- Successful completion of one prerequisite test (90 min.) in the first week of the semester to ensure basic programming skills
Final module examination:
- Written examination, 90 min.
|
| Evaluation of Module Examination: | Performance Verification – graded |
| Limited Number of Participants: | None |
| Part of the Study Programme: | -
Master (research-oriented) /
Angewandte Mathematik /
PO 2019
- 1. SÄ 2021
-
Master (research-oriented) /
Artificial Intelligence /
PO 2022
- 1. SÄ 2024
-
Abschluss im Ausland /
Cyber Security /
keine PO
-
Abschluss im Ausland /
Informatik /
keine PO
-
Master (research-oriented) /
Informatik /
PO 2008
- 3. SÄ 2024
-
Master (research-oriented) /
Künstliche Intelligenz Technologie /
PO 2022
- 1. SÄ 2024
|
| Remarks: | - 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: | |
