Grundlagen der Logik in der Informatik Series ID:323

https://is1-ssl.mzstatic.com/image/thumb/Podcasts125/v4/cd/4c/61/cd4c619b-397a-17ea-d771-f852be0d570e/mza_11082878455389920439.png/600x600bb.jpg

Friedrich-Alexander-Universität Erlangen-Nürnberg

1 episodes

1 day ago

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

Education

RSS

All content for Grundlagen der Logik in der Informatik Series ID:323 is the property of Friedrich-Alexander-Universität Erlangen-Nürnberg and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

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

Education

Episodes (1/1)

Grundlagen der Logik in der Informatik Series ID:323

1 - Grundlagen der Logik in der Informatik

11 years ago

1 hour 15 minutes 30 seconds