X-Nico

unusual facts about modal mu-calculus



0.999...

Joseph Mazur tells the tale of an otherwise brilliant calculus student of his who "challenged almost everything I said in class but never questioned his calculator," and who had come to believe that nine digits are all one needs to do mathematics, including calculating the square root of 23.

Ambient calculus

In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility.

Analysis on fractals

Analysis on fractals or calculus on fractals is a generalization of calculus on smooth manifolds to calculus on fractals.

Apple Dylan

Apple Dylan was code-named Leibniz (a pun, of sorts, since Gottfried Leibniz and Isaac Newton are credited as the inventors of calculus).

Ars Conjectandi

Even the afterthought-like tract on calculus has been quoted frequently; most notably by the Scottish mathematician Colin Maclaurin.

Binomial type

Probabilistic and Analytical Aspects of the Umbral Calculus, Amsterdam, CWI, 1997.

Borduria

In The Calculus Affair (1956), Borduria is depicted as a stereotypical half-Eastern Bloc and half-fascist country complete with its own secret police (ZEP) (led by Colonel Sponsz) and a fascist military dictator, Marshal Kûrvi-Tasch, who promotes a Taschist ideology.

Bruce Kozerski

He is teaching at Holy Cross High School in Covington, Kentucky as a geometry, pre-calculus, and calculus teacher.

Calculus Made Easy

Calculus Made Easy is a book on infinitesimal calculus originally published in 1910 by Silvanus P. Thompson, considered a classic and elegant introduction to the subject.

Calculus the Musical

The musical used the story of the development of Calculus to tie together songs that Marc had created as mnemonics when he was a teacher.

"Calculus: The Musical! is a comic “review” of the concepts and history of Calculus."

Canyon Crest Academy

In addition to AP Calculus AB and AP Calculus BC, CCA offers Calculus III and Linear algebra on campus through San Diego State University's College of Extended Studies.

Carl Gugasian

He is serving his time at the Federal Correctional Institution at Fairton, New Jersey, where he teaches calculus to other inmates.

Dublin School

Courses include chemistry, biology, marine biology, algebra, pre-calculus, calculus, statistics, Spanish, French, Latin, Mandarin, world history, American history, economics and English, various AP courses, and various electives in each category.

General Algebraic Modeling System

the 1970s, TRW developed a system called PROSE that took the ideas of chemical engineers to compute point derivatives that were exact derivatives at a given point, and to embed them in a consistent, Fortran-style calculus modeling language.

Helmholtz theorem

Helmholtz decomposition, also known as the fundamental theorem of vector calculus

Hergé's Adventures of Tintin

Larry Harmon - Tintin, Professor Calculus (Objective Moon and The Crab With the Golden Claws)

Hug High School

Today Hug offers classes in English, from English as a Second Language up to Advanced Placement levels, mathematics from Algebra I to Calculus AB, sciences such as Biology, Chemistry and Physics, Spanish, French, Industrial arts and physical education, as well as numerous elective courses.

Hunt Emerson

A trip to the U.S. put him in touch with Rip Off Press who published his Thunderdogs, comic book for the underground market; while Don and Maggie Thompson included him in their mini-comic series, for which he created Calculus Cat, and he later contributed to their Eclipse Monthly magazine.

Infinitesimal

In the second half of the nineteenth century, the calculus was reformulated by Augustin-Louis Cauchy, Bernard Bolzano, Karl Weierstrass, Cantor, Dedekind, and others using the (ε, δ)-definition of limit and set theory.

International School of Beaverton

The school offers various standard courses in the areas of English (aka. Writing, or Literature), Math (such as Algebra I, Geometry, Algebra II, Calculus, Trigonometry, et cetera), Science, (such as Biology or Chemistry), Social or Global Studies (with areas such as World History, US History, and Humanities), Physical Education and Health, as well as electives such as "Band", "Art", or "Choir".

Jan Mikusiński

His operational calculus is based upon an algebra of the convolution of functions with respect to the Fourier transform.

Jenny Harrison

The methods apply equally well to domains such as soap films, fractals, charged particles, and Whitney stratified spaces, placing them on the same footing as smooth submanifolds in the resulting calculus.

John Hymers

In particular, his Differential Equations and the Calculus of Finite Differences (1839) incorporated the new solution of the Laplacian equation for the figure of the earth as given by Thomas Gaskin in symbolic form; it was the elaboration of this original solution by Robert Leslie Ellis in 1841 which led largely to George Boole's masterpiece On a general method in analysis in 1844 (PRS, 5, 1843–50).

