Spara
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.
- Undertitel
- Mathematical Foundations for a General Theory
- Författare
- P. Hajek, T. Havranek
- Upplaga
- Softcover reprint of the original 1st ed. 1978
- ISBN
- 9783540087380
- Språk
- Engelska
- Vikt
- 310 gram
- Serie
- Universitext
- Utgivningsdatum
- 1978-04-01
- Sidor
- 398
