Results 231 to 240 of about 30,687 (265)
Some of the next articles are maybe not open access.
2001
Abstract Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science.
René Cori +2 more
openaire +1 more source
Abstract Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science.
René Cori +2 more
openaire +1 more source
Communicative Rationality, Logic, and Mathematics
2008Based upon some explanations of the notions of communicative rationality in the sense of Habermas, and of communicative logic in the sense of the late C. S. Peirce, the author argues that the final meaning of mathematics is to be an aid for the rational communication of man.
openaire +2 more sources
The Logic of Mathematical Discovery versus The Logical Structure of Mathematics
1998Abstract Mathematics offers us a puzzling contrast. On the one hand it is supposed to be the paradigm of certain and final knowledge: not fixed, to be sure, but a steadily accumulating coherent body of truths obtained by successive deduction from the most evident truths.
openaire +1 more source
2007
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem ...
openaire +1 more source
This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem ...
openaire +1 more source
The Logic of Mathematics and Mathematical Logic
Danish Yearbook of Philosophy, 1970openaire +1 more source
Big Ideas from Logic for Mathematics and Computing Education
Lecture Notes in Computer Science, 2023R Ramanujam, Ramanujam R
exaly
On the Adequacy of a Substructural Logic for Mathematics and Science
Philosophical Quarterly, 2022Neil Tennant, Tennant Neil
exaly
Fuzzy logic and Gagné learning hierarchy for assessing mathematics skills
Science Progress, 2021Jinn-Tsong Tsai, Yao-Mei Chen
exaly