Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

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


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.


Back to the Oberseminar web page