Tallenna
Mechanizing Hypothesis Formation
Plotkin divides a logic of discovery into a logic of induction: studying the notion of justification of a hypothesis, and a logic of suggestion: studying methods of suggesting reasonable hypotheses. The rest falls into two parts: Part A - a logic of induction, and Part B - a logic of suggestion.
- Alaotsikko
- Mathematical Foundations for a General Theory
- Kirjailija
- P. Hajek, T. Havranek
- Painos
- Softcover reprint of the original 1st ed. 1978
- ISBN
- 9783540087380
- Kieli
- englanti
- Paino
- 310 grammaa
- Sarja
- Universitext
- Julkaisupäivä
- 1.4.1978
- Sivumäärä
- 398
