Results 11 to 20 of about 56,783 (314)
Application of logical and mathematical methods for the analysis of environmental information
Юг России: экология, развитие, 2022 Aim. Evaluation of the possibilities of mathematical logic and logical‐mathematical methods in the description of complex natural systems in simple and clear constructions, as they act as a language, special research methods, a source of ideas and ...
L. Sh. Akhmedova +2 more
doaj +1 more source
IVAN SLESHYNSKY AS A POPULARIZER OF THE IDEAS OF MATHEMATICAL LOGIC IN UKRAINE
Вісник Харківського національного університету імені В.Н. Каразіна. Серія Філософія, філософські перипетії, 2020 The first half of the twentieth century was marked by the simultaneous development of logic and mathematics. Logic offered the necessary means to justify the foundations of mathematics and to solve the crisis that arose in mathematics in the early ...
Marianna P. Plakhtiy
doaj +1 more source
An Introduction to Partition Logic [PDF]
, 2013 Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given ...
Ellerman, David
core +1 more source
REINFORCED ENCODING FOR PLANNING AS SAT
Acta Polytechnica CTU Proceedings, 2015 Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. We propose a new encoding scheme, called Reinforced Encoding, which encodes a planning problem represented in the SAS ...
Tomáš Balyo +2 more
doaj +1 more source
Advances in Proof-Theoretic Semantics [PDF]
, 2016 Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...
core +1 more source
To teach logic to prospective mathematics teachers (Part III) [PDF]
Известия Саратовского университета. Новая серия: Серия Философия. Психология. Педагогика, 2022 Introduction. The article is the third part of the author’s article under the same title published in previous issues of this journal. It discusses the problem of forming the logical competencies of future mathematics teachers both at the undergraduate ...
Igoshin, Vladimir Ivanovich
doaj +1 more source
A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS [PDF]
, 1995 In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, which rigorously defines the ...
SMARANDACHE, F.
core +1 more source
PEMBELAJARAN MATEMATIKA MENGGUNAKAN THINK TALK WRITE DITINJAU DARI KECERDASAN LOGIKA MATEMATIKA
Jurnal E-DuMath, 2016 This study aims to improve mathematics achievement of the students at MTs GUPPI Kresnomulyo in the academic year 2014-2015 by applying cooperative learning model, Think Talk Write and direct learning model in terms of mathematical logic intelligence in ...
Ari Suningsih
doaj +1 more source
Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs? [PDF]
Athens Journal of Education, 2020 As it is already observed by mathematicians and educators, there is a discrepancy between the formal techniques of mathematical logic and the informal techniques of mathematics in regards to proof.
Michael Aristidou
doaj +1 more source
Introduction to mathematical logic [PDF]
, 2015 The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the ...
Mendelson, Elliott, Elliott Mendelson
core +1 more source