Results 11 to 20 of about 37,114 (298)
The Harmonic Oscillator on the Heisenberg Group
Comptes Rendus. Mathématique, 2020 In this note we present a notion of harmonic oscillator on the Heisenberg group $\mathbf{H}_n$ which forms the natural analogue of the harmonic oscillator on $\mathbb{R}^n$ under a few reasonable assumptions: the harmonic oscillator on $\mathbf{H}_n ...
Rottensteiner, David, Ruzhansky, Michael
doaj +1 more source
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
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
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
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
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
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
An Improved FFIP Method Based on Mathematical Logic and SysML
Applied Sciences, 2021 In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths ...
Jian Jiao +4 more
doaj +1 more source