Advertisement

Expert F# 3.0 pp 295-329 | Cite as

Symbolic Programming with Structured Data

  • Don Syme
  • Adam Granicz
  • Antonio Cisternino

Abstract

Symbols are everywhere. Numbers are symbols that stand for quantities, and you can add, multiply, or take square roots of numbers that are so small or large that it’s hard to imagine the quantity they represent. You can solve equations, multiply polynomials, approximate functions using series, and differentiate or integrate numerically or symbolically—these are just a few everyday examples of using symbols in mathematics.

Keywords

Propositional Logic Abstract Syntax Full Adder Propositional Formula Binary Decision Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Don Syme, Adam Granicz, and Antonio Cisternino 2012

Authors and Affiliations

  • Don Syme
  • Adam Granicz
  • Antonio Cisternino

There are no affiliations available

Personalised recommendations