「Calculus」の共起表現一覧(1語右で並び替え)
該当件数 : 318件
| In the lambda | calculus, a term is in beta normal form if no beta red |
| The name refers to the lambda | calculus, a mathematical formalism invented by Alonzo |
| In propositional | calculus, a syncategorematic term is a term that has n |
| In 1968, Leithold published The | Calculus, a "blockbuster best-seller" which simplified |
| curried form, such as the simply typed lambda | calculus, a function type depends on exactly two types |
| In propositional | calculus a literal is simply a propositional variable |
| In the lambda | calculus, a beta redex is a term of the form |
| y, but following Leibniz's publication of the | calculus a bitter rivalry erupted between the two math |
| By 1987, 73 students passed the A.P. | calculus AB exam and another 12 passed the BC version |
| AP | Calculus AB & BC |
| dvanced Placement Biology, Advanced Placement | Calculus AB and BC, Advanced Placement Chemistry, Adva |
| ry, European History, Psychology, Statistics, | Calculus AB and BC, Environmental Science, Biology, Ch |
| re able to take Advanced Placement classes in | Calculus AB, Government & Politics: U.S. and U.S. Hist |
| istory, European History, English Literature, | Calculus AB, Biology, Chemistry, Environmental Science |
| tates Government and Politics, AP English, AP | Calculus AB, AP Physics, AP Spanish, AP Television Pro |
| Placement courses are available for Biology, | Calculus AB, Chemistry, English Language, English Lite |
| e following: AP English IV, AP Statistics, AP | Calculus AB, AP Calculus BC, AP Computer Science A, AP |
| dio 2-D Design, Art: Studio Drawing, Biology, | Calculus AB, Chemistry, English Literature & Compositi |
| glish Literature and Composition, Statistics, | Calculus AB, Spanish Language, Spanish Literature, Chi |
| ed Placement courses include English 3 and 4, | Calculus AB, Calculus BC, Statistics, Biology II, Chem |
| anish, AP French, AP Chinese, AP Japanese, AP | Calculus AB, AP Calculus BC, AP Computer Science, AP E |
| English Language; English Literature; | Calculus AB; Calculus BC; |
| Advanced (Without | calculus): Advanced that starts with Algebra 1 and end |
| In The | Calculus Affair, for example, she provides a diversion |
| ay of defining data structures in pure lambda | calculus, an abstract, theoretical model of computatio |
| e he was the prime instigator of the Duration | Calculus, an interval logic for real-time systems as p |
| Back originated the refinement | calculus, an important approach to the formal developm |
| Instead of | calculus, an axiomatic treatment of differential geome |
| In the lambda | calculus an expression is divergent if it has no norma |
| Higher Arithmetic, Differential and Integral | Calculus, Analytical Geometry and Trigonometry, Spheri |
| amiliar ones from the classical propositional | calculus and respectively the minimal multimodal logic |
| By the age of 13, he had mastered | calculus and other forms of analytical mechanics, rece |
| orem can be proved with the tools of ordinary | calculus and Lagrange multipliers. |
| notation used in axiomatic set theory, lambda | calculus, and first-order predicate logic. |
| A.P. courses; English (Literature), Biology, | Calculus, and Statistics. |
| egrated course blocks that teach engineering, | calculus, and physics by exploring the relationships b |
| ially higher order predicate logic and lambda | calculus, and makes use of the notions of intensional |
| ir old friend Trifonius Zonnebloem (Professor | Calculus), and then tries to show Kuifje a magic trick |
| various urologic disorders including urinary | calculus and urinary tract infections. |
| am for exploring Euclidean geometry, algebra, | calculus, and other areas of mathematics. |
| d/or reinvented in areas such as typed lambda | calculus and explicit substitution. |
| ory, Government, Economics, Biology, Physics, | Calculus, and Chemistry. |
| ludes peer mentoring, academic preparation in | calculus and chemistry, as well as industry networking |
| lambda | calculus and functional programming |
| unctional core language similar to the lambda | calculus and then systematically adds constructs. |
| s and which included theorems on differential | calculus and infinite series. |
| Stochastic | Calculus and Applications (Springer-Verlag, 1982) |
| theories of computation including the lambda | calculus and Petri nets. |
| e fields of logic in computer science, lambda | calculus and functional programming, type theory and c |
| It includes primitives from relational | calculus and term rewriting. |
| Calculus and the Computer Revolution, Houghton-Mifflin | |
| t of "effective calculability" based on his λ | calculus and by Alan Turing in the same year with his |
| bra, Algebra 1 and 2, Geometry, Pre-Calculus, | Calculus and College Algebra. |
| ment, Economics, Biology, Chemistry, Physics, | Calculus, and Statistics. |
| as now it would be understood, into Schubert | calculus and enumerative geometry, the former is well- |
| on of Microsoft Math 3.0 also has support for | calculus and Ink Handwriting, allowing the user to wri |
| lling his students for the Advanced Placement | Calculus, and achieving considerable success. |
| ury American History, Gifted and Talented, AP | Calculus, and a multitude of dual-enrollment courses. |
| ude Algebra I and II, Geometry, Trigonometry, | Calculus, and Basic Math. |
| es elements of predicate logic, propositional | calculus, and multi-valued logic. |
| As of 2009, AP | Calculus and AP Literature are being taught by trained |
| B. Curry: Essays on Combinatory Logic, Lambda | Calculus and Formalism, Boston, MA: Academic Press, pp |
| It works with variants of the sequent | calculus and natural deduction. |
| He studied integral | calculus, and is noted for his work on partial differe |
| 40s, the formalisms of Alonzo Church's lambda | calculus and Alan Turing's Turing machines provided ma |
| Event | Calculus Answer Set Programming |
| currently offers four Ap classes including AP | Calculus, AP Chemistry, AP History, and AP English. |
| Physics, AP US History, AP World History, AP | Calculus, AP Statistics, Honors English Language (11th |
| studied: The types of the simply typed lambda | calculus are only base types (or type variables) and f |
| Maplets for | Calculus are a collection of Java applets written in t |
| The relational algebra and the relational | calculus are essentially logically equivalent: for any |
| multiplication and division rules of quantity | calculus are applied to SI base units (which are measu |
| The main elements of the situation | calculus are the actions, the fluents, and the situati |
| ly, combinatory logic and simply-typed lambda | calculus are not the only models of computation, eithe |
| Gottfried Leibniz developed his | calculus around 1673, and published it in 1684, fifty |
| hand, Hewitt remained critical of the lambda | calculus as a foundation for computation writing "The |
| east one adjacent building (used by Professor | Calculus as a laboratory in The Calculus Affair ). |
| on is interpreting the Fundamental theorem of | calculus as a special case of Stokes' theorem. |
| Since infinitesimal | calculus as we know it did not yet exist then, and mat |
| In 1953, while teaching a class on | calculus at MIT, he places a particularly interesting |
| That year Escalante also started teaching | calculus at East Los Angeles College. |
| Jaime Escalante taught students | calculus at Garfield High School in the East Los Angel |
| 906 he became full professor of Infinitesimal | Calculus at the University of Catania. |
| timal, in Levy's sense, evaluators for lambda | calculus available today. |
| rocessing theory rather than to the classical | Calculus based analog signal processing approach that |
| er one in the world for passing minorities in | Calculus BC and number one in the United States for pa |
| Placement Statistics -or- Advanced Placement | Calculus BC, Advanced Placement Physics B, Advanced Pl |
| story, European History, American Government, | Calculus BC, Statistics, Biology, Chemistry, Environme |
| ilable in French, Spanish, English Lit/Comp., | calculus, biology, Chemistry, US History, World Histor |
| vernment, Geometry, Algebra II, Pre-Calculus, | Calculus, Biology, Chemistry, and Physics. |
| Environmental Science, AP Statistics, and AP | Calculus both AB and BC. |
| is most famous as the inventor of the tensor | calculus but published important work in many fields. |
| tructural complexity greater than the sequent | calculus, but not unboundedly so, although this is not |
| io Guglielmi proposed a variation of Retore's | calculus, BV, in which the two noncommutative operatio |
| f obtaining the normal form of terms in the λ | calculus by appealing to their denotational semantics. |
| Many students finish | Calculus by their junior year, and a handful finish an |
| theory that breaks with the classical sequent | calculus by generalising the notion of structure to pe |
| raordinary good fortune to be taught freshman | calculus by Robert Lee Moore, a founder of topology in |
| Brownian Motion and Stochastic | Calculus by Ioannis Karatzas and Steven E. Shreve, Spr |
| n defining moments and curvatures in this way | calculus can be more readily used to find slopes and d |
| ion, system F. Parigot (1997) showed how this | calculus can be extended to admit classical logic. |
| the use of resources in some models of lambda | calculus; can we imagine a typed version of Turing's m |
| The basic axiom of quantity | calculus can, for most purposes, be taken to be Maxwel |
| re offered in English, United States History, | Calculus, Chemistry, and Biology. |
| language (most likely a part of the predicate | calculus) common instrumental statements. |
| od; once the first layer is attached, ionized | calculus components are naturally attracted to the sam |
| ms; the exact nature of a type depends on the | calculus considered (see kinds below). |
| Relational | calculus consists of two calculi, the tuple relational |
| In mathematical logic, a proof | calculus corresponds to a family of formal systems tha |
| s one of the first to realize that the lambda | calculus could be used to model a programming language |
| ity also for having developed a multivariable | calculus course (18.022: |
| The school's Advanced Placement BC | Calculus Course, taught by Larry McCloskey, regularly |
| eriodontitis exhibit considerable subgingival | calculus deposits. |
| Calculus determines that the crew needs at least four | |
| The join-calculus is a process | calculus developed at INRIA. |
| The pure untyped lambda | calculus does not satisfy the strong normalization pro |
| Usually a given proof | calculus encompasses more than a single particular for |
| dvanced Placement courses, including Biology, | Calculus, English Literature, Latin, Physics, and Span |
| xams in these areas received a passing grade: | Calculus, English Literature, European History, French |
| Advanced Placement program in | Calculus, English, Foreign Language, Biology, Chemistr |
| Classes available to take for dual credit are | Calculus, English, Spanish, Statistics, Cisco, Human A |
| Cleavon Little as | Calculus Entropy |
| istry, Computer Science, Economics, AB and BC | calculus, European History, Literature, Music Theory, |
| By 1996, only seven passed the basic | calculus exam, with four passing the advanced exam. |
| nts passed the challenging Advanced Placement | Calculus exam. |
| Professor | Calculus explains that his nuclear rocket engine essen |
| Her book The Origins of Cauchy's Rigorous | Calculus explores the background in which the limit de |
| given, every formula in the monadic predicate | calculus expresses something that can likewise be form |
| metry, algebra, trigonometry, precalculus and | calculus, finance, statistics, and computer science. |
| The Bird-Meertens Formalism is a | calculus for deriving programs from specifications (in |
| t the subtleties of various aspects of tensor | calculus for mathematically inclined physicists. |
| A propositional | Calculus for Inconsistent Deductive Systems 1948 (repr |
| e Discussive Conjunction in the Propositional | Calculus for Inconsistent Deductive Systems 1949 (repr |
| icate completion is still needed in the event | calculus for obtaining that a fluent is made true only |
| tfried Leibniz of having plagiarized Newton's | calculus, formally starting the Leibniz and Newton cal |
| The “hardened” | calculus formations are at the heart of periodontal di |
| Second Year | Calculus: From Celestial Mechanics to Special Relativi |
| The | Calculus Gallery (1st ed.). |
| nish Literature, Biology, Chemistry, Physics, | Calculus, Geology, Psychology and European History. |
| tributions in Algebra, Arithmetic, Astronomy, | Calculus, Geometry, Infinite Series and Linguistics. |
| an dictator General Tapioca, in order to lure | Calculus, Haddock and Tintin to San Theodoros where th |
| The Facts on File | Calculus Handbook (Facts on File, 2003), 2005, Checkma |
| J. Barkley Rosser proved in 1936 that lambda | calculus has this property; hence the name of the prop |
| His | calculus has thus become one of the fundamental formal |
| (The fact that lambda | calculus has this property is also known as the Church |
| t the smallest covariant quantum differential | calculus has one dimension higher than expected, namel |
| The | calculus has since been applied to study linear logic, |
| Since his high school did not offer | calculus, he learned it on his own. |
| ath department, SRMHS would definately have a | Calculus III teacher that would uphold the school's im |
| ns or closures, following the usage of lambda | calculus, in programming languages such as C#, Lisp, P |
| techniques that employ the use of variational | calculus in Einstein's theory of general relativity. |
| Frege went on to employ his logical | calculus in his research on the foundations of mathema |
| is more analogous to a system of algebra than | calculus in the mathematical sense of the term. |
| simple theoretical models such as the lambda | calculus in which functions only take a single argumen |
| ury - and directly stimulated the teaching of | calculus in military academies. |
| Various systems of typed lambda | calculus including the simply typed lambda calculus, J |
| In the event | calculus, inertia is enforced by formulae stating that |
| critique of the foundations of infinitesimal | calculus, influential in the development of mathematic |
| The CoC is a higher-order typed lambda | calculus, initially developed by Thierry Coquand, wher |
| His father taught himself | calculus, invented a model airplane, and studied engin |
| they will get the children back in return for | Calculus' invention. |
| The superposition | calculus is a calculus for reasoning in equational fir |
| Monadic predicate | calculus is also called monadic first-order logic. |
| h most high school competitions, knowledge of | calculus is not required, except if taking the Calculu |
| atical logic, the implicational propositional | calculus is a version of classical propositional calcu |
| cal logic and computer science, the lambda-mu | calculus is an extension of the lambda calculus, and w |
| Professor | Calculus is taking Tintin, Tintin's dog Snowy, Captain |
| Thus, loosely speaking, a proof | calculus is a template or design pattern, characterize |
| The term | calculus is embedded in a classical higher-order logic |
| The situation | calculus is based on a sorted domain with three sorts: |
| Minimal logic, or minimal | calculus, is a symbolic logic system originally develo |
| Attributional | calculus is a logic and representation system defined |
| Quantity | calculus is the formal method for describing the mathe |
| e, where, for example, the ',' of the sequent | calculus is not associative. |
| System F, aka second order lambda | calculus, is obtained by imposing only this property. |
| Refinement | calculus is a formalized approach to stepwise refineme |
| 922 Behmann proved that the monadic predicate | calculus is decidable. |
| In mathematical logic, pattern | calculus is a formalism that extends lambda calculus w |
| The Knights of the Lambda | Calculus is a semi-fictional organization of expert LI |
| Differential and Integral | Calculus ISBN 4871878384 , ISBN 487187835X |
| n that goes by the name Knights of the Lambda | Calculus; it mostly only exists as a hacker culture in |
| Hydrogamasellus | calculus Karg, 1997 |
| Olivetti Electronic | Calculus Laboratories (project), Rho-Milan, Italy. |
| imilar to them, called The Knights of Eastern | Calculus make a major appearance in the anime series S |
| And Professor | Calculus makes a cameo. |
| ixed contraction T, the polynomial functional | calculus map is itself a contraction. |
| chool year, the Fort Myers Senior High School | Calculus mathematics team placed 9th in the nation at |
| The formation rules of a propositional | calculus may, for instance, take a form such that; |
| t year at BU, he taught Analytics, Astronomy, | Calculus, Mechanics, and Quarternions. |
| describes Meshuggah as "masterminds of cosmic | calculus metal-call it Einstein metal if you want". |
| Fagnano's original proof used | calculus methods and an intermediate result given by h |
| In the lambda | calculus model of computing, Boolean values can be rep |
| rs AP courses in English Literature, Biology, | Calculus, Music Theory, American Government, European |
| Calculus musicus is a treatise on tuning systems: a 19 | |
| s a form of differential geometry without the | calculus notion of smoothness, developed by Anastasios |
| In the lambda | calculus, numeric functions are representable by corre |
| ust before the invention of the infinitesimal | calculus, occupied their attention with problems which |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
