Elementary function arithmetic

Results: 129



#Item
1Computability theory / Functions and mappings / Recursion / Theory of computation / Proof theory / Primitive recursive function / Continuous function / Elementary function arithmetic / Arithmetic function

Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2014-04-08 12:00:27
2Computability theory / Mathematical logic / Mathematics / Theoretical computer science / Primitive recursive function / Primitive recursive arithmetic / ELEMENTARY / Reverse mathematics / Pairing function / Ackermann function / Sequence / Recursion

Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-16 09:11:59
3Mathematics / Mathematical notation / Elementary arithmetic / Exponentials / Binary operations / Exponentiation / Scientific notation / 1 / Exponential function / Group of Eight / Fraction / Decimal

Eureka Math™ Homework Helper 2015–2016 Grade 8 Module 1 Lessons 1–13

Add to Reading List

Source URL: greatminds.net

Language: English - Date: 2015-09-11 14:55:22
4Addition / Mathematics education / Fraction / Function / Sign / Equivalence relation / Equation / Relational operator / Mathematics / Elementary arithmetic / Equals sign

JOURNAL OF COGNITION AND DEVELOPMENT, 6(2), 285–306 Copyright © 2005, Lawrence Erlbaum Associates, Inc. Knowledge Change as a Function of Mathematics Experience: All Contexts are Not Created Equal

Add to Reading List

Source URL: www3.nd.edu

Language: English - Date: 2006-11-01 16:30:59
5Elementary arithmetic / Mathematical logic / Formal systems / Probability theory / Normal distribution / First-order logic / Generating function / Probability-generating function / Function / Mathematics / Logic / Binary operations

Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents

Add to Reading List

Source URL: cs.yale.edu

Language: English - Date: 2014-10-24 21:23:28
6Binary operations / Algebraic number theory / Multiset / Function / Summation / Cardinality / Number / Addition / Expected value / Mathematics / Abstract algebra / Elementary mathematics

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak LARA - I&C - EPFL emails: INR 318, Station 15, CH-1015 Lausanne, Switzerla

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2008-11-06 07:51:42
7Digital electronics / Logic / Models of computation / Elementary mathematics / Logical syntax / Finite state transducer / Flip-flop / Function / FO / Mathematics / Theoretical computer science / Automata theory

Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-04-24 05:03:43
8Elementary arithmetic / Mathematical logic / Formal systems / Probability theory / Normal distribution / First-order logic / Generating function / Probability-generating function / Function / Mathematics / Logic / Binary operations

Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2014-10-24 21:23:28
9Number theory / Elementary arithmetic / Elementary number theory / Division / Divisor / Least common multiple / Prime number / Square number / Arithmetic function / Mathematics / Integer sequences / Numbers

Number of Divisors Tanya Khovanova December 5, 2011 Class Discussion An integer has an odd number of divisors iff it is a square. An integer is square-free (not divisible by any square) iff its number of divisors is a po

Add to Reading List

Source URL: www.tanyakhovanova.com

Language: English - Date: 2012-11-06 18:07:12
10Binary arithmetic / Computer arithmetic / Function / Multiplication / Mathematics / Arithmetic / Elementary mathematics

PLOTS OF ADD, SUBTRACT, AND MULTIPLY Below are 3D plots of addition, subtraction, and three forms of multiplication, of unsigned numbers, using “computer arithmetic.” These plots were produced by Mathematica. For eac

Add to Reading List

Source URL: www.hackersdelight.org

Language: English - Date: 2004-08-05 22:36:37
UPDATE