Grundlagen der Logik in der Informatik

14 - Grundlagen der Logik in der Informatik 2016/2017

Listen Later
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
...more
View all episodesView all episodes
Download on the App Store
Grundlagen der Logik in der InformatikBy Prof. Dr. Lutz Schröder

More shows like Grundlagen der Logik in der Informatik

View all
Public Theology - Religion - Education. Interreligious Perspectives by Prof. Dr. Manfred Pirner

Public Theology - Religion - Education. Interreligious Perspectives

0 Listeners

Lineare Algebra I by Prof. Dr. Peter Knabner

Lineare Algebra I

0 Listeners

Foundations of Quantum Mechanics by Prof. Dr. Florian Marquardt

Foundations of Quantum Mechanics

2 Listeners

Einführungsvorlesung Mittelalter by Prof. Dr. Stuart Jenks

Einführungsvorlesung Mittelalter

0 Listeners

Pattern Recognition PR by Prof. Dr. Joachim Hornegger

Pattern Recognition PR

1 Listeners

Wirtschaftsstrafrecht by Prof. Dr. Hans Kudlich

Wirtschaftsstrafrecht

0 Listeners

Lectures on the Geometric Anatomy of Theoretical Physics by Dr. Frederic P. Schuller

Lectures on the Geometric Anatomy of Theoretical Physics

6 Listeners

Quantum Computing by Prof. Dr. Michael J. Hartmann

Quantum Computing

0 Listeners

Modern Optics 3: Quantum Optics by Prof. Dr. Maria Chekhova

Modern Optics 3: Quantum Optics

0 Listeners

Deep Learning - Plain Version by Prof. Dr.-Ing. Andreas Maier

Deep Learning - Plain Version

0 Listeners