Home  Pure_And_Applied_Math  Calculus 
Page 8 141160 of 176 Back  1  2  3  4  5  6  7  8  9  Next 20 
Calculus: more books (100)  

141. PrÃ©sentation De Laurent Regnier University of Marseilles Linear logic, lambda calculus and abstract machine interpretations. http://iml.univmrs.fr/~regnier/  

142. Lambda Calculus Lambda calculus. This is a brief introduction to the lambda calculus and the interpreter; it should be used in conjunction with a book or other material. http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/  

143. Graphing Software For Data, Algebra, Calculus And Trigonometry And Solutions Of Enter first and second order nonlinear ordinary differential in analytical form. The program will generate a numerical solution to the equations and graph multiple curves on a single graph. Can also be used for algebra and calculus formulas. Includes illustrations and free demo. http://www.hanleyinnovations.com/sgstandard.html  

144. World Web Math: Vector Calculus Index Vector calculus Index, Vector Fields; Double and Triple Integrals; Surfaces; Fundamental Theorems of Vector calculus. World Web Math Main Directory. http://web.mit.edu/wwmath/vectorc/  

145. Advanced Physical Chemistry At The University Of Connecticut Contains guided readings in Advanced Physical Chemistry and Theoretical Chemistry, specifically, Quantum Mechanics and Statistical Mechanics, with an emphasis on chemical applications. Notice that Guided Reading means what it says, you can not simply read the material contained in this site, you must answer questions about the material as you proceed. These notes allow persons to review/carry out the algebra and calculus for standard quantum mechanical problems. http://www.sp.uconn.edu/~ch351vc/  

146. World Web Math: Calculus Index calculus Index. Paths Independent Study. Topics Summary; http://web.mit.edu/wwmath/calculus/  

147. Math History Thomas calculus. This calculus. Learn about the history of calculus. The history of calculus is rich and full of considerable human effort. http://occawlonline.pearsoned.com/bookbind/pubbooks/thomas_awl/chapter1/medialib  

148. An Introduction To Lambda Calculus And Scheme $Id lambda.html,v 1.2 2001/02/01 014343 jim Exp jim $ An Introduction to Lambda calculus and Scheme. Jim Larson 19960726. Formal Lambda calculus. http://www.jetcafe.org/~jim/lambda.html  

149. Project Links  Home Contains modules for probability and statistics, discreet math, linear systems and advanced calculus. Developed by the Rensselaer Polytechnic Institute. http://links.math.rpi.edu/  

150. Difference Equations To Differential Equations An introduction to calculus. A companion multivariable calculus text, The calculus of Functions of Several Variables is available here. http://math.furman.edu/~dcs/book/  

151. A CurryHoward Foundation For Functional Computation With Control  Ong, Stewart Article by C.H. L. Ong and C. A. Stewart which presents a callbyname variant of Parigot's lambdamu calculus. The calculus is proposed as a foundation for firstclass continuations and statically scoped exceptions in functional programming languages. http://citeseer.nj.nec.com/ong97curryhoward.html  

152. Multivariable Calculus In The Lab Multivariable calculus in the Lab. A collection of Maple V R3 Worksheets. Used in Math 222 at Cornell, Fall 1994. Copyright Notice. http://mathlab.cit.cornell.edu/local_maple/mvc/lecguide.html  

153. New Calculus With Maple V Homepage Address The online texts listed serve as supplements for studying calculus and Differential Equations. http://www2.ncsu.edu/eos/info/maple_info/www/ 
154. SpringerLink  Publication calculus help Search. Mathematics, calculus Tutorials Lessons Guide picks. calculus tutorials, lessons, worksheets and instructions. calculus Online http://link.springerny.com/link/service/journals/00526/ 
155. Math Homework Help  Textbook Solutions And Answers For Tutoring In Prealgebra, Solutions problems in popular US textbooks, algebra through calculus. Solutions include hints and explained steps up to and including the final answer. http://www.hotmath.org  

156. Basic Calculus Discusses the development of analytic geometry, derivative and integral functions dating from Archimedes http://www.nd.edu/~hahn/ 
157. Mathematical Sciences, Richard Statman Carnegie Mellon University Theory of computation, lambda calculus, combinatory logic. http://www.math.cmu.edu/people/fac/statman.html  

158. Calculus Resources Langara College Department of Mathematics and Statistics Internet Resources for the calculus Student Topics in calculus. http://www.langara.bc.ca/mathstats/resource/onWeb/calculus/  

159. Proof Theoretic Approach To Specification Languages  Chirimar (ResearchIndex) Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order Â calculus. http://citeseer.nj.nec.com/chirimar95proof.html  

160. SpringerLink  Publication StudyWorks! Online Interactive calculusInteractive calculus. The activities in this section will help you get a handson feel for some of the fundamental principles of calculus. http://www.springerlink.com/openurl.asp?genre=journal&issn=09442669 
Page 8 141160 of 176 Back  1  2  3  4  5  6  7  8  9  Next 20 