calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
531	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 15:43:30 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Model theory Philosophy Symbol
532	Math 2574H Honors Calculus IV Spring Semester 2016 Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2016-03-02 12:30:58 Algebra Mathematics Linear algebra Abstract algebra Vectors Vector calculus Linear independence Euclidean vector Vector space Linear span Basis Calculus
533	Fractional Calculus: differentiation and integration of non-integer order Marcus Webb Oxford University May 9, 2012 Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2012-05-09 06:52:22 Mathematical analysis Mathematics Analysis Functions and mappings Fractional calculus Differentiation rules Differential calculus Calculus Integral Gamma function Power rule Derivative
534	Universidade do Minho Escola de Engenharia Hugo José Pereira Pacheco Bidirectional Data Transformation by Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2015-05-31 17:04:07 Lambda calculus Corrective lenses Combinatory logic Logic in computer science Bidirectional transformation Progressive lens Mathematics
535	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
536	UNIVERSITY OF ILLINOIS LABORATORY HIGH SCHOOLFACULTY LOCATOR – SPRING Semester Staff Info 1st Period 8:00-8:45 Add to Reading List Source URL: www.uni.illinois.edu Language: English - Date: 2016-03-08 09:08:55
537	Directional Field Synthesis, Design, and Processing Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2016-04-21 15:48:14 Mathematics Algebra Mathematical analysis Differential geometry Differential topology Vector calculus Connection Vectors Vector Curl Tangent space Differentiable manifold
538	Hill equations E.J.O. Schrama TU Delft, Faculty of Aerospace Engineering e-mail: November 13, 2006 Add to Reading List Source URL: www.deos.tudelft.nl Language: English - Date: 2006-11-13 07:56:08 Mathematical analysis Mathematics Calculus Constructible universe Lie algebras Envelope Partial differential equation
539	Abstract This paper shows how parallel processing may improve the computational efficiency of the transient dynamic non-linear analysis of reinforced concrete plates subjected to blast loading. The results presented in t Add to Reading List Source URL: www.civil-comp.com Language: English - Date: 2012-02-29 05:55:05 Numerical analysis Domain decomposition methods Partial differential equations Calculus Parallel computing Finite element method Mathematical analysis Structural analysis NeumannNeumann methods
540	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.nocrew.org Language: English - Date: 2013-05-15 16:15:14 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope

UPDATE