Home  - Science - Calculus

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

101-120 of 176    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Calculus:     more books (100)

Study Guide for Stewart's Single Variable Calculus: Concepts and Contexts, 4th by James Stewart, 2009-10-14 Single Variable Calculus: Early Transcendentals Student Solutions Manual by Jon Rogawski, 2007-08-09 The Manga Guide to Calculus by Hiroyuki Kojima, Shin Togami, et all 2009-08-12 Vector Calculus Student Solutions Manual by Susan J Colley, 2005-09-02 Calculus for Cats by Kenn Amdahl, Jim Loats, 2001-09-07 Calculus Demystified : A Self Teaching Guide (Demystified) by Steven Krantz, 2002-08-01 Advanced Calculus by David Widder, 2009-01-23 Calculus: Early Transcendentals by Jon Rogawski, 2007-06-22 Single Variable Calculus Early Transcendentals - Student Solutions Manual by Daniel Anderson, Jeffery A. Cole, et all 2003-06 Calculus For Biology and Medicine (3rd Edition) (Calculus for Life Sciences Series) by Claudia Neuhauser, 2010-01-13 Calculus (update) by Robert T Smith, Roland B Minton, 2002-07-30 Multivariable Calculus: Concepts and Contexts (Stewart's Calculus Series) by James Stewart, 2009-03-11 The Calculus Gallery: Masterpieces from Newton to Lebesgue by William Dunham, 2008-07-01 Calculus On Manifolds: A Modern Approach To Classical Theorems Of Advanced Calculus by Michael Spivak, 1971-01-22

lists with details

101. Transferring You To The Math Resource Pages
     A mathematics reference collection of K through 14 math tables, facts, definitions, formulas and explanations from general math through college calculus.  
     http://www.hoxie.org/math/title.htm

102. ESAIM: Control, Optimisation And Calculus Of Variations
     Journal home page. Control, Optimisation and calculus of Variations (read more about ESAIM). Control theory modeling, optimal control  
     http://www.edpsciences.org/journal/index.cfm?edpsname=cocv

103. On The Pi-Calculus And Linear Logic - Bellin, Scott (ResearchIndex)
     (CiteSeer) Article by Bellin and Scott showing how classical linear logic may be interpreted in the pi calculus, thus supporting Abramksy's `Proofs as Processes' thesis.  
     http://citeseer.nj.nec.com/bellin92calculus.html
     
     Extractions: Abstract: We detail Abramsky's "proofs-as-processes" paradigm for interpreting classical linear logic (CLL) [13] into a "synchronous" version of the -calculus recently proposed by Milner [27, 28]. The translation is given at the abstract level of proof structures. We give a detailed treatment of information flow in proof-nets and show how to mirror various evaluation strategies for proof normalization. We also give Soundness and Completeness results for the process-calculus translations of various... (Update)

104. The Yacas Computer Algebra System
     Acronym for Yet Another Computer Algebra System, an opensource software package. Supports arbitrary precision arithmetic, matrices, and differential and integral calculus.  
     http://www.xs4all.nl/~apinkus/yacas.html
     
     Extractions: Yacas is a general purpose easy to use Computer Algebra System (a CAS is a program that can be used to do symbolic manipulation of mathematical expressions). It is built on top of its own programming language designed for this purpose, in which new algorithms can easily be implemented. In addition, it comes with extensive documentation on the functionality implemented and methods used to implement them.

105. Foreword
     next up previous contents index Next These Notes Up Advanced calculus and Analysis Previous Advanced calculus and Analysis Contents Index Foreword.  
     http://www.maths.abdn.ac.uk/~igc/tch/ma2001/notes/node1.html

106. UBC Calculus Online Homepage
     The UBC calculus Online Homepage. Welcome to UBC calculus Online. This site is an online supplement to Math 100, Sections 103, 104  
     http://www.ugrad.math.ubc.ca/coursedoc/math100/

107. UBC Calculus Online
     The UBC calculus Online Homepage. Welcome to UBC calculus Online. This site is an online supplement to Math 101 being taught within  
     http://www.ugrad.math.ubc.ca/coursedoc/math101/

108. FREE Mathematics How-to Library - Math Homework Help – Math Tutor Software
     Offers help with algebra, geometry, calculus, fractions, functions, gradient, money and trigonometry problems. Includes worked examples and download files.  
     http://www.teacherschoice.com.au/mathematics_how-to_library.htm
     
     Extractions: Teachers' Choice Software home page Stuck on your homework ? No problem! Get help FAST with your mathematics and physics questions. We provide personalized , professional tutoring in high school mathematics and physics. We can help you now ! Select a category from the table below, or scroll this page to view the topic headings.

