Results 21 to 30 of about 528,576 (239)
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2022 The paper analyzes the main areas of application of mathematical methods in medical diagnostics, formulates principles of diagnostics based on fuzzy logic; developed mathematical models and algorithms that formalize the process of making diagnostic ...
Liudmyla Shkilniak +9 more
doaj +1 more source
On the mathematical synthesis of equational logics [PDF]
, 2010 We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational ...
Chung-Kil Hur +2 more
core +3 more sources
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 This study aims to analyze students' difficulties in solving mathematical problems based on mathematical logic intelligence. The population of this research is the fourth-semester students of Mathematics Education, Universitas PGRI Madiun, totaling 52 ...
Vera Dewi Susanti, Rika Wulandari
doaj +1 more source
, 2017 The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is
Jerzak, Ethan
core +1 more source
Conjugacy Separability of Some One-Relator Groups
International Journal of Mathematics and Mathematical Sciences, 2010 Conjugacy separability of any group of the class of one-relator groups given by the presentation ⟨𝑎,𝑏;[𝑎𝑚,𝑏𝑛]=1⟩(𝑚,𝑛>1) is proven. The proof made used of theoretical combinatorial group methods, namely the structure of amalgamated free products and some ...
D. Tieudjo, D. I. Moldavanskii
doaj +1 more source
Quotient-Comprehension Chains [PDF]
, 2015 Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in ...
Cho, K. +4 more
core +3 more sources
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
An Improved FFIP Method Based on Mathematical Logic and SysML
Applied Sciences, 2021 In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths ...
Jian Jiao +4 more
doaj +1 more source
Methodos, 2009 What is the path in Husserl that takes us from formal to transcendental logic? Does it follow Kant’s course from “general logic” to “transcendental logic”, or does the mathematical character of modern logic divest it of the possibility of serving as a ...
James Dodd
doaj +1 more source