Results 31 to 40 of about 2,335,588 (204)
Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs? [PDF]
Athens Journal of Education, 2020 As it is already observed by mathematicians and educators, there is a discrepancy between the formal techniques of mathematical logic and the informal techniques of mathematics in regards to proof.
Michael Aristidou
doaj +1 more source
KORELASI PEMAHAMAN MATA KULIAH LOGIKA MATEMATIKA DENGAN SOFTWARE GEOGEBRA
Alifmatika, 2021 This study investigated the use of a free GeoGebra application, where the ability of a GeoGebra software application had the potential to simplify and help the teaching and learning process in the informatics management study program, Medan State ...
Harizahayu Harizahayu +1 more
doaj +1 more source
Survey of mathematical foundations of QFT and perturbative string theory [PDF]
, 2011 Recent years have seen noteworthy progress in the mathematical formulation of quantum field theory and perturbative string theory. We give a brief survey of these developments.
Sati, H. +3 more
core
The road to modern logic - an interpretation [PDF]
, 2001 This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic.
Ferreirós Domínguez, José Manuel
core +1 more source
Handbook of Mathematical Fuzzy Logic. Volume 1 [PDF]
, 2011 Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of ...
Petr Hájek +6 more
core +1 more source
$L^p-L^q$ estimates for non-local heat and wave type equations on locally compact groups
Comptes Rendus. MathématiqueWe prove the $L^p-L^q ...
Gómez Cobos, Santiago +2 more
doaj +1 more source
Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics [PDF]
̒Ilm-i Zabān, 2019 The present paper studies the possibility of translating “sense relations” in the level of sentences into formal expressions. In so doing, it applies the mathematical logic, especially the logic of propositions within the constraints of sufficient Farsi ...
Maryam Ramezankhani
doaj +1 more source
Bulletin of Symbolic Logic, 2008 AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire +2 more sources
A different approach to logic [PDF]
, 2011 The paper is about an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to obtain a general and unifying approach to logic and a faithful model of
Avon, Mauro
core
La LÓGICA MATEMÁTICA DESDE LAS DISCIPLINAS CIENTÍFICAS DE INFORMÁTICA
Revista Ingeniería, Matemáticas y Ciencias de la Información, 2019 In this era where social evolution has led humanity to the Information and Knowledge Society, the job of computerengineers is mainly to detect, recognize and solve problems by finding more and more effective computer solutions.
YUDELKIS VALDERRAMA GARRIDO +1 more
doaj +1 more source