Design Of Inquiring SystemsBasic Books, 1971 - 288 pagina's |
Vanuit het boek
Resultaten 1-3 van 6
Pagina 31
... formal language , and the system had a processer that contained rules for " well - formed functions " ( wff's ) ... language , the problem of mapping them into a formal language to test for tautology may not be simple . Indeed , there has ...
... formal language , and the system had a processer that contained rules for " well - formed functions " ( wff's ) ... language , the problem of mapping them into a formal language to test for tautology may not be simple . Indeed , there has ...
Pagina 38
... formal language , e.g. , they find the maxima of a function , or solve simultaneous sets of equations , or solve certain types of differential equations . The machines store all the primitives of the formal language , plus the rules of ...
... formal language , e.g. , they find the maxima of a function , or solve simultaneous sets of equations , or solve certain types of differential equations . The machines store all the primitives of the formal language , plus the rules of ...
Pagina 81
... formal language ( i.e. , a " logic " ) . In this regard , the problem is similar to the deductive task of codifying the rules which define an " acceptable " string of symbols stretching from a given set to some desired conclusion . For ...
... formal language ( i.e. , a " logic " ) . In this regard , the problem is similar to the deductive task of codifying the rules which define an " acceptable " string of symbols stretching from a given set to some desired conclusion . For ...
Inhoudsopgave
Design and Inquiry | 3 |
Fact Nets | 19 |
The Anatomy of Goal Seeking | 42 |
Copyright | |
15 andere gedeelten niet getoond
Overige edities - Alles bekijken
Veelvoorkomende woorden en zinsdelen
activity agreement Anaxagoras aspect assertion axioms basic become behavior capable Carneades client components concept contingent truths cost create decision maker Democritean DENDRAL Descartes described design of inquiring determine discussion empiricist entity example existence experience fact nets formal language function given goals guarantor Hegel Hegelian Hence human hypothesis idea imagery implies indicative mood individual induction input intuition inventory Kant kind knowledge label last chapter Leibniz Leibnizian inquirer Lockean community Lockean inquiring systems logical mass spectrometer means measure of performance mind mood nature objective observer occur operations research optimal organic chemistry philosophical point of view priori produce properties question reality recognize relevant scientific scientist sector seems sense sentences simple Singerian inquiring system social specific Spinoza stooge stored strategy Suppose system design tautology teleological teleological behavior theory thesis tion understand Weltanschauung whole system