Results 11 to 20 of about 100,437 (202)
Mathematical Logic through Python
, 2022 Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming.
Yannai A. Gonczarowski, N. Nisan
semanticscholar +1 more source
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
Logic and the Mathematic Model of the Subject-Area Description for Corporate Information Systems
Journal of Computer Science, 2022 Corresponding Author: Konstantin Yurievich Maslenikov Department of Systems of Information Processing and Administrating, Bauman Moscow State University, Moscow, Russia Email: k.yu.maslenikov@yandex.ru Abstract: Aiming to build and receive a logic ...
Konstantin Yurievich Maslenikov +1 more
semanticscholar +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
THE HISTORICAL SYNTAX OF PHILOSOPHICAL LOGIC
The European philosophical and historical discourse, 2022 This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods.
Yaroslav Hnatiuk
semanticscholar +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