Gilles Dowek
- Auteur
Gilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has received the French Academy philosophy award.
Gilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has received the French Academy philosophy award.
Boeken van Gilles Dowek
Serge Abiteboul
Gilles Dowek
The Age of Algorithms
Algorithms are probably the most sophisticated tools that people have had at their disposal since the beginnings of human history. They have transformed science, industry, society.
Meer
Gilles Dowek
Proofs and Algorithms
This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc.
Meer
Gilles Dowek
Principles of Programming Languages
This introduction to the principles and concepts of programming language uses Java as a main language then systematically compares it to other languages, thereby providing the tools that allow students to adapt to new programming languages.
Meer
Gilles Dowek
Rewriting and Typed Lambda Calculi
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Meer
Gilles Dowek
Computation, Proof, Machine
Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation.
Meer