109. Lambda Calculus - Wikipedia, The Free Encyclopedia
     Lambda calculus. From Wikipedia, the free encyclopedia. The lambda calculus is be valid. Arithmetic in lambda calculus. There are  
     http://en.wikipedia.org/wiki/Lambda_calculus
     
     Extractions: Other languages: Deutsch Nederlands Polski From Wikipedia, the free encyclopedia. The lambda calculus is a formal system designed to investigate function definition, function application and recursion . It was introduced by Alonzo Church and Stephen Kleene in the 1930s; Church used the lambda calculus in 1936 to give a negative answer to the Entscheidungsproblem . The calculus can be used to cleanly define what a "computable function" is. The question of whether two lambda calculus expressions are equivalent cannot be solved by a general algorithm, and this was the first question, even before the halting problem , for which undecidability could be proved. Lambda calculus has greatly influenced functional programming languages , especially Lisp The lambda calculus can be called the smallest universal programming language. The lambda calculus consists of a single transformation rule (variable substitution) and a single function definition scheme. The lambda calculus is universal in the sense that any computable function can be expressed and evaluated using this formalism. It is thus equivalent to Turing machines. However, the lambda calculus emphasizes the use of transformation rules, and does not care about the actual machine implementing them. It is an approach more related to software than to hardware. This article deals with the "untyped lambda calculus" as originally conceived by Church. Since then, some

110. Luke Ong
     Merton College, Oxford Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.  
     http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html

111. Calculus - Wikipedia, The Free Encyclopedia
     calculus. From Wikipedia, the free encyclopedia. calculus is a branch of mathematics, developed from algebra and geometry. calculus  
     http://en.wikipedia.org/wiki/Calculus
     
     Extractions: Other languages: Deutsch Esperanto Bahasa Indonesia Nederlands ... Simple English From Wikipedia, the free encyclopedia. Topics in calculus Fundamental Theorem Function Limits of functions Continuity ... Stokes' Theorem Calculus is a branch of mathematics , developed from algebra and geometry . Calculus focuses on rates of change (within functions ), such as accelerations curves , and slopes . The development of calculus is credited to Archimedes Leibniz and Newton ; lesser credit is given to Barrow Descartes de Fermat Huygens , and Wallis . Fundamental to calculus are derivatives integrals , and limits . One of the primary motives for the development of modern calculus was to solve the so-called " tangent line problem There are two main branches of calculus: Differential calculus is concerned with finding the instantaneous rate of change (or derivative ) of a function's value , with respect to changes within the function's arguments . Another application of differential calculus is Newton's method , an algorithm to find zeros of a function by approximating the function by its tangent.

