Results 31 to 40 of about 528,576 (239)

KORELASI PEMAHAMAN MATA KULIAH LOGIKA MATEMATIKA DENGAN SOFTWARE GEOGEBRA

Alifmatika, 2021
This study investigated the use of a free GeoGebra application, where the ability of a GeoGebra software application had the potential to simplify and help the teaching and learning process in the informatics management study program, Medan State ...
Harizahayu Harizahayu, Ferdinan Rinaldo Tampubolon   +1 more
doaj   +1 more source

Iterated reflection principles over full disquotational truth [PDF]

, 2017
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin, Horsten, Leon, Nicolai, Carlo   +2 more
core   +3 more sources

The Informal Logic of Mathematical Proof

, 2003
Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form.
Brockriede Wayne, Churchill Winston, Doron, Eemeren Frans van, Eemeren Frans van, Hamblin Charles, Hoffman Paul, Jaffe Arthur, Kempe Alfred, MacKenzie Donald, Rav Yehuda, Rota Gian-Carlo, Swart Edward, Thurston William, Toulmin Stephen, Toulmin Stephen, Tymoczko Thomas, Walton Douglas, Walton Douglas, Walton Douglas, Willard Charles, Wilson Robin, Wittgenstein Ludwig   +22 more
core   +1 more source

Pengaruh Kecerdasan Logika Matematika Terhadap Disposisi Matematis Siswa

JRPM (Jurnal Review Pembelajaran Matematika), 2019
This study aims to determine the influence of logic smart on students' mathematical dispositions. The method is quantitative with ex post facto approach — the population of class XI MIPA MAN 2 Cirebon and three samples taken by random sampling.
Anah Maemanah, Widodo Winarso
doaj   +1 more source

Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]

, 2019
K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core   +2 more sources

$L^p-L^q$ estimates for non-local heat and wave type equations on locally compact groups

Comptes Rendus. Mathématique
We prove the $L^p-L^q ...
Gómez Cobos, Santiago, Restrepo, Joel E., Ruzhansky, Michael   +2 more
doaj   +1 more source

Formal logic: Classical problems and proofs [PDF]

, 2019
Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective.
Augusto, Luis M.
core  

Variations on the Theme of Conning in Mathematical Economics [PDF]

, 2007
The mathematization of economics is almost exclusively in terms of the mathematics of real analysis which, in turn, is founded on set theory (and the axiom of choice) and orthodox mathematical logic.
Velupillai, Kumaraswamy
core   +1 more source

A Novel NeutroGraph Model for Dynamic Systems: Advancing NeutroStructures with Partially False Axioms in Interactive Digital Installation Art Design [PDF]

Neutrosophic Sets and Systems
This paper introduces NeutroGraph, an innovative mathematical model rooted in NeutroStructures, designed to analyze dynamic systems where relational axioms are partially true, indeterminate, and false.
Ziyuan Liu, Yixi Peng
doaj   +1 more source

From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles [PDF]

, 2017
John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment ...
Lu-Adler, Huaping
core