Omslagsbillede

Mathematics in Programming

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 pr...

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Liu, Xinyu (Author)
Institution som forfatter:	SpringerLink (Online service)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Udgivelse:	1st ed. 2024.
Fag:	Computer science. Computer science > Mathematics. Mathematics. Computer Science Logic and Foundations of Programming. Mathematical Applications in Computer Science. Mathematics in Popular Science.
Online adgang:	https://doi.org/10.1007/978-981-97-2432-1
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday /
Udgivet: (2024)

Logic in Computer Science
af: Zhang, Hantao, et al.
Udgivet: (2025)

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /
Udgivet: (2024)

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings /
Udgivet: (2023)

Multi-valued Logic for Decision-Making Under Uncertainty
af: Kagan, Evgeny, et al.
Udgivet: (2025)

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18–20, 2023, Revised Selected Papers /
Udgivet: (2024)

Theoretical Aspects of Computing – ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings /
Udgivet: (2025)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Udgivet: (2023)

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers /
Udgivet: (2023)

Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings /
Udgivet: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Udgivet: (2024)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2025)

Maths For Computing A Beginner's Guide /
af: Charatan, Quentin, et al.
Udgivet: (2025)

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday /
Udgivet: (2024)

Theory of Computation Automata, Formal Languages, Computation and Complexity /
af: Chowdhary, K.R
Udgivet: (2025)

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /
af: O'Regan, Gerard
Udgivet: (2023)

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17–21, 2024, Proceedings /
Udgivet: (2024)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Udgivet: (2025)

Mathematics for Computer Scientists A Practice-Oriented Approach /
af: Hartmann, Peter
Udgivet: (2023)

R-Calculus, VI: Finite Injury Priority Method
af: Li, Wei, et al.
Udgivet: (2025)

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings /
Udgivet: (2024)

Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings /
Udgivet: (2023)

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7–10, 2024, Proceedings /
Udgivet: (2025)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Udgivet: (2023)

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings /
Udgivet: (2024)

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
af: Schreiner, Wolfgang
Udgivet: (2023)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Udgivet: (2025)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Udgivet: (2025)

Understanding Behaviour of Distributed Systems Using mCRL2
af: Atif, Muhammad, et al.
Udgivet: (2023)

Federated Learning A Primer for Mathematicians /
af: Kobayashi, Mei
Udgivet: (2025)

Foundation Mathematics for Computer Science A Visual Approach /
af: Vince, John
Udgivet: (2024)

Foundation Mathematics for Computer Science A Visual Approach /
af: Vince, John
Udgivet: (2023)

Mathematics for Computer Graphics
af: Vince, John
Udgivet: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Udgivet: (2024)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Udgivet: (2023)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Udgivet: (2025)

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Udgivet: (2025)