Results 11 to 20 of about 2,335,588 (204)
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
Evaluation of the efficiency fluctuations of day and night and weekly cycles of mathematical logic in High school girl students [PDF]
روانشناسی تربیتی, 2018 Aim: The purpose of this study was to determine the variations of the daily and weekly cycles of students' mathematical logic. Methods: The research was done in correlation method.
omidali mohammadverdi +3 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
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
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
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
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +2 more sources
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
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