Grundlagen der Logik in der Informatik 2016/2017 (HD 1280)

Grundlagen der Logik in der Informatik 2016/2017 (HD 1280) episodes:

• February 06, 201715 - Grundlagen der Logik in der Informatik 2016/2017

  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

  ---

• February 05, 201715 - Grundlagen der Logik in der Informatik 2016/2017

  ...more

  ---

• January 30, 201714 - Grundlagen der Logik in der Informatik 2016/2017

  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 29, 201714 - Grundlagen der Logik in der Informatik 2016/2017

  ...more

  ---

• January 23, 201713 - Grundlagen der Logik in der Informatik 2016/2017

  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 22, 201713 - Grundlagen der Logik in der Informatik 2016/2017

  ...more

  ---

• January 16, 201712 - Grundlagen der Logik in der Informatik 2016/2017

  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 15, 201712 - Grundlagen der Logik in der Informatik 2016/2017

  ...more

  ---

• December 19, 201610 - Grundlagen der Logik in der Informatik 2016/2017

  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 18, 201610 - Grundlagen der Logik in der Informatik 2016/2017

  ...more

  ---