Add to ORKGThe early connections between Mathematical Logic and Computer Science date back to the thirties and to the birth itself of modern Theoretical Computer Science, and concern computability. This survey wishes to emphasize how alive and fruitful this relationship has been since then, and still is
International audienceDiscrete mathematics, roughly defined as concerning countable objects, recentl...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
Abstract: The early connections between Mathematical Logic and Computer Science date back to the thi...
Abstract: During the past fifty years there has been extensive, continuous, and growing interaction...
Logic/Mathematics/Computation: A word of warning • Logic is OLD. Mathematics is OLD. But, SO IS comp...
Introduction to a Journal Special issue on Logical Issues in the History and Philosophy of Computer ...
Abstract. The development of computational logic since the introduction of Frege’s modern logic in 1...
Computing, today more than ever before, is a multi-faceted discipline which collates several methodo...
The idea that logic and reasoning are somehow related to computation goes back to antiquity. The Gre...
This paper argues for the thesis that ideas originating in the philosophy of mathematics have prove...
Mathematics has been an important intellectual preoccupation of man for a long time. Computer scienc...
This dissertation examines the history of three early computer programs that were designed to prove ...
International audienceThe earliest and most popular use of logic in computer science views computati...
Abstract. Computer Science has been long viewed as a consumer of mathematics in general, and of logi...
International audienceDiscrete mathematics, roughly defined as concerning countable objects, recentl...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
Abstract: The early connections between Mathematical Logic and Computer Science date back to the thi...
Abstract: During the past fifty years there has been extensive, continuous, and growing interaction...
Logic/Mathematics/Computation: A word of warning • Logic is OLD. Mathematics is OLD. But, SO IS comp...
Introduction to a Journal Special issue on Logical Issues in the History and Philosophy of Computer ...
Abstract. The development of computational logic since the introduction of Frege’s modern logic in 1...
Computing, today more than ever before, is a multi-faceted discipline which collates several methodo...
The idea that logic and reasoning are somehow related to computation goes back to antiquity. The Gre...
This paper argues for the thesis that ideas originating in the philosophy of mathematics have prove...
Mathematics has been an important intellectual preoccupation of man for a long time. Computer scienc...
This dissertation examines the history of three early computer programs that were designed to prove ...
International audienceThe earliest and most popular use of logic in computer science views computati...
Abstract. Computer Science has been long viewed as a consumer of mathematics in general, and of logi...
International audienceDiscrete mathematics, roughly defined as concerning countable objects, recentl...
The paper focuses on some logical and epistemological aspects of the notion of computation. The firs...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...