Calculus in een zin

Er zijn oplossingen bekend voor het frame-probleem in onder andere de situation calculus, fluent calculus en event calculus.

Opgeleid als wiskundige in Delft, wil hij met logica proberen een morele calculus te ontwikkelen voor AI-systemen.

In 1925 wisselde Peano onofficieel van leerstoel, overstappend van Infinitesimale Calculus op Complementaire Wiskunde, een vakgebied dat hem op dat moment beter lag.

Sommige getypeerde lambdacalculi, zoals de tweede orde lambda calculus, zijn niet turingvolledig.

Vanaf 1882 was Peano feitelijk verantwoordelijk voor het vak Infinitesimale Calculus, wat hij te danken had aan Genocchi's gebrekkige gezondheid.

Naast algebra heb je ook nog calculus, wat is uitgevonden door I. Newton.

Het onderdeel calculus, fundament van de natuurwetenschappen, verdient meer aandacht dan de knoppenkunst die er op een grafische rekenmachine voor nodig is.

Het zijn allemaal ideeën die in hun tijd zo vooruitstrevend waren dat ze vrijwel automatisch toegeschreven werden aan hun bedenker: Einsteins relativiteitstheorie, de Mendeliaanse genetica, Gutenbergs drukpers, Newtons of Leibniz' calculus.

Hij ontwikkelde samen met (maar onafhankelijk van) Isaac Newton een tak van de wiskunde die bekend staat als de 'calculus' (differentiaal- en integraalrekening).

De rekenopdrachten zijn onderverdeeld in verschillende categorieen, waaronder lineaire algebra, statistiek, trigonometrie en calculus.

Beiden claimden dat ze het brachistochrone probleem als eerste hadden opgelost, en ze bleven over dit soort zaken ruziën tijdens de verdere ontwikkeling van de calculus.

Caseolus calculus is een slakkensoort uit de familie van de Hygromiidae.

De drie volgende jaren maakte Leibniz een enorme wiskundige ontwikkeling door en ontdekte hij de fundamentele principes van de calculus.

Echter, sommige getypeerde lambda-calculi, zoals de tweede orde lambda calculus, zijn niet Turing-volledig.

Het Automath-systeem bevatte vele nieuwe ideeën die later werden overgenomen of opnieuw werden uitgevonden op gebieden zoals de getypeerde lambda-calculus en de expliciete substitutie.

Het belangrijkste stochastisch proces waarop de stochastische calculus wordt toegepast is het Wienerproces (genoemd naar Norbert Wiener ), dat kan dienen voor het beschrijven van de Brownse beweging.

In tegenstelling tot de verwachtingen bleek het slechte nieuws van Park en Landin het begin van een geheel nieuwe tak van lambdacalculus die niet alleen wel een accuraat model van berekening bleek, maar zelfs veelzijdiger was dan de al bekende calculus.

Needham, Volume 3, 143. Er zijn ook aanwijzingen dat hij aan vroege vormen van calculus werkte.

The Calculus of Consent beargumenteerd dat beslissingen van de overheid onderdeel zijn van de economie.

Werk Buchanans boek The Calculus of Consent, dat hij samen schreef met Gordon Tullock en publiceerde in 1962, wordt gezien als een van de klassieke werken die bij heeft gedragen aan de publieke keuze-theorie.