£49.90

Springer Mathematics in Programming

Name: Mathematics in Programming
Brand: Springer
Price: 45.09 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 22 days • 22 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (15 days, 68.2%)

Price range: £45 - £50

Price levels: 2 different prices over 22 days

Description

The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as recursion, computation model, types, data, and etc. The book serves as an introductory and reference guide to the engineers, students, researchers, and professionals who are interested in functional programming, type system, and computer programming languages. The book covers seven topics. Firstly, it lays out the number system based on Peano Axioms and demonstrates the isomorphic computer data structures. Then, it introduces Lambda calculus as a computing model and recursion, an important programming structure, with the Y-combinator. It next presents the basic abstract algebra, including group and fields, and provides a friendly introduction to Galois theory. After that, it uses category theory as a tool to explain several concepts in computer programming, including the type system, polymorphism, null handler, and recursive data types, then followed by an application of program optimization. In the last two chapters, the author shows how to program with the concept of infinity through stream and lazy evaluation, and then explains the naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gödel’s incompleteness theorems developed in 1930s, and how they define the boundaries of computer programming. Additionally, the book provides biographies, stories, and anecdotes of 25 mathematicians, along with over 130 exercises and their corresponding answers.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9819724317
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 11 July 2024
Listed Since: 14 March 2024

Barcode

No barcode data available

Springer Mathematics in Programming

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Thinking About Programs (ACM Books)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Mathematical Foundations of Computer Science

Computability

Theory of Computation

Language Computability and Formal Language Theory

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

A Programming Approach to Computability (Monographs in Computer Science)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus (Universitext)

The Foundations of Computability Theory

CRC Press - Introduction to Recursive Programming Book

Introduction to Recursive Programming

An Introduction to Ramsey Theory: Fast Functions, Infinity, and Metamathematics (Student Mathematical Library)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

I Want to be a Mathematician: An Automathography

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results