Intelligente Systeme I / Logics and Deduction

Typ: Vorlesung + Übung/Tutorium
SWS: 2
Credit Points: k.A.
Homepage:

Kursbeschreibung / -kommentar

Propositional logic, First Order Logic, Multi-Valued Logic, Intuitionistic Logic, Modal Logic, Multi-Modal Logic, Default Logic, Fuzzy Logic, Rough Logic.

Syntax, Semantics and Calculi (with Soundness & Completeness).

Durchschnittsbewertung

Bewertungen:

0

Gesamt: Bewertungen können nur von
registrierten Nutzern eingesehen werden.

Wenn du schon ein Nutzerkonto hast, dann log dich ein, anderenfalls kannst du dich hier registrieren.
Fairness:
Unterstützung:
Material:
Verständlichkeit:
Spaß:
Interesse:
Note/Aufwand:
Empfehlung:

Neueste Einträge

Automatische Literatursuche

Literatur wird bei Amazon gesucht ...

Andere Literatur empfehlen »