Siirry suoraan sisältöön
Mechanizing Hypothesis Formation
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
Painos
Softcover reprint of the original 1st ed. 1978
ISBN
9783540087380
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.4.1978
Sivumäärä
398