462:
413:
149:(also called vector analysis), comprising specialized notations for multivariable analysis of vectors in an inner-product space
478:
258:, the manipulation of binary relations with the algebra of sets, composition of relations, and transpose relations
495:
370:
324:, a formulation of the theory of reflexive functions that has deep connections to computational theory
143:(also called tensor analysis), a generalization of vector calculus that encompasses tensor fields
451:
333:
Rho calculus, introduced as a general means to uniformly integrate rewriting into lambda calculus
423:
198:
173:
305:, used in optics to handle Stokes vectors, which describe the polarization of incoherent light
255:
113:
103:
308:
267:
195:, a formal system that defines a language and rules to derive an expression from premises
8:
467:
382:
364:
128:
122:
83:
481:
led you here, you may wish to change the link to point directly to the intended article.
273:
24:
435:
429:
233:
204:
160:
30:
420:
calculation of all known factors into the decision-making and action-planning process
222:
134:
108:
77:
63:
53:
426:, a legal standard in U.S. tort law to determine if a duty of care has been breached
276:, a common temporal logic used by formal verification methods such as model checking
344:
338:
302:
286:
261:
216:
347:, a family of models for concurrent systems based on the concept of agent mobility
321:
245:
166:
152:
146:
140:
179:
125:), also called the finite-difference calculus, a discrete analogue of "calculus"
375:
327:
296:
239:
210:
20:
489:
350:
192:
356:
408:
155:, a specialized notation for multivariable calculus over spaces of matrices
353:, a theoretical model for the design of distributed programming languages
341:, a set of approaches to formulating formal models of concurrent systems
264:, a logical language which replaces quantifiers with the epsilon operator
35:
432:, a procedure to evaluate the benefit of an action, according to Bentham
163:(also called numerical analysis), the study of numerical approximations
116:, an approach to infinitesimal calculus using Robinson's infinitesimals
330:, a reformulation of the first-order fragment of typed lambda calculus
201:, specifies the rules of inference governing the logic of propositions
359:, a formulation of the theory of concurrent, communicating processes
207:, specifies the rules of inference governing the logic of predicates
80:, deposits of calcium phosphate salts on teeth, also known as tartar
417:
270:, a method for constructing formal proofs used in first-order logic
97:
86:, a stone formed in the body such as a gall stone or kidney stone
461:
236:, a framework for describing relations within a dynamic system
385:, a way of refining models of programs into efficient programs
311:, used to solve differential equations arising in electronics
248:, a model for describing relations within a dynamic system
225:, a proof calculus based on graph-style structures called
213:, a framework for expressing systems of logical inference
176:, a field of study that deals with extremizing functionals
169:, the combinatorics of certain operations on polynomials
131:, a way to apply various types of functions to operators
34:) in its most general sense is any method or system of
242:, a model for reasoning about events and their effects
438:, a fictional character in the comic-strip series
182:An extension of calculus to stochastic processes.
100:), which investigates motion and rates of change
487:
470:page lists articles associated with the title
299:, used in optics to describe polarized light
459:
402:
396:
367:, a calculus for the relational data model
67:, a genus and species of small land snails
219:, a proof calculus for first-order logic
488:
293:, a method used in relativity theory
457:Topics referred to by the same term
13:
315:
121:Calculus of sums and differences (
96:Infinitesimal calculus (or simply
14:
507:
389:
59:, a genus of the family Oonopidae
460:
137:, a branch of algebraic geometry
90:
1:
7:
445:
71:
10:
512:
371:Domain relational calculus
280:
47:
28:meaning ‘pebble’, plural
440:The Adventures of Tintin
186:
452:List of calculus topics
424:Calculus of negligence
403:
397:
199:Propositional calculus
174:calculus of variations
256:Calculus of relations
114:Non-standard calculus
104:Differential calculus
496:Disambiguation pages
414:Battlefield calculus
409:Roman counting token
309:Operational calculus
268:Fitch-style calculus
383:Refinement calculus
365:Relational calculus
129:Functional calculus
123:difference operator
84:Calculus (medicine)
436:Professor Calculus
430:Felicific calculus
234:Situation calculus
205:Predicate calculus
161:Numerical calculus
482:
223:Cirquent calculus
135:Schubert calculus
109:Integral calculus
78:Calculus (dental)
64:Caseolus calculus
503:
476:
464:
406:
400:
345:Ambient calculus
339:Process calculus
303:Mueller calculus
274:Modal μ-calculus
262:Epsilon calculus
217:Sequent calculus
193:Logical calculus
511:
510:
506:
505:
504:
502:
501:
500:
486:
485:
484:
483:
475:
458:
448:
392:
322:Lambda calculus
318:
316:Formal language
283:
246:Fluent calculus
189:
167:Umbral calculus
153:Matrix calculus
147:Vector calculus
141:Tensor calculus
93:
74:
50:
12:
11:
5:
509:
499:
498:
468:disambiguation
465:
456:
455:
454:
447:
444:
443:
442:
433:
427:
421:
411:
391:
390:Other meanings
388:
387:
386:
380:
379:
378:
376:Tuple calculus
373:
362:
361:
360:
354:
348:
336:
335:
334:
331:
328:Kappa calculus
317:
314:
313:
312:
306:
300:
297:Jones calculus
294:
282:
279:
278:
277:
271:
265:
259:
253:
252:
251:
250:
249:
243:
240:Event calculus
231:
230:
229:
220:
211:Proof calculus
208:
202:
188:
185:
184:
183:
177:
170:
164:
158:
157:
156:
150:
138:
132:
126:
119:
118:
117:
111:
106:
92:
89:
88:
87:
81:
73:
70:
69:
68:
60:
49:
46:
44:may refer to:
9:
6:
4:
3:
2:
508:
497:
494:
493:
491:
480:
479:internal link
473:
469:
463:
453:
450:
449:
441:
437:
434:
431:
428:
425:
422:
419:
415:
412:
410:
405:
399:
394:
393:
384:
381:
377:
374:
372:
369:
368:
366:
363:
358:
355:
352:
351:Join calculus
349:
346:
343:
342:
340:
337:
332:
329:
326:
325:
323:
320:
319:
310:
307:
304:
301:
298:
295:
292:
290:
285:
284:
275:
272:
269:
266:
263:
260:
257:
254:
247:
244:
241:
238:
237:
235:
232:
228:
224:
221:
218:
215:
214:
212:
209:
206:
203:
200:
197:
196:
194:
191:
190:
181:
178:
175:
171:
168:
165:
162:
159:
154:
151:
148:
145:
144:
142:
139:
136:
133:
130:
127:
124:
120:
115:
112:
110:
107:
105:
102:
101:
99:
95:
94:
85:
82:
79:
76:
75:
66:
65:
61:
58:
56:
52:
51:
45:
43:
39:
37:
33:
32:
27:
26:
22:
18:
471:
439:
288:
226:
180:Itô calculus
62:
54:
41:
40:
29:
23:
16:
15:
91:Mathematics
36:calculation
357:π-calculus
291:-calculus
227:cirquents
490:Category
472:Calculus
446:See also
418:military
398:calculus
98:calculus
72:Medicine
57:(spider)
55:Calculus
42:Calculus
25:calculus
17:Calculus
404:calculi
281:Physics
48:Biology
31:calculī
477:If an
287:Bondi
19:(from
466:This
407:), a
401:(pl.
187:Logic
21:Latin
172:The
38:.
492::
416:,
395:a
474:.
289:k
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.