Grundlagen der Logik in der Informatik 2015/2016 (Audio)

Grundlagen der Logik in der Informatik 2015/2016 (Audio) episodes:

• February 01, 201614 - Grundlagen der Logik in der Informatik 2015/2016

  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

  ---

• January 31, 201614 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  ---

• January 25, 201613 - Grundlagen der Logik in der Informatik 2015/2016

  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

  ---

• January 24, 201613 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  ---

• January 18, 201612 - Grundlagen der Logik in der Informatik 2015/2016

  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

  ---

• January 17, 201612 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  ---

• January 11, 201611 - Grundlagen der Logik in der Informatik 2015/2016

  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

  ---

• January 10, 201611 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  ---

• December 21, 201510 - Grundlagen der Logik in der Informatik 2015/2016

  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

  ---

• December 20, 201510 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  ---