Grundlagen der Logik in der Informatik

15 - Grundlagen der Logik in der Informatik/ClipID:7366 vorhergehender Clip

Die automatischen Untertitel, die mit Whisper Open AI in diesem Video-Player (und im Multistream-Video-Player) generiert werden, dienen der Bequemlichkeit und Barrierefreiheit. Es ist jedoch zu beachten, dass die Genauigkeit und Interpretation variieren können. Für mehr Informationen lesen Sie bitte die FAQs (Absatz 14)

Aufnahme Datum 2017-02-06

Video Audio file CC Herunterladen Clip RSS Feeds

Kurs-Verknüpfung

Grundlagen der Logik in der Informatik

Lehrende(r)

Prof. Dr. Lutz Schröder

Zugang

Frei

Sprache

Deutsch

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Produzent

MultiMediaZentrum

Format

Vorlesung

Typ

universitäre Vorlesung

Aussagenlogik:

Syntax und Semantik
Automatisches Schließen: Resolution
Formale Deduktion: Korrektheit, Vollständigkeit

Prädikatenlogik erster Stufe:

Syntax und Semantik
Automatisches Schließen: Unifikation, Resolution
Quantorenelimination
Anwendung automatischer Beweiser
Formale Deduktion: Korrektheit, Vollständigkeit

Mehr Videos aus der Kategorie "Technische Fakultät"

10 - Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I

2024-12-20

Frei

freie Daten

20 - Artificial Intelligence I

2024-12-19

Frei

freie Daten

52 - Beyond the Patterns - Prof. Dr. Xiaochun Lai (Shanghai Tech University) – A Physics-ASIC Architecture-Driven Deep Learning Detector Model Under Limited Data — for X-ray Photon-Counting CT