Results 1 to 10 of about 528,576 (239)
When linguists talk mathematical logic [PDF]
Frontiers in Psychology, 2014 David James Lobina
doaj +2 more sources
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Long cycles in hypercubes with distant faulty vertices [PDF]
Discrete Mathematics & Theoretical Computer Science, 2009 Graphs and ...
Petr Gregor, Riste Škrekovski
doaj +1 more source
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
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