27.nov, 14:00 ICT-315 seminar "Where the theorems are coming from? Part 1. Case study"
Tarkvarateaduse instituudi seminaril räägib Mati Tombak teemal
"Where the theorems are coming from? Part 1. Case study"
Case study is irrelevant for making conclusions. In social sciences such conclusions might be even dangerous. Nevertheless the method is useful tool for setting up a hypothesis which must be confirmed for example by statistical evidence. Case study is a quite common method in mathematics for setting up a hypothesis, which must be proven to became a theorem.
In my talk I demonstrate the method by formulating and proving two theorems. Despite the simplicity of the theorems they can be used for proving the exponential complexity of two families of algorithms for counting models of propositional formulae.