calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
831	UNIVERSITY OF CALIFORNIA, LOS ANGELES ANDERSON SCHOOL OF MANAGEMENT Mathematics, Statistics & Probability Online Preparatory Course (August 1, 2016 – October 7, 2016) Add to Reading List Source URL: www.anderson.ucla.edu Language: English - Date: 2016-08-20 04:10:47 Differential equations Multivariable calculus Mathematical finance Quantitative analyst Calculus Stochastic differential equation Statistics Logistic regression Mathematical economics Partial differential equation Equation Stochastic calculus
832	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form
833	Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 15:51:54 Theoretical computer science Symposium on Principles of Programming Languages SIGPLAN ACM SIGACT Gradual typing Lambda calculus
834	S ÉMINAIRE DE PROBABILITÉS (S TRASBOURG ) JAY S. ROSEN Second order limit laws for the local times of stable processes Séminaire de probabilités (Strasbourg), tome), p. Add to Reading List Source URL: www.math.csi.cuny.edu Language: English - Date: 2009-05-03 17:55:26 Stochastic processes Lemmas Local time Stochastic calculus Peetre theorem Heat equation
835	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
836	How Euler Did It by Ed Sandifer Foundations of Calculus September 2006 As we begin a new academic year, many of us are introducing another generation of students to the magic of calculus. As always, those of us who teach Add to Reading List Source URL: eulerarchive.maa.org Language: English - Date: 2013-11-04 12:20:24 Infinity Calculus Non-standard analysis Mathematical analysis Differential calculus Infinitesimal Derivative Joseph-Louis Lagrange Differential Transcendental number Pi Gottfried Wilhelm Leibniz
837	AP Calculus BC Course Planning and Pacing Guide: Arrigo Add to Reading List Source URL: secure-media.collegeboard.org Language: English - Date: 2015-11-11 12:44:58 Functions and mappings Mathematics education Calculus AP Calculus Differential calculus Integral Multivariable calculus Advanced Placement Limit of a function Power rule Mathematical analysis Lambda calculus
838	Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Joint work with Francisco Martins Vasco T. Vasconcelos Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Theoretical computer science Process calculi -calculus Processor register Thread
839	Microsoft PowerPoint - Lect-interpv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-23 09:14:19 Lambda calculus Functional programming Control flow Eval Data types Scheme Anonymous function Apply Standard ML
840	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell

UPDATE