112. Lee Lady: Topics In Calculus
     A set of downloadable lectures.  
     http://www.math.hawaii.edu/~lee/calculus/#Series-Sol
     
     Extractions: In my opinion, calculus is one of the major intellectual achievements of Western civilization - in fact of world civilization. Certainly it has had much more impact in shaping our world today than most of the works commonly included in a Western Civilization course books such as Descartes's Discourse on Method or The Prince by Machiavelli. But at most universities, we have taken this magnificent accomplishment of the human intellect and turned it into a boring course. Sawyer's little book What Is Calculus About? (Another book in the same vein, but more recent, is The Hitchhiker's Guide to Calculus by Michael Spivak.) For many of us mathematicians, calculus is far removed from what we see as interesting and important mathematics. It certainly has no obvious relevance to any of my own research, and if it weren't for the fact that I teach it, I would long ago have forgotten all the calculus I ever learned. But we should remember that calculus is not a mere ``service course.'' For students, calculus is the gateway to further mathematics. And aside from our obligation as faculty to make all our courses interesting, we should remember that if calculus doesn't seem like an interesting and worthwhile subject to students, then they are unlikely to see mathematics as an attractive subject to pursue further.

113. Java At Xanadu
     Dale Greer s Bouncy Balls. calculus. Applets for experimenting with graphs of functions, and notions like limits, tangents, derivatives, arc length, and area.  
     http://xanadu.math.utah.edu/java/

114. The Calculus Of Structures - Modal Logics
     Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.  
     http://alessio.guglielmi.name/res/cos/ML/
     
     Extractions: Charles Stewart and Phiniki Stouppa The family of normal propositional modal logic systems are given a very systematic organisation by their model theory. This model theory is generally given using frame semantics, and it is systematic in the sense that for the most important systems we have a clean, exact correspondence between their constitutive axioms as they are usually given in a Hilbert-Lewis style and conditions on the accessibility relation on frames. By contrast, the usual structural proof theory of modal logic, as given in Gentzen systems, is ad-hoc. While we can formulate several modal logics in the sequent calculus that enjoy cut-elimination, their formalisation arises through system-by-system fine tuning to ensure that the cut-elimination holds, and the correspondence to the formulation in the Hilbert-Lewis systems becomes opaque. This paper introduces a systematic presentation for the systems K, D, M, and S4 in the calculus of structures, a structural proof theory that employs deep inference. Because of this, we are able to axiomatise the modal logics in a manner directly analogous to the Hilbert-Lewis axiomatisation. We show that the calculus possesses a cut-elimination property directly analogous to cut-elimination for the sequent calculus for these systems, and we discuss the extension to several other modal logics.

115. Calculus Tutorial - Harvey Mudd College Mathematics Department
     Tutorials covering precalculus, calculus, multivariable calculus, linear algebra and differential equations.  
     http://www.math.hmc.edu/calculus/

116. Dr. Vogel's Gallery Of Calculus Pathologies
     next Next Introduction. Dr. Vogel s Gallery of calculus Pathologies. Introduction; First semester calculus A function which is continuous at only one point.  
     http://www.math.tamu.edu/~tom.vogel/gallery/gallery.html

117. School Principals Guide To Student Math Improvement
     A free tutorial that explains difficult algebra, trigonometry and calculus concepts to beginning middle/high school students in a simplified way that they can understand and use.  
     http://members.tripod.com/learnmath/
     
     Extractions: As a School Principal you are looked upon for leadership to show and direct teachers how to be accountable for high academic standards. Today, any School Principal attempting to meet this difficult goal faces new questions and challenges. To help answer those questions the Educational Research Institute is pleased to bring you a breakthrough Professional Development Mathematics and Science Support Training Program part of the Math 2002' teacher training program, that, for the first time, gives teachers and administrators, an understandable, bare facts, overview of the math knowledge necessary to determine where to take your students to raise the schools academic levels. The use of this breakthrough program is intended to save your school considerable time and money.

118. `The Calculus Of Logic' By George Boole
     `The calculus of Logic by George Boole. The calculus of Logic by George Boole, first published in The Cambridge and Dublin Mathematical Journal , vol.  
     http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/

119. A Non Functional Calculus: Linear Logic And Concurrency (ResearchIndex)
     (CiteSeer) This paper proposes the *calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach.  
     http://citeseer.nj.nec.com/313007.html
     
     Extractions: Abstract: this paper to an interaction mechanism inspired to the computational behaviour of proof nets, a deduction system of linear logic [7]. In this setting the conclusion of a derivation is the type of the corresponding proof net. The computational mechanism is cut elimination that can only occur between terms with the same type. The relationship between proof nets and processes have already been studied in the literature. Abramsky interprets proof as processes and consider a cut-elimination as... (Update)

120. The Calculus Of Logic
     The calculus of Logic. George Boole. Cambridge and Dublin Mathematical Journal Vol. III (1848), pp. 18398. Laws of Syllogism deduced from the Elective calculus.  
     http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html
     
     Extractions: Vol. III (1848), pp. 183-98 In a work lately published I have exhibited the application of a new and peculiar form of Mathematics to the expression of the operations of the mind in reasoning. In the present essay I design to offer such an account of a portion of this treatise as may furnish a correct view of the nature of the system developed. I shall endeavour to state distinctly those positions in which its characteristic distinctions consist, and shall offer a more particular illustration of some features which are less prominently displayed in the original work. The part of the system to which I shall confine my observations is that which treats of categorical propositions, and the positions which, under this limitation, I design to illustrate, are the following: (1) That the business of Logic is with the relations of classes, and with the modes in which the mind contemplates those relations. (2) That antecedently to our recognition of the existence of propositions, there are laws to which the conception of a class is subject, - laws which are dependent upon the constitution of the intellect, and which determine the character and form of the reasoning process. (3) That those laws are capable of mathematical expression, and that they thus constitute the basis of an interpretable calculus.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

101-120 of 176    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | Next 20