International audienceDespite the insight of some of the pioneers (Turing, von Neumann, Curry, Böhm), programming the early computers was a matter of fiddling with small architecture-dependent details. Only in the sixties some form of "mathematical program development" will be in the agenda of some of the most influential players of that time. A "Mathematical Theory of Computation" is the name chosen by John McCarthy for his approach, which uses a class of recursively computable functions as an (extensional) model of a class of programs. It is the beginning of that grand endeavour to present programming as a mathematical activity, and reasoning on programs as a form of mathematical logic. An important part of this process is the standard mo...
DoctoralIn this talk I will review the positions of Church and Post on computability, contrast them ...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Knowledge of the theories of computer science (CS) helps in understanding the limitations of the fie...
International audienceDespite the insight of some of the pioneers (Turing, von Neumann, Curry, Böhm)...
Since the mid-eighties of the last century, a fruitful interplay between computer scientists and mat...
3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky ...
There is a fundamental solidarity between mathematics and computer science that is based on the hist...
Fifty years ago one of the greatest breakthroughs in computer programming and in the history of comp...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
The early 1930s were bad years for the worldwide economy, but great years for what would even-tually...
This article focuses not on computer science but on computational science. First we will elucidate s...
19 pagesSo far, following the works of A.M. Turing, the algorithms were considered as the mathematic...
Goals of the Course This course is designed to teach the elements of a mathematically rigorous seman...
This book is an adaptation of lectures notes written by the author and given to undergraduate comput...
The early 1930s were bad years for the worldwide economy, but great years for what would eventually ...
DoctoralIn this talk I will review the positions of Church and Post on computability, contrast them ...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Knowledge of the theories of computer science (CS) helps in understanding the limitations of the fie...
International audienceDespite the insight of some of the pioneers (Turing, von Neumann, Curry, Böhm)...
Since the mid-eighties of the last century, a fruitful interplay between computer scientists and mat...
3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky ...
There is a fundamental solidarity between mathematics and computer science that is based on the hist...
Fifty years ago one of the greatest breakthroughs in computer programming and in the history of comp...
The importance of algorithms is now recognized in all mathematical sciences, thanks to the developm...
The early 1930s were bad years for the worldwide economy, but great years for what would even-tually...
This article focuses not on computer science but on computational science. First we will elucidate s...
19 pagesSo far, following the works of A.M. Turing, the algorithms were considered as the mathematic...
Goals of the Course This course is designed to teach the elements of a mathematically rigorous seman...
This book is an adaptation of lectures notes written by the author and given to undergraduate comput...
The early 1930s were bad years for the worldwide economy, but great years for what would eventually ...
DoctoralIn this talk I will review the positions of Church and Post on computability, contrast them ...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Knowledge of the theories of computer science (CS) helps in understanding the limitations of the fie...