700.861 (24S) Symbolic Artificial Intelligence and Logic

Sommersemester 2024

Anmeldefrist abgelaufen.

Erster Termin der LV
04.03.2024 13:30 - 15:00 HS 7 On Campus
Nächster Termin:
29.04.2024 13:30 - 15:00 HS 7 On Campus

Ü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 Benotungsschema

Position 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Es liegt keine gleichwertige Lehrveranstaltung im Sinne der Prüfungsantrittszählung vor.