Jolyon Wagg

Wagg appears four times in The Calculus Affair: inviting himself inside Marlinspike Hall, interfering with a critical radio transmission (Haddock was attempting to call the police while pursuing Calculus's captors but Wagg assumed that he was joking), repeatedly interrupting Haddock's phone call to Nestor, and moving into the Marlinspike Hall with his family for a holiday while Tintin, Haddock and Calculus are away.

Jones calculus

In optics, polarized light can be described using the Jones calculus, discovered by R. C. Jones in 1941.

June Martino

As a WAC, June studied electronics at Northwestern University, learning trigonometry and calculus through extensive tutoring, since she had no special aptitude for higher math.

Lehman Catholic High School

Advanced Placement program in Calculus, English, Foreign Language, Biology, Chemistry, and College-preparatory in all other subject areas for grades 9-12.

Leon Henkin

"The Completeness of the First-Order Functional Calculus", Journal of Symbolic Logic.

Math 55

In 1994, 89 students took the test given after 3 weeks: students scoring more than 50% on the quiz could enroll in Wilfried Schmid's Math 55 (15 students), students scoring between 10 and 50% could stay in Benedict Gross's Math 25 (55 students), and students scoring less than 10% were advised to enroll in a lower-level course such as Math 21, multivariate calculus (19 students).

Natural logarithm

Pietro Mengoli and Nicholas Mercator called it logarithmus naturalis a few decades before Newton and Leibniz developed calculus.

Pierre Geneves

After a post-doctorate at the Swiss Federal Institute of Technology in 2007, he joined CNRS where he studied and contributed to the field of modal logics, like the modal mu-calculus, that he used for modeling query languages, and allow for the automated reasoning about programs that manipulate structured data.

Poughkeepsie High School

The school offers AP courses in the following subjects: Biology, Calculus AB, English Literature, French Language, Spanish Language, and United States History.

Regge calculus

The calculus was introduced by the Italian theoretician Tullio Regge in the early 1960s.

In general relativity, Regge calculus is a formalism for producing simplicial approximations of spacetimes that are solutions to the Einstein field equation.

Reism

Reism or concretism is a philosophical theory of Tadeusz Kotarbiński, based on the ontology of Stanislaw Lesniewski, specifically, his "calculus of names".

Soundview Preparatory School

The school offers a variety of courses, including, but not limited to, Algebra, Geometry, Calculus, English, Physics, Chemistry, Biology, American History, World Civilization I and II, AP European History, AP US History, AP US Government, Psychology, and Art.

Southridge School

Southridge School has a typical K-12 curriculum, including for the Senior school students: Physics, Chemistry and Biology (taught with British Columbia standards), and AP courses in these fields as well as in History, Literature and Calculus.

Stratonovich integral

Unlike the Itō calculus, Stratonovich integrals are defined such that the chain rule of ordinary calculus holds.

Subject-oriented business process management

The S-BPM methodology in its essence is based on the CCS-Calculus of Robin Milner.

Sylvestre François Lacroix

In 1812 Babbage set up The Analytical Society for the translation of Differential and Integral Calculus and the book was translated into English in 1816 by George Peacock.

Tautochrone curve

Jakob Bernoulli solved the problem using calculus in a paper (Acta Eruditorum, 1690) that saw the first published use of the term integral.

The Big Bad Swim

Amy Pierson (Paget Brewster) is a calculus teacher going through a divorce with her husband, Paul (Grant Aleksander).

TI-89 series

In the United States, the TI-89 is allowed by the College Board on all calculator-permitted tests, including the SAT, some SAT Subject Tests, and the AP Calculus, Physics, Chemistry, and Statistics exams.

Umbral calculus

In the 1970s, Steven Roman, Gian-Carlo Rota, and others developed the umbral calculus by means of linear functionals on spaces of polynomials.

University of Altdorf

The polymath Gottfried Wilhelm Leibniz (1646–1716), perhaps most famous for co-discovering calculus, received his Ph.D. from the University of Altdorf for his habilitation thesis in philosophy, On the Art of Combinations.

Vector calculus

Vector calculus was developed from quaternion analysis by J. Willard Gibbs and Oliver Heaviside near the end of the 19th century, and most of the notation and terminology was established by Gibbs and Edwin Bidwell Wilson in their 1901 book, Vector Analysis.

Werner Cabrera

According to the newspaper, his educational background has been criticized by his political opponents, who have deemed it unsatisfactory due to his repeated failure to pass Meteorology and Calculus among other courses.


see also