# ratiocinator造句

### 例句与造句

- Leibniz's calculus
*ratiocinator*, which resembles De Morgan began that logic in 1847. - This algebra would include rules for symbolic manipulation, what he called a " calculus
*ratiocinator*". - Wiener used the term in reference to " calculus
*ratiocinator*", a calculating machine constructed by Leibniz. - All have Timothy Hutton as Archie Goodwin, who does all the legwork, and Maury Chaykin as the portly
*ratiocinator*. - Hence the " characteristic ", " calculus
*ratiocinator*", and encyclopedia form three pillars of Leibniz's project. - It's difficult to find
*ratiocinator*in a sentence. 用*ratiocinator*造句挺难的 - Mr . Wolfe sets a precedent, too, in achieving something that seems not to have occurred to the other
*ratiocinators*of the cinema. - The 17th / 18th-century mathematician Gottfried Leibniz has been credited with being the founder of symbolic logic for his work with the calculus
*ratiocinator*. - The concept is sometimes paired with his notion of a " calculus
*ratiocinator*" and with his plans for an encyclopaedia as a compendium of all human knowledge. - What Leibniz actually intended by his " characteristica universalis " and calculus
*ratiocinator*, and the extent to which modern formal logic does justice to calculus, may never be established. - The universal " representation " of knowledge would therefore combine lines and points with " a kind of pictures " ( pictographs or logograms ) to be manipulated by means of his " calculus
*ratiocinator*". - A classic discussion of the " calculus
*ratiocinator*" is Couturat ( 1901 : chpts . 3, 4 ), who maintained that the " characteristica universalis " and thus the " calculus ratiocinator " were inseparable from Leibniz's encyclopedic project ( chpt . 5 ). - A classic discussion of the " calculus ratiocinator " is Couturat ( 1901 : chpts . 3, 4 ), who maintained that the " characteristica universalis " and thus the " calculus
*ratiocinator*" were inseparable from Leibniz's encyclopedic project ( chpt . 5 ). - His " characteristica universalis ", calculus
*ratiocinator*, and a " community of minds " intended, among other things, to bring political and religious unity to Europe can be seen as distant unwitting anticipations of artificial languages ( e . g ., Esperanto and its rivals ), symbolic logic, even the World Wide Web. - Hartley Rogers saw a link between the two, defining the " calculus
*ratiocinator*" as " an algorithm which, when applied to the symbols of any formula of the characteristica universalis, would determine whether or not that formula were true as a statement of science " ( Hartley Rogers, Jr . 1963; p . 934 ). - "Begriffsschrift " is usually translated as " concept writing " or " concept notation "; the full title of the book identifies it as " a formula language, modeled on that of arithmetic, of pure thought . " Frege's motivation for developing his formal approach to logic resembled Leibniz's motivation for his calculus
*ratiocinator*( despite that, in his " Foreword"