Regression dependences in bending reinforced concrete beam with cracks by Nuguzhinov Zhmagul, Khabidolda Omirkhan, Bakirov Zhetpisbai, Zholmagambetov Syrlybek, Kurokhtin Alexey, Tokanov Daniyar

Get full text

Information system for ontological modelling the subject areas by M. N. Bukharov

“…As research methods, the theory of hybrid intelligence systems, the theory of sets, elements of mathematical logic, methods for developing the information systems, comparative analysis of information systems, informal analysis of information system were used.Results. …”
Get full text

Ants Colony Optimization Algorithm in the Hopfield Neural Network for Agricultural Soil Fertility Reverse Analysis by Hamza Abubakar, Abdullahi Muhammad, Smaiala Bello

“… The Boolean Satisfiability Problem (BSAT) is one of the most important decision problems in mathematical logic and computational sciences for determining whether or not a solution to a Boolean formula..  …”
Get full text

Axiomatization of Blockchain Theory by Sergey Goncharov, Andrey Nechesov

“…The models of the theory <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="double-struck">T</mi></semantics></math></inline-formula> are well-known blockchain implementations with the proof of work consensus algorithm, including Bitcoin, Ethereum (PoW version), Ethereum Classic, and some others. By utilizing mathematical logic, we can study these models and derive new theorems of the theory <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="double-struck">T</mi></semantics></math></inline-formula> through automatic proofs. …”
Get full text

Implementation of automated calculation of free and bioavailable testosterone in Epic Beaker laboratory information system by Michael C Chung, Saurabh Gombar, Run Zhang Shi

“…A set of calculation variables were created, and mathematical logic and functions were used to link the variables and perform the actual quadratic equation based calculations. …”
Get full text

Beth, Evert Willem (1908-1964) by Gerhard Heinzmann

“…However, my focus is not so much on Beth’s widely discussed and important contributions to mathematical logic, where his most creative merits reside. …”
Get full text

Improving the effectiveness of senior graders’ education based on the development of mathematical intuition and logic: Kazakhstan’s experience by Yuliya Popova, Marzhan Abdualiyeva, Yerlan Torebek, Nurgali Yelshibekov, Gaukhar Omashova

“…However, in the context of Kazakhstan, this study potentially contributes to the existing literature by presenting conclusive findings in the context of mathematical logic and intuition and student effectiveness.…”
Get full text

A multidimensional interpretation of Marxist globalization theory based on decentralized internet by Zhang Shunjun

“…The 3PL model is established and the basic principles are accurately understood and grasped from mathematical logic according to the labor theory of value, surplus value theory and reproduction theory in Marxism, which provides an important generative logic for constructing a mathematical paradigm of Marxist political economy. …”
Get full text

ZASADA PRZEZROCZYSTOŚCI ZNAKU. PUNKT WIDZENIA LEONA KOJA by Józef Dębowski

“…Cześć druga artykułu (zasadnicza) zawiera rekonstrukcję stanowiska Leona Koja, który teorii znaku opartej o zasadę przezroczystości nadał postać konsekwentnie sformalizowaną — postać zaksjomatyzowanego systemu logicznego (przy wykorzystaniu formalizmu Willarda van Ormana Quine’a z Mathematical Logic). Jednym z głównych celów Leona Koja było również wskazanie na ścisły związek semantyki z pragmatyką, a nawet prymat pragmatyki nad semantyką. …”
Get full text

Combining Building Block Process With Computational Thinking Improves Learning Outcomes of Python Programming With Peer Assessment by Tsung-Chih Hsiao, Ya-Hsueh Chuang, Chien-Yun Chang, Tzer-Long Chen, Hong-Bo Zhang, Jhih-Chung Chang

“…Zuvio employs the mathematical logic of computational thinking to analyze problems and enhance learners’ interest in learning programming skills through a graphical interface tool with building blocks. …”
Get full text

BoYaTCN: Research on Music Generation of Traditional Chinese Pentatonic Scale Based on Bidirectional Octave Your Attention Temporal Convolutional Network by Fanzhi Jiang, Liumei Zhang, Kexin Wang, Xi Deng, Wanyan Yang

“…The balance between mathematical logic and aesthetic value is important in music generation. …”
Get full text

A classification of reversible bit and stabilizer operations by Grier, Daniel

Get full text

AXIOMATIC-DEDUCTIVE STRATEGY FOR IT DISCIPLINE CONTENT FORMATION by Serhii A. Lupenko, Volodymyr V. Pasichnyk, Nataliia E. Kunanets

“…This ensures the transition from the content form of representation of the set of statements of the academic discipline to its presentation by means of artificial languages of mathematical logic. The use of descriptive logic ensures the formalization of the procedure for displaying an axiomatic informal system in an axiomatic formal system. …”
Get full text

ETNOMATEMATIKA PADA PERMAINAN DENGKLAQ SEBAGAI MEDIA PEMBELAJARAN MATEMATIKA by Asri Fauzi, Ulfa Lu'luilmaknun

“…The results showed the existence of mathematical elements in the game of dengklaq in the form of field geometry, the concept of relationships between angles, cube nets, the concept of reflection, the concept of mathematical logic, and the concept of probability.Abstrak Etnomatematika merupakan strategi pembelajaran dengan mengaitkan unsur budaya dalam pelajaran matematika. …”
Get full text

SUBJECT «NUMBER SYSTEMS» IN TWO-LEVELED FORMAT PREPARATION TEACHERS OF MATHEMATICS by V. I. Igoshin

“…The theory of numeric systems is presented as a theory of algebraic systems, arising at the intersection of algebra and mathematical logic. Here we study algebras over a field, division algebra over a field, an alternative algebra with division over the field, Jordan algebra, Lie algebra. …”
Get full text

Estimating the Extreme Values in Gridding Data using Gauss Elimination Method: A New Approach in Potential Field Processing by Nguyen Kim Dung

“…The maximum horizontal gradient method is a popular method that greatly contributes to the detection of maximum points and approximation of geological structures edges. By adopting a mathematical logic, Blakely and Simpson established a quadratic function based on the characteristic of three points of a straight line in the fundamental directions. …”
Get full text

REACT: STRATEGI PEMBELAJARAN UNTUK MENGEMBANGKAN KEMAMPUAN MAHASISWA DALAM MENGKONSTRUKSI BUKTI by Arif Hidayatul Khusna

“…REACT has an impact on the development of students' abilities in constructing evidence, namely students can use the previous theorem to be used in the proving process, manipulate mathematical logic forms as an initial strategy to start the proof process, use non-formal evidence to determine the next step of evidence, check the validity of the proof process and be able to do a proof of contradiction.…”
Get full text

Computation of three topological indices on some molecular graphs and families of nanostar dendrimers by Haoer, Raad Sehen

“…We use mathematical methods of mathematical induction and mathematical logic to arrive at our theorems. In particular, the Eccentric Connectivity Indices ξ (G) are obtained for certain special graphs constructed by joining some special graphs to path graph. …”
Get full text

A matemática da escola primária nas revistas pedagógicas do Brasil e de Portugal by Rosimeire Aparecida Soares Borges, Aparecida Rodrigues Silva Duarte, Tânia Maria Mendonça Campos

“…From the analyzes and comparisons presented it is possible to say that the published discourses preceded the mathematics for Primary School based on Set Theory and Mathematical Logic, with an emphasis on symbolic language and methodological aspects of the concrete materials suggested for this teaching. …”
Get full text

The Importance of HDL-Cholesterol and Fat-Free Percentage as Protective Markers in Risk Factor Hierarchy for Patients with Metabolic Syndrome by Ivona Mitu, Cristina-Daniela Dimitriu, Cristina Preda, Ovidiu Mitu, Irina-Iuliana Costache, Radu-Ștefan Miftode, Manuela Ciocoiu

“…All participants underwent clinical and anthropometric measurements, DEXA investigation and blood tests for all MetS criteria, together with adiponectin, leptin, insulin, uric acid and CRP. Based on mathematical logic, we calculated a normalized sensitivity score to compare the predictive power of biomarkers and parameters associated with MetS, upon the prevalence of MetS. …”
Get full text