Results 51 to 60 of about 528,576 (239)

On the Family of Conditional Embedded Implicational Dependencies [PDF]

Computer Science Journal of Moldova, 1996
Certain second-order sentences, called conditional embedded implicational dependencies, about relations in a relational database, are defined and studied. This class of dependencies includes some of previously defined dependencies as special cases. Thus,
Victor Felea
doaj  

Deductively Sound Formal Proofs [PDF]

Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]?
Olcott, P.
core  

Evaluation of creative project production performance in mathematical logic and computational thinking skills among gifted high school students

Acta Psychologica
This study examines the experiences of gifted high school students in transforming mathematical logic knowledge and skills into creative project productivity and computational thinking skills (CTS) through their logic-based project productions.
Gülnur Özbek, Gökhan Karaaslan, Ecem Karabulut   +2 more
doaj   +1 more source

A Concise Formalization of Partial Falsifiability, Water Logic, and Neither Nor Logic with Neutrosophic logic [PDF]

Neutrosophic Sets and Systems
This paper explores the application of neutrosophic logic to Partial Falsifiability, Water Logic, and Neither Nor Logic through a mathematical perspective.
Florentin Smarandache, Takaaki Fujita, Victor Christianto   +2 more
doaj   +1 more source

Developing an ontology of mathematical logic [PDF]

, 2010
An ontology provides a mechanism to formally represent a body of knowledge. Ontologies are one of the key technologies supporting the Semantic Web and the desire to add meaning to the information available on the World Wide Web.
Boyatt, Russell, Joy, Mike
core  

Topos theory and `neo-realist' quantum theory

, 2007
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects.
A. Döring, B. Banaschewski, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, C. J. Isham, F. W. Lawvere, G. Birkhoff, J. L. Bell, J. Lambek, M. H. Stone, M. P. Olson, P. T. Johnstone, P. T. Johnstone, R. Goldblatt, R. V. Kadison, S. Kochen, S. M. Lane, S. M. Lane   +20 more
core   +2 more sources

The automated classificatory of computer tomography results for lumbar spine geometric modeling

Doklady Belorusskogo gosudarstvennogo universiteta informatiki i radioèlektroniki, 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  

Logic Integer Programming Models for Signaling Networks

, 2008
We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and Integer Programming.
Haus U.-U., Kathrin Niermann, Klaus Truemper, Robert Weismantel, Saez-Rodriguez J., Utz-Uwe Haus   +5 more
core   +3 more sources

MATEMATİKSEL (?) MANTIK

Felsefe Dünyası, 2009
İskender TAŞDELEN, "MATEMATİKSEL (?) MANTIK", FELSEFE DÜNYASI, SAYI ...
İskender Taşdelen
doaj  

STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2».

Ìнформаційні технології в освіті, 2009
This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implementation ...
O. V. Scherbina, V. S. Peschanenko, M. S. Lvov   +2 more
doaj