Results 11 to 20 of about 545,179 (279)
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
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
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
Unpacking the logic of mathematical statements [PDF]
, 1995 This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
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
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2022 The paper analyzes the main areas of application of mathematical methods in medical diagnostics, formulates principles of diagnostics based on fuzzy logic; developed mathematical models and algorithms that formalize the process of making diagnostic ...
Liudmyla Shkilniak +9 more
doaj +1 more source
Frege, Peano and the Interplay between Logic and Mathematics
Philosophia Scientiæ, 2021 In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and ...
Joan Bertran-San Millán
doaj +1 more source
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 This study aims to analyze students' difficulties in solving mathematical problems based on mathematical logic intelligence. The population of this research is the fourth-semester students of Mathematics Education, Universitas PGRI Madiun, totaling 52 ...
Vera Dewi Susanti, Rika Wulandari
doaj +1 more source