Results 231 to 240 of about 2,965,126 (259)

Foundations of Logic Programming

Symbolic Computation, 1984
J. Lloyd
semanticscholar   +1 more source

Mathematical logic

, 2000
René Cori
semanticscholar   +1 more source

From boring to scoring – a collaborative serious game for learning and practicing mathematical logic for computer science education

Computer Science Education, 2013
Andreas Schäfer, Jan Holz, Thiemo Leonhardt, U. Schroeder, P. Brauner, M. Ziefle   +5 more
semanticscholar   +1 more source

A mathematical introduction to logic

, 1972
H. Enderton
semanticscholar   +1 more source

Mathematical Logic as Based on the Theory of Types

, 1908
B. Russell
semanticscholar   +1 more source

Mathematical Logic

Mathematical Gazette, 1926
Shamil Ishmukhametov, Guohua Wu
semanticscholar   +1 more source

Mathematical Logic for Computer Science

Springer London, 2012
M. Ben-Ari
semanticscholar   +1 more source

Logic and Intuition in Mathematics and Mathematical Education

2007
A good mathematics teacher is not only a good mathematician, but also a good teacher. In other words, a good mathematics teacher is not only able to solve mathematical problems, (s)he is also able to explain how mathematical problems are solved. Many mathematicans (and mathematics teachers) are, however, able to solve mathematical problems without ...
openaire   +3 more sources

The mathematical logic of narrative

2005
“The mathematics of stories?” -I can almost hear the question. For indeed, unless a story is of the type “Mary bought twelve pieces of candy and wants to divide it equally between her three friends”, what, in Euclid’s name, are its mathematics? Well, let me say it from the start: nobody knows. I do not plan not present you with a science.
openaire   +2 more sources

The Logic of Mathematics and Mathematical Logic

Danish Yearbook of Philosophy, 1970
openaire   +2 more sources