Dispute Over Logistic Between Jan Łukasiewicz and Augustyn Jakubisiak. Why Was it Important? by Krzych Bartłomiej K.

“…A dispute concerning the so-called logistics (mathematical logic) and its relationship with philosophy developed between the two. …”
Get full text

Faithful (meta-)encodings of programmable strategies into term rewriting systems by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau

“…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

The Professional Development Needs of Mathematics Teachers in Saudi Arabia by Abdullah Suliman Al-Balawi, Radman Mohammed Saeed

“…The study found that, in the domain of content knowledge for professional development, the most frequently occurring topics were as follows: Topological concepts and their applications, spherical geometry and its applications; mathematical problems solving; mathematical logic, reasoning, and proof; and, limits and continuity and their applications. …”
Get full text

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog by D. V. Zdor

“…Such a program contains a description of objects and relations between them in the language of mathematical logic. At the same time, the software implementation of branching and repetition remains a challenge in the absence of special operators for the indicated constructions in the logical language. …”
Get full text

Earliest Deadline Control of a Group of Heat Pumps with a Single Energy Source by Jiří Fink, Richard P. van Leeuwen

Get full text

Synthetic Data Generator for Solving Korean Arithmetic Word Problem by Kangmin Kim, Chanjun Chun

“…A math word problems (MWPs) comprises mathematical logic, numbers, and natural language. To solve these problems, a solver model requires an understanding of language and the ability to reason. …”
Get full text

Enfolding the BioSocial Collective by Richie Nimmo

“…Against this background, this article examines some key developments of the last fifty years that have contributed to a particular trajectory in scientific studies of bees and other social insects, namely a turn to conceptions of evolution as perpetual competition for relative genetic advantage, governed by a mathematical logic. This analysis traces the conceptual architecture of this and explores how it inscribes a specific ontology of “nature” and “the social”, before drawing upon currents from relational ontology and theories of biosocial complexity, to imagine what sort of “nature,” “society,” and “politics” might emerge if ‘the social’ is reckoned back into the evolutionary process. …”
Get full text

ANALISIS KEMAMPUAN PENALARAN MATEMATIS SISWA DITINJAU DARI KEMAMPUAN AWAL by Mohamad Salam, Hasnawati Hasnawati, Ida Ayu Putri Andini, Suhar Suhar, Lambertus Lambertus

“…Mathematical reasoning is a systematic thinking process based on mathematical logic in solving problems that affect the creation of logical decisions based on the knowledge that students already have. …”
Get full text

Genomic Intelligence as Über Bio-Cybersecurity: The Gödel Sentence in Immuno-Cognitive Systems by Sheri M. Markose

“…This paper gives formal foundations and evidence from gene science in the post Barbara McClintock era that the Gödel Sentence, far from being an esoteric construction in mathematical logic, is ubiquitous in genomic intelligence that evolved with multi-cellular life. …”
Get full text

Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network by Jiaming Weng, Dong Liu, Yingxu Liu

“…The formal method can analyse the correctness and effectiveness of a distributed fault processing algorithm from mathematical logic, which provides an important theoretical basis for distributed fault processing. …”
Get full text

Whitehead and Eurhthmic Becoming by Andrea Mazzola

“…Whitehead aimed to melt his expertise in mathematical logic and in mathematical physics in order to get both an axiomatic and a cosmological frame different from the Newtonian: the notion of field, first introduced by electromagnetism, is not reconcilable with the mechanist image of the world; still, both in relativity and quantum theory, non-linear phenomena have shown the limits of applicability of classical postulates. …”
Get full text

Biosemiotics as systems theory: an investigation into biosemiotics as the grounding for a new form of cultural analysis by Cannizzaro, Sara

“…It also shows, as a consequence, how biosemiotics' modelling strategies are identifiable with logic as semiotics, while systems theory's modelling strategy is more closely identifiable with mathematical logic alone. Such a methodological difference is argued to be an 'uneven development' (Althusser 1965). …”
Get full text

Contribution of Warsaw Logicians to Computational Logic by Damian Niwiński

“…Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. …”
Get full text

I. Kant and J. Jungius: on the development of critical tradition in the 17th century German philosophy by Sekundant S.

“…However, according to Jungius, it is not traditional but mathematical logic — which he interprets inthe manner of constructivism — that should be the instrument of critique. …”
Get full text

Development of a Unified Geotechnical Database and Data Processing on the Example of Nur-Sultan City by Askar Zhussupbekov, Nurgul Alibekova, Sungat Akhazhanov, Assel Sarsembayeva

Get full text

THE INFLUENCE OF GRANULOMETRY OF VELLA SANDS ON THE PROPERTIES OF REPAIRED MODIFIED COMPOSITIONS by M. R. Nakhaev, M. Sh. Salamanova, A. A. Uzaeva

“…They are based on the established principles of the theory of hardening repair modified compositions with the integrated use of vibroactivated mineral and polymer components, and in particular, the filled system “Portland cement - sandstone - C-3”, as well as mathematical logic and technology of composite materials. …”
Get full text

ON THE DEVELOPMENT OF LOGIC IN BRAZIL I: THE EARLY LOGIC STUDIES AND THE PATH TO CONTEMPORARY LOGIC by Itala M. Loffredo D’Ottaviano, Evandro Luís Gomes

“…Also highlighted are the establishment of the Centre for Logic, Epistemology and History of Science (CLE) at the State University of Campinas (Unicamp), the creation of the Brazilian Logic Society (SBL), the realization of the Brazilian Logic Conferences (EBLs), and Brazilian participation in the Latin American Symposia on Mathematical Logic (SLALMs). The second part of this historical overview will appear in the next number of this journal, concerning the recent initiatives in Brazil related to logic, and the Brazilian research groups dedicated to logic. …”
Get full text

Co-Design of Resource Limited Genetic Networks Tuning System Parameters to Satisfy Specifications by Celeste Junior, Carlos Eduardo

“…To this end we provide conditions on the systems parameters for a network of subsystems to meet a given specification, which are derived using mathematical logic and ideas on how to tackle similar problems. …”
Get full text

Mantik : penggunaan dalam pendidikan matematik dan pemikiran / by Zaidatun Tasir, 1972-

DEVELOPMENT OF THE FINANCIAL MARKET: DESTABILIZING PROCESSES, THEIR ASSESSMENT, AND GLOBAL IMPACT by Marianna Stehnei, Inna Irtyshcheva, Halyna Mykhalchynets

“…For the formation of command information oriented to the production of effects in current conditions, it is necessary to provide in mathematical logic: 1) a comprehensive study of static (permanent) characteristics of the financial market as a hierarchically ordered combinatorial system; 2) research of existing trends in the development of the financial market of Ukraine according to the elements of its combinatorial structure; 3) specification of critical problems and obstacles to the development of the financial market (according to the elements of its combinatorial structure), which may negatively affect the performance of the financial market. …”
Get full text