Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2017, February 15
Author: Mossakowski, Till
Title: Inductive Reasoning

Abstract:

While deductive reasoning draws conclusions from hypotheses with logical strength, inductive reasoning generalises examples to general laws. So inductive reasoning is less strict and reliable, but still necessary in order to be able to set up general laws based on empirical observations.

Using literature, I will give a brief introduction and overview.


Slides


Back to the Oberseminar web page
Webmaster