Results 11 to 20 of about 2,965,126 (259)
New Results on Generalized Graph Coloring [PDF]
Discrete Mathematics & Theoretical Computer Science, 2004 For graph classes \wp_1,...,\wp_k, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph G can be partitioned into subsets V_1,...,V_k so that V_j induces a graph in the class \wp_j (j=1,2,...,k).
Vladimir E. Alekseev +2 more
doaj +1 more source
Between Philosophy and Mathematics
Asian Studies, 2022 This article studies some central developments in the propagation and teaching of mathematical logic in 1930s China. Focusing on the emergence of a twofold disciplinary approach to mathematical logic, namely as a discipline studied and disseminated by ...
Jan Vrhovski
doaj +1 more source
International Journal of Trends in Mathematics Education Research, 2023 This development research aims to determine the feasibility of using Mathematical Logic Pipe teaching aid (Pilogmath) on mathematical logic material at SMA Negeri 1 Tanah Luas in terms of validity, practicality, and attractiveness.
Khairun Nisa, Eri Saputra, M Mursalin
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
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
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
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
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
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