 |
|
| |
|
||||
Pi-calculus (6956 bytes)
1: ...urrency]] (just as the [[lambda calculus|λ-calculus]] is a simple model of sequential programming la... 7: ...els'' of communication. The ''processes'' of π-calculus are built from names by the syntax 12: ... gives the power to model concurrency to the π-calculus); 14: ...f the π-calculus but it is needed for the π-calculus to be [[turing complete]]), formally !''P'' &rarr... 62: The '''asynchronous π-calculus''' allows only ''x''<''y''>.0, not ''x''<... Calculus (13864 bytes) 1: {{Calculus}} 3: :''For other uses of the term calculus see [[calculus (disambiguation)]]'' 5: '''Calculus''' is a branch of [[mathematics]], developed from... 7: The first idea, called '''differential calculus''', is about a vast generalization of the slope ... 9: The second idea, called '''integral calculus''', is about a vast generalization of area. It i... Ethical calculus (1559 bytes) 1: The term '''''ethical calculus''''', when used generally, refers to any method o... 3: ...[[emergence]], and [[algorithm]] theory. Ethical calculus is based on the premise that moral and ethical co... 5: According to ethical calculus, the most ethical course of action in a situation... 7: While ethical calculus is, in some ways, similar to [[moral relativism]]... 9: Ethical calculus would most accurately be regarded as a form of dy... Calculus ratiocinator (276 bytes) 1: ''Calculus ratiocinator'' is [[Leibniz]]'s term for a formal... Sequent calculus (16492 bytes) 1: ...em for [[first-order logic]] (and [[propositional calculus|propositional logic]] as a special case of it). T... 7: A (formal) proof in this calculus is a sequence of [[sequent]]s, where each of the ... 12: ...German term ''Logischer Kalkül'', meaning logical calculus. Sequent calculi are the method of choice for man... 289: ...izes the strictly formal structure of a syntactic calculus. For example, the right logical rules as defined ... 311: In Sequent calculus, the rule of [[cut-elimination|cut is admissible]... Non-standard calculus (4310 bytes) 2: ...oduced in the [[19th century]]. See [[history of calculus]]. Regge calculus (488 bytes) 1: In [[theoretical physics]], '''Regge calculus''' is a simplified form of [[general relativity]]... 4: ...orld.wolfram.com/physics/ReggeCalculus.html Regge calculus] on [[ScienceWorld]] Functional calculus (1264 bytes) 1: In [[mathematics]], a '''functional calculus''' is a theory allowing one to apply [[mathematic... 5: ... (mathematics)|matrix]]. The idea of a functional calculus is to create a ''principled'' approach to this ki... 9: *[[continuous functional calculus]] 10: *[[Borel functional calculus]]. Calculus (dental) (409 bytes) 1: In [[dentistry]], '''calculus''' or '''tartar''' refers to hardened [[plaque]] ... A Calculus of Angels (506 bytes) 1: '''''A Calculus of Angels''''' is the second book in [[Gregory Ke... 9: [[Category:Science fiction novels|Calculus of Angels, A]] Multiscale calculus (2153 bytes) 1: = What is Multiscale Calculus = 3: Multiscale Calculus is a discrete counterpart to continuous 4: [[calculus]], as it was originally developed by [[Isaac_Ne... 5: is a computer friendly adaption to the laws of [[calculus]]. 9: In discrete calculus the function values can be only be accessed at Process calculus (10714 bytes) 4: and the [[λ-calculus]] possibly being the most well-known 16: the [[pi-calculus|π-calculus]] by Milner, Joachim Parrow and David Walker are 20: The process calculus approach gathered momentum in the 1970s when it 33: To define a process calculus, one starts with a set of '''names''', 102: calculus. The Calculus Affair (1434 bytes) 1: '''The Calculus Affair''' (originally ''L'affaire Tournesol'') is... 3: ''The Calculus Affair'' is the eighteenth in the series. 11: ...t for more peaceful reasons. They end up rescuing Calculus in a tank, and go home. 17: [[Category:The Adventures of Tintin|Calculus Affair, The]] Malliavin calculus (752 bytes) 1: ...lculus''' is a theory of variational [[stochastic calculus]], in other words it provides the mechanics to co... 6: ...r/dp/1996/wp0396.pdf An Introduction To Malliavin Calculus With Applications To Economics] 7: ...malliavin/mall.pdf An Introduction to Malliavin Calculus] Calculus of Constructions (785 bytes) 1: ...gers. The CoC is [[normalization property (lambda-calculus)|strongly normalizing]]. 5: ...rem prover; later versions were built upon the '''Calculus of Inductive Constructions''' an extension of CoC... Multivariate calculus (1188 bytes) 1: ... are often used to model these systems, and the [[calculus]] provides tools for characterizing the [[system ... 3: Typical operations in multivariate calculus are [[partial differentiation]] and [[integration... 5: Multivariate calculus is used in many fields of natural and social scie... 7: ''See also'': [[list of multivariable calculus topics]], [[multivariate statistics]] 9: [[Category:Calculus]] History of calculus (12115 bytes) 3: ... [[Archimedes]] and others after used [[integral calculus|integral]] methods throughout history, and a grea... 5: ...redited for developing the fundamental theorem of calculus and work on notation. 7: ...ed some of the fundamental principles of integral calculus, though this was not known in the West at the tim... 13: ...ewton are generally considered to have discovered calculus independently. 15: ...vidence to show that Newton commenced work on the calculus about a decade before Leibniz did in 1676. Newton... Propositional calculus (22119 bytes) 1: A '''propositional calculus''' is a formal, deduction system, or [[proof theo... 3: ...ulas derivable from them are also true. (Hence a calculus is formulated independently of a semantics, but w... 5: In a propositional calculus the vocabulary consists of [[atomic sentence]]s a... 7: ... follows we will outline a standard propositional calculus. Many different such formulations exist which ar... 30: == Calculus == Lambda calculus (19499 bytes) 1: ... for which undecidability could be proved. Lambda calculus has greatly influenced [[functional programming|f... 3: ...alent to [[Turing machines]]. However, the lambda calculus emphasizes the use of transformation rules, and d... 5: ...ceived by Church. Since then, some [[typed lambda calculus|typed lambda calculi]] have been developed. 9: ...[Russell's paradox]], he separated out the lambda calculus and used it to study [[computability]], culminati... 13: ...'(''x'') = ''x'' + 2 would be expressed in lambda calculus as λ ''x''. ''x'' + 2 (or equivalently as ... Jones calculus (3861 bytes) 1: ... can describe [[polarisation]] using the '''Jones calculus''', invented by [[R. C. Jones]] in [[1941]]. Pola... 77: * [[Mueller calculus]]
|
|||||
|
|
|
|
|
|
Copyright 2008 WordIQ.com - Privacy Policy
::
Terms of Use
:: Contact Us
:: About Us This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "calculus". |