Results 1 to 10 of about 67,082 (308)
Some of the next articles are maybe not open access.
LOGIC: Mathematics, Language, Computer Science and Philisophy. Volume II: Logic and Computer Science
1994openaire +1 more source
Logicism and the Development of Computer Science [PDF]
, 2002 This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science. In particular, logicism, the view that mathematics can be reduced to logic, was developed by Frege and Russell, long before computers were invented, and yet many of the ideas of logicism have been ...
Donald Gillies, Gillies, D., Gillies, D
openaire +3 more sources
Computer Science, Logic, Informatics Education
J. Univers. Comput. Sci., 2006 JUCS - Journal of Universal Computer Science Volume Nr.
Varga,Katalin, Várterész,Magda
openaire +3 more sources