Results 1 to 10 of about 45,692 (174)
Weyl's predicative classical mathematics as a logic-enriched type theory [PDF]
ACM Transactions on Computational Logic, 2007 We construct a logic-enriched type theory LTT W that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum . We formalize many results from that book in LTT W , including Weyl's definition of the cardinality of a set ...
Adams, Robin, Luo, Zhaohui
openaire +5 more sources
A Constructive Treatment to Elemental Life Forms through Mathematical Philosophy
Philosophies, 2021 The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science.
Susmit Bagchi
doaj +1 more source
Современная наука и инновации, 2022 То construct and obtain a logical-mathematical substantiation and a model of the process of constructing a description of any subject area of a corporate automated information system.
K. Y. Maslenikov, G. I. Revunkov
doaj +1 more source
An Artificial Intelligence Technology Based Algorithm for Solving Mechanics Problems
IEEE Access, 2022 As an indispensable technology of intelligent education, intelligent tutorial algorithms for solving mathematical or physical problems have attracted much attention in recent years.
Jiarong Zhang, Jinsha Yuan, Jianing Xu
doaj +1 more source
THE USE OF GEOSPATIAL INFORMATION BY PUBLIC AUTHORITIES TO SUPPORT THE DECISION MAKING OF MANAGEMENT
Сучасні інформаційні системи, 2021 The article proposes the use of geospatial information to support managerial decision-making by public authorities in the field of reintegration of temporarily occupied territories in Donetsk, Luhansk regions and Crimea.
Ihor Butko
doaj +1 more source
On the Syllogistic of G. Boole
Дискурс, 2021 Introduction. This article focuses on the investigation of Boole’s theory of categorical syllogism, exposed in his book “The Mathematical analysis of Logic”. That part of Boolean legacy has been neglected in the prevailed investigations on the history of
Yu. Yu. Chernoskutov
doaj +1 more source
INFORMATION MODELS FOR MANUFACTURING WORKSPACES IN ROBOTIC PROJECTS
Сучасний стан наукових досліджень та технологій в промисловості, 2022 The subject of research in the article are the workspace models for flexible integrated robotic systems. The goal of the work is in development of information models to represent workspaces for following application in the automated control systems of ...
Igor Nevlyudov +2 more
doaj +1 more source
ANALYSIS OF POSSIBILITY OF FORMALIZATION OF LAND RELATIONS
Радіоелектронні і комп'ютерні системи, 2017 This article shows the examples of the formal submission to the set-theoretic language and the language of logic predicate calculus and the theory of some categories of land relations.
Костянтин Олександрович Метешкін +1 more
doaj +1 more source
Foundations of Computing and Decision Sciences, 2019 This essay’s content is rendered by the titles of the successive sections. 1. Effective solvability versus intuitive solvability. — 2. Decidability, i.e. effective solvability, in predicate logic. The speedup phenomenon — 3.
Marciszewski Witold
doaj +1 more source
Does Identity Make Sense? [PDF]
ManuscritoIn this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT).
Andrei Rodin
doaj +1 more source