Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechn... read more
Customers who bought this book also bought:
Our Editors also recommend:
Computability and Unsolvability by Prof. Martin Davis Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.
Recursive Analysis by R. L. Goodstein This text by a master in the field covers recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition.
Applied Nonstandard Analysis by Prof. Martin Davis This applications-oriented text assumes no knowledge of mathematical logic in its development of nonstandard analysis techniques and their applications to elementary real analysis and topological and Hilbert space. 1977 edition.
First Course in Mathematical Logic by Patrick Suppes, Shirley Hill Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.
First Order Mathematical Logic by Angelo Margaris Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.
Foundations of Mathematical Logic by Haskell B. Curry Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition.
Introduction to Elementary Mathematical Logic by A. A. Stolyar Lucid, accessible exploration of propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. 1970 edition.
Mathematical Logic by Stephen Cole Kleene Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
Mathematical Logic: A First Course by Joel W. Robbin This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
A Profile of Mathematical Logic by Howard DeLong This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.
What Is Mathematical Logic? by J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.
Linear Programming: Methods and Applications: Fifth Edition by Dr. Saul I. Gass Comprehensive, well-organized volume, suitable for undergraduates, covers theoretical, computational, and applied areas in linear programming. Expanded, updated edition; useful both as a text and as a reference book. 1995 edition.
Mathematical Programming by Steven Vajda This classic by a well-known expert explores both theory and applications. It focuses on linear programming, in addition to other programming topics, and features numerous worked-out examples and problems. 1961 edition.
The Art of Mathematics by Jerry P. King Clear, concise, and superbly written, this book reveals the beauty at the heart of mathematics, illustrating the fundamental connection between aesthetics and mathematics. "Witty, trenchant, and provocative." — Mathematical Association of America.
A Bridge to Advanced Mathematics by Dennis Sentilles This helpful "bridge" book offers students the foundations they need to understand advanced mathematics. The two-part treatment provides basic tools and covers sets, relations, functions, mathematical proofs and reasoning, more. 1975 edition.
Great Ideas of Modern Mathematics by Jagjit Singh Internationally famous expositor discusses differential equations, matrices, groups, sets, transformations, mathematical logic, and other important areas in modern mathematics. He also describes their applications to physics, astronomy, and other fields. 1959 edition.
A History of Greek Mathematics, Volume I: From Thales to Euclid by Sir Thomas Heath First volume of an authoritative two-volume set that covers the essentials of mathematics and features every landmark innovation and every important figure, including Euclid, Apollonius, and others.
How to Solve Applied Mathematics Problems by B. L. Moiseiwitsch This workbook bridges the gap between lectures and practical applications, offering students of mathematics, engineering, and physics the chance to practice solving problems from a wide variety of fields. 2011 edition.
Introduction to Proof in Abstract Mathematics by Andrew Wohlgemuth This undergraduate text teaches students what constitutes an acceptable proof, and it develops their ability to do proofs of routine problems as well as those requiring creative insights. 1990 edition.
Makers of Mathematics by Stuart Hollingdale Each chapter of this accessible portrait of the evolution of mathematics examines the work of an individual — Archimedes, Descartes, Newton, Einstein, others — to explore the mathematics of his era. 1989 edition.
Mathematics for the Physical Sciences by Laurent Schwartz Concise treatment of mathematical entities employs examples from the physical sciences. Topics include distribution theory, Fourier series, Laplace transforms, wave and heat conduction equations, and gamma and Bessel functions. 1966 edition.
The Mathematics of Games by John D. Beasley Lucid, instructive, and full of surprises, this book examines how simple mathematical analysis can throw unexpected light on games of every type, from poker to golf to the Rubik's cube. 1989 edition.
Mathematics: The Man-Made Universe by Sherman K. Stein Highly readable volume covers number theory, topology, set theory, geometry, algebra, and analysis, plus the primes, fundamental theory of arithmetic, probability, and more. Solutions manual available upon request. 1994 edition.
Methods of Applied Mathematics by Francis B. Hildebrand Offering a number of mathematical facts and techniques not commonly treated in courses in advanced calculus, this book explores linear algebraic equations, quadratic and Hermitian forms, the calculus of variations, more.
Methods of Mathematics Applied to Calculus, Probability, and Statistics by Richard W. Hamming This 4-part treatment begins with algebra and analytic geometry and proceeds to an exploration of the calculus of algebraic functions and transcendental functions and applications. 1985 edition. Includes 310 figures and 18 tables.
The Philosophy of Mathematics: An Introductory Essay by Stephan Körner A distinguished philosopher surveys the mathematical views and influence of Plato, Aristotle, Leibniz, and Kant. He also examines the relationship between mathematical theories, empirical data, and philosophical presuppositions. 1968 edition.
The Skeleton Key of Mathematics: A Simple Account of Complex Algebraic Theories by D. E. Littlewood Straightforward explanation of abstract principles common to science and math, including Euclid's algorithm; congruences; polynomials; complex numbers and algebraic fields; algebraic integers, ideals, and p-adic numbers; groups; Galois theory; algebraic geometry; more.
The Stanford Mathematics Problem Book: With Hints and Solutions by G. Polya, J. Kilpatrick Based on Stanford University's well-known competitive exam, this excellent mathematics workbook offers students at both high school and college levels a complete set of problems, hints, and solutions. 1974 edition.
A Survey of Industrial Mathematics by Charles R. MacCluer Students learn how to solve problems they'll encounter in their professional lives with this concise single-volume treatment. It employs MATLAB and other strategies to explore typical industrial problems. 2000 edition.
Worked Problems in Applied Mathematics by N. N. Lebedev, Richard A. Silverman These 566 problems plus answers cover a wide range of topics in an accessible manner, including steady-state harmonic oscillations, Fourier method, integral transforms, curvilinear coordinates, integral equations, and more. 1965 edition.
The World of Mathematics, Vol. 1 by James R. Newman Vol. 1 of a monumental 4-volume set includes a general survey of mathematics; historical and biographical information on prominent mathematicians throughout history; material on arithmetic, numbers and the art of counting, more.
The World of Mathematics, Vol. 2 by James R. Newman Vol. 2 of a monumental 4-volume set covers mathematics and the physical world, mathematics and social science, and the laws of chance, with non-technical essays by eminent mathematicians, economists, scientists, and others.
The World of Mathematics, Vol. 3 by James R. Newman Vol. 3 of a monumental 4-volume set covers such topics as statistics and the design of experiments, group theory, the mathematics of infinity, the unreasonableness of mathematics, the vocabulary of mathematics, and more.
The World of Mathematics, Vol. 4 by James R. Newman Vol. 4 of a monumental 4-volume set covers such topics as mathematical machines, mathematics in warfare, a mathematical theory of art, mathematics of the good, mathematics in literature, mathematics and music, and amusements.
Product Description:
Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.
This book was printed in the United States of America.
Dover books are made to last a lifetime. Our US book-manufacturing partners produce the highest quality books in the world and they create jobs for our fellow citizens. Manufacturing in the United States also ensures that our books are printed in an environmentally friendly fashion, on paper sourced from responsibly managed forests.
