700.861 (24S) Symbolic Artificial Intelligence and Logic
Überblick
- Lehrende/r
- LV-Titel englisch Symbolic Artificial Intelligence and Logic
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 53
- Organisationseinheit
- Unterrichtssprache Englisch
- mögliche Sprache/n der Leistungserbringung Englisch
- LV-Beginn 04.03.2024
- eLearning zum Moodle-Kurs
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Intendierte Lernergebnisse
Students learn theoretical and practical concepts of computational logic for knowledge representation and reasoning
Lehrmethodik
Lectures, exercises and practical project tasks
Inhalt/e
Classical logic, automated reasoning and logic programming
Prüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Prüfungsmethode/n
Continuous examination
Prüfungsinhalt/e
Theoretical and practical concepts of computational logic
Beurteilungskriterien/-maßstäbe
Profound understanding and practical competencies regarding concepts taught in the course
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelorstudium Robotics and Artificial Intelligence
(SKZ: 295, Version: 22W.1)
-
Fach: Artificial Intelligence
(Pflichtfach)
-
4.5 Symbolic Artificial Intelligence and Logic (
2.0h VC / 4.0 ECTS)
- 700.861 Symbolic Artificial Intelligence and Logic (2.0h VC / 4.0 ECTS)
-
4.5 Symbolic Artificial Intelligence and Logic (
2.0h VC / 4.0 ECTS)
-
Fach: Artificial Intelligence
(Pflichtfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
Es liegt keine gleichwertige Lehrveranstaltung im Sinne der Prüfungsantrittszählung vor.