Grundlagen der Logik in der Informatik Course ID:397 episodes:

• December 06, 20158 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  

  ---

• November 30, 20157 - 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

  

  ---

• November 29, 20157 - Grundlagen der Logik in der Informatik

  ...more

  

  ---

• November 29, 20157 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  

  ---

• November 17, 20156 - 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

  

  ---

• November 16, 20156 - Grundlagen der Logik in der Informatik

  ...more

  

  ---

• November 16, 20156 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  

  ---

• November 09, 20155 - 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

  

  ---

• November 08, 20155 - Grundlagen der Logik in der Informatik

  ...more

  

  ---

• November 08, 20155 - Grundlagen der Logik in der Informatik 2015/2016

  ...more

  

  ---