Results 1 to 10 of about 37,114 (298)

Development of Mathematical Logic Pipeline Tools (Pilogmath) for Learning Mathematical on Logic Material

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   +3 more sources

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   +3 more sources

When linguists talk mathematical logic [PDF]

Frontiers in Psychology, 2014
David James Lobina
doaj   +2 more sources

Using fuzzy logic and mathematical models to predict the financial efficiency of industrial enterprises. [PDF]

PLoS One
Dong Y.
europepmc   +2 more sources

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

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

Mathematical Logic

, 2022
The precise definition of “logic” is quite broad and literally, hundreds of logics have been studied by philosophers, mathematicians, and computer scientists. When most people say "logic", they mean either propositional logic or predicate logic. The propositional logic is the classical one, in which there are two possible truth values (i.e., true and ...
Laszlo Csirmaz, Zalán Gyenis
openaire   +4 more sources

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, Alastair Farrugia, Vadim V. Lozin   +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