Foundations of Artificial Intelligence III
Der Fernlehrgang "Foundations of Artificial Intelligence III" befasst sich mit mathematischer Logik und Erfüllbarkeitsprüfung. Behandelt werden propositionale und prädikatenlogische Sprachen, Resolution, DPLL-Algorithmus und SAT-Solver. Der Kurs richtet sich an Interessierte im Bereich künstliche Intelligenz und bietet theoretische Grundlagen für fortschreitende Studien.
Das Fernlehrgang "Foundations of Artificial Intelligence III" bietet eine Einführung in mathematische Logik und Überprüfung von Erfüllbarkeiten. Themen umfassen propositionale und prädikatenlogische Sprachen, deren Syntax und Semantik, sowie Normalformen zur logischen Schlußfolgerung. Behandelt werden auch Resolution und der Davis-Putnam Logemann-Loveland-Algorithmus. Automatische Überprüfungen der Erfüllbarkeit von Formeln und moderne SAT-Solver werden erläutert, deren Bedeutung für große Such-, Optimierungs- und Verifikationsprobleme in der KI wächst. Zahlreiche Beispiele ergänzen die theoretische Behandlung. Der Kurs dient als theoretische Grundlage für weiterführende Kurse zu Wissensrepräsentation und Constraint-Optimierung und bezieht sich auf Lehrmaterialien von anerkannten KI-Experten.
Anbieter des Kurses
Der KI-Campus ist ein angesehenes Bildungsinstitut, das sich auf die Vermittlung von Kenntnissen und Fähigkeiten im Bereich der Künstlichen Intelligenz spezialisiert hat. Es bietet eine Vielzahl an kostenlosen Online-Kursen für Einsteiger und Fortgeschrittene, die unterschiedliche Aspekte der KI, von technischen Grundlagen bis hin zu ethischen und sozialen Fragestellungen, abdecken. Die praxisnahen Lernangebote ermöglichen es den Teilnehmenden, in ihrem eigenen Tempo zu lernen. Durch Kooperationen mit führenden Forschungseinrichtungen und Universitäten wird die hohe Qualität der Bildungsinhalte sichergestellt. Zusätzlich fördert der KI-Campus den kritischen Umgang mit den gesellschaftlichen Auswirkungen von KI.
Stifterverband für die Deutsche Wissenschaft e.V.
Baedekerstraße 1
45128 Essen
Deutschland