Paule, Peter
Mathematics, Computer Science and Logic - A Never Ending Story
Table of contents
1. Foundations of Mathematics from the Perspective of Computer Verification
Henk Barendregt
2. On the Role of Logic and Algebra in Software Engineering
Manfred Broy
3. New Directions in the Foundations of Mathematics (2002)
Stephen Wolfram
4. Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
Doron Zeilberger
Nyckelord: Mathematics, Algorithms, Mathematical Logic and Foundations, Mathematical Software, Software Engineering/Programming and Operating Systems, Theory of Computation
- Författare
- Paule, Peter
- Utgivare
- Springer
- Utgivningsår
- 2013
- Språk
- en
- Utgåva
- 2013
- Sidantal
- 7 sidor
- Kategori
- Naturvetenskaper
- Format
- E-bok
- eISBN (PDF)
- 9783319009667
