Books like Mathematical foundations of programming by Frank S. Beckman


Frank S. Beckman's 'Mathematical Foundations of Programming' offers an in-depth study of the theoretical foundations essential to computer science. The book systematically covers symbolic and mathematical logic, the theory of formal languages, and the conceptual framework of electronic digital computers and machine theory, making it a valuable resource for both students and professionals seeking a rigorous mathematical perspective on programming.
First publish date: 1980
Genre: Technology & Computing/Computer Science
Authors: Frank S. Beckman
★ ★ ★ ★ ★ 0.0 (0 community ratings)

Mathematical foundations of programming by Frank S. Beckman

How are these books recommended?

The books recommended for Mathematical foundations of programming by Frank S. Beckman are shaped by reader interaction. Votes on how closely books relate, user ratings, and community comments all help refine these recommendations and highlight books readers genuinely find similar in theme, ideas, and overall reading experience.


Have you read any of these books?
Your votes, ratings, and comments help improve recommendations and make it easier for other readers to discover books they’ll enjoy.

Books similar to Mathematical foundations of programming (15 similar books)

Introduction to the Theory of Computation by 8761929|Michael Sipser book cover

πŸ“˜ Introduction to the Theory of Computation


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 4.4 (5 ratings)
Similar? ✓ Yes 0 ✗ No 0
Discrete Mathematics and Its Applications by 7073667|Kenneth H. Rosen book cover

πŸ“˜ Discrete Mathematics and Its Applications


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 4.8 (4 ratings)
Similar? ✓ Yes 0 ✗ No 0
Elementary algebra for college students by 8834188|Irving Drooyan book cover

πŸ“˜ Elementary algebra for college students

A clear, student‑friendly algebra textbook for college courses, presenting core concepts with large problem sets for practice.

β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 3.0 (3 ratings)
Similar? ✓ Yes 0 ✗ No 0
Mathematics and plausible reasoning by 6973403|George Pólya book cover

πŸ“˜ Mathematics and plausible reasoning

Mathematics and Plausible Reasoning is a widely respected mathematics textbook that explores logical methods and reasoning strategies essential for problem solving and the teaching of mathematics.

β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 4.0 (3 ratings)
Similar? ✓ Yes 0 ✗ No 0
Beginning logic by 6738660|E. J. Lemmon book cover

πŸ“˜ Beginning logic


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 2.5 (2 ratings)
Similar? ✓ Yes 0 ✗ No 0
Statistical reasoning for the behavioral sciences by 8833972|Richard J. Shavelson book cover

πŸ“˜ Statistical reasoning for the behavioral sciences

A concise textbook that teaches statistical reasoning tailored for research in the behavioral sciences, covering foundational concepts, inference, and design methods and techniques for analyzing behavioral data.

β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 5.0 (1 rating)
Similar? ✓ Yes 0 ✗ No 0
First course in mathematical logic by 6337974|Patrick Suppes book cover

πŸ“˜ First course in mathematical logic


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Introduction to the foundations of mathematics by 5948168|Raymond Louis Wilder book cover

πŸ“˜ Introduction to the foundations of mathematics


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Elements of the theory of computation by 8221988|Harry R. Lewis book cover

πŸ“˜ Elements of the theory of computation

361 p. : 25 cm

β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Mathematical logic by 8734170|Willard Van Orman Quine book cover

πŸ“˜ Mathematical logic


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Theory of computation by 8761929|Michael Sipser book cover

πŸ“˜ Theory of computation


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Mathematical logic by 11582887|Joseph R. Shoenfield book cover

πŸ“˜ Mathematical logic


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
A mathematical introduction to logic by 6184226|Herbert B. Enderton book cover

πŸ“˜ A mathematical introduction to logic


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
What is mathematical logic? by 6968585|J. N. Crossley book cover

πŸ“˜ What is mathematical logic?


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0
Mathematics for Computer Science by 12737613|Eric Lehman book cover

πŸ“˜ Mathematics for Computer Science


β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜…β˜… 0.0 (0 ratings)
Similar? ✓ Yes 0 ✗ No 0

Some Other Similar Books

Formal Languages and Automata Theory by Peter Linz
Computability and Complexity by Herbert Keller
Automata Theory, Formal Languages, and Computation by J.E. Hopcroft, R. Motwani, J.D. Ullman
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan
Mathematics for Theoretical Physics by Carl M. Bender, Steven A. Orszag

Have a similar book in mind? Let others know!

Please login to submit books!