Results 71 to 80 of about 2,335,588 (204)
Felsefe Dünyası, 2009 İskender TAŞDELEN, "MATEMATİKSEL (?) MANTIK", FELSEFE DÜNYASI, SAYI ...
İskender Taşdelen
doaj
Al-Jabar, 2018 The purpose of this research is to learn about the influence of Reciprocal Teaching and Self Efficacy on learning outcomes of AUD mathematical logic. This research is experimental research designed using treatment by level 2 × 2. The research method used
Erwanto Erwanto +2 more
doaj +1 more source
, 2007 Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory ...
core +1 more source
Handbook of Mathematical Fuzzy Logic. Volume 3
, 2016 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 ...
Fermüller, Christian G. +2 more
core +1 more source
Remarks on the applications of paraconsistent logic to physics [PDF]
, 2003 In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories.
Krause, Décio, da Costa, Newton C. A.
core
A second order logic of existence [PDF]
, 1969 Publisher's, offprint versionA. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and ...
Cocchiarella, Nino
core +1 more source
The automated classificatory of computer tomography results for lumbar spine geometric modeling
Доклады Белорусского государственного университета информатики и радиоэлектроники, 2019 The results of the study of a lumbar spine three-dimensional geometric model basic parameters were adduced. Modeling process was based on a spine computer tomography images received by the Gomel regional clinical hospital. The automated system was worked
N. N. Masalitina, K. S. Kurochka
doaj
ON THE MATHEMATICS OF LOGIC AND THE LOGIC OF MATHEMATICS
, 2016 In this paper we deal with two different approaches to logic, the Boolean and the Fregean. In particular, we give some reasons to explain certain ignorance of the Boolean approach at some Philosophy Departments, particularly in the teaching of logic. After giving some reasons for the convenience of combining both approaches, we recommend material on ...
openaire +1 more source
Classical Mathematical Logic: The Semantic Foundations of Logic
, 2011 In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics.
Szczerba, Leslaw W, Epstein, Richard L
core
, 2019 The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it.
Martin Hils +3 more
core +1 more source