-
401
Methodology for determining the impact level of municipalities' fiscal capacity on AIC sustainability
Published 2023-01-01“…The methodology is based on mathematical logic, represents a three-stage analysis, involves comparing the values of budget indicators (in the revenue side - two indicators; in the expenditure side - six indicators) with the values of indicators of four fundamental components of AIC sustainable development (economic (E), social (S), environmental (N), institutional (I) of municipal districts by calculating correlation coefficients, their transformation into an aggregate form, the formation of which is based on the synergy principle. …”
Get full text
Article -
402
What’s behind meaning?
Published 2017-12-01“…On one side the paper argues that the resources provided by the development of mathematical logic, theoretical computer science, cognitive psychology, and general linguistics in the 20th Century, however indispensable to investigate the structure of language, rely on the existence of end products in the morphogenesis of meaning. …”
Get full text
Article -
403
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
Published 2022-08-01“…Its research program was outlined by Zygmunt Janiszewski (the Janiszewski program) and suggested that Polish mathematicians should concentrate on special branches of studies, including set theory, topology and mathematical logic. In this way, the foundations of mathematics became a legitimate part of mathematics. …”
Get full text
Article -
404
How to Complete Quantum Mechanics, or, What It’s Like to Be a Naturally Creative Bohmian Beable
Published 2021-10-01“…In another essay, I’ve argued by means of a formal analogy between (i) the incompleteness of Principia Mathematica-style systems of mathematical logic (logico-mathematical incompleteness) and (ii) the incompleteness of the Standard Models in contemporary physics (physico-mechanical incompleteness), that (iii) just as the fact of logico-mathematical incompleteness entails the existence of mathematical creativity, so too the fact of physico-mechanical incompleteness entails the existence of natural creativity. …”
Get full text
Article -
405
Foundations of Rule−Based Query Answering
Published 2007“…It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evaluation. …”
Conference item -
406
The bhūtasaṃkhyā notation: numbers, culture, and language in Sanskrit mathematical literature
Published 2017“…</p> <p>In order to understand cognitive and social functions served by this numerical notation system, I attempt to delineate, with the use of a formalized language typical of mathematical logic, the dialectic between numbers and collective representations in the context of ancient Indian culture.…”
Book section -
407
هل المنطق الأرسطي صوري حقاً؟
Published 2018-12-01“…This research tries to prove that Aristotle's syllogistic theory was not pure formal logical theory, and that the relationship between Aristotle's logic and the mathematical logic spite of some common matters, is relation of difference, and not relation of continuity. …”
Get full text
Article -
408
هل المنطق الأرسطي صوري حقاً؟
Published 2018-12-01“…This research tries to prove that Aristotle's syllogistic theory was not pure formal logical theory, and that the relationship between Aristotle's logic and the mathematical logic spite of some common matters, is relation of difference, and not relation of continuity. …”
Get full text
Article -
409
Impact of Time Preference on Economic Growth
Published 2016-11-01“…According to the microeconomic theoretical foundations, and using mathematical logic, this study provides a logical reasoning in analyzing macroeconomic phenomena. …”
Get full text
Article -
410
Integrating Heterogeneous Graphs Using Graph Transformer Encoder for Solving Math Word Problems
Published 2023-01-01“…Moreover, we discuss that integrating different types of textual characteristics may improve the quality of mathematical logic inference from natural language sentences.…”
Get full text
Article -
411
A Prototype of a Decision Support System for Equine Cardiovascular Diseases Diagnosis and Management
Published 2021-10-01“…The novelty of this work relies on the organization of the equine cardiology workflow in mathematical logic form, that allowed designing, develop and implement a DSS in this new field. …”
Get full text
Article -
412
Enhancing the achievement in physics’ motion concept through online multiple intelligence learning approach
Published 2021“…The findings reveal that online multiple intelligence-based learning had an effect on the achievement in physics’ force and motion concepts with mathematical logic and Intrapersonal intelligence group performed significantly better than others.…”
Get full text
Article -
413
ETHNOMATHEMATICS EXPLORATION IN THE PED’OA TRADITIONAL DANCE OF THE SABU COMMUNITY IN THE RAIJUA DISTRICT
Published 2023-06-01“…Based on those activities, mathematical concepts can be identified in the Ped’oa traditional dance, including multiplication, geometry, number patterns, geometric transformations, and mathematical logic. Those various mathematical concepts can be developed by designing mathematics learning tools that can be applied in mathematics learning, both for primary and secondary education levels…”
Get full text
Article -
414
The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic
Published 2022-10-01“…I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). …”
Get full text
Article -
415
Design process in footwear industry using the potential of universal CAD system
Published 2016-09-01“…The theoretical and methodological basis of the study is the theory of complex systems simulation; the operations research theory; the method of system- structural analysis of objects; the classification and coding technique; the methodology of data systems development, databases and knowledgebases creation; the mathematical logic; the method of aprior ranking of factors. …”
Get full text
Article -
416
The Current Situation, Problems and Development Concepts of Korean Language Education in Chinese Universities under the Integration of Information Technology
Published 2024-01-01“…This paper proposes a mathematical model for the dynamic measurement of the level of informatization of Korean language education, which adopts a mathematical logic method to comprehensively examine the attributes, functions, and values of each part of the construction of informatization of Korean language education, and dynamically regulate the relationship between the whole and the parts. …”
Get full text
Article -
417
Implementation of Ethnomathematics Strategy in Indonesian Traditional Games as Mathematics Learning Media
Published 2023-04-01“…The results of the study show that there are several mathematical topics in the game, including plane geometry, the concept of the relationship between angles (opposite angles and straight angles), cube net, congruence, the concept of reflection, the concept of mathematical logic, and the concept of probability. Hopscotch can be used as a medium for learning mathematics as a learning innovation in schools. …”
Get full text
Article -
418
Recreational and tourist destination research methods
Published 2016-06-01“…To study and synthesis of theoretical and methodological approaches to determining the conceptual and terminology used RTDe research methods and logical structure and system analysis (structural and geographic analysis); in identifying and clarifying the spatial patterns of differences in territorial organization used methods of space-time analysis; for comparative characteristics of individual properties RTDe and regional level – comparative method; to systematize information, determine the classification categories of types and subtypes RTDe – methods of systematization and classification; to study the history of RTDe, the origin of their individual components and varieties – historical-geographical method; in the present state of research, planning and organizational and functional structure of different types RTDe methods applied field research (conducted in 2006-2013 years.) poll (questionnaire), peer assessment, recording and evaluation of Christian sacred objects for the needs of tourism and recreation, mathematical logic and computer graphics, and other cartographic modeling. …”
Get full text
Article -
419
Digital flipbook module in circulatory system to facilitate student different intelligent and learning style
Published 2023-08-01“…Development of digital flipbook modules based on nine types of intelligence: linguistic, mathematical logic, kinesthetic, visual-spatial, musical, interpersonal, intrapersonal, naturalist, and existential. …”
Get full text
Article -
420
Faithful (meta-)encodings of programmable strategies into term rewriting systems
Published 2017-11-01“…Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transformations one wants to operate and rewriting strategies are used to con- trol their application. …”
Get full text
Article