Results 21 to 30 of about 2,965,126 (259)
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 This study aims to analyze students' difficulties in solving mathematical problems based on mathematical logic intelligence. The population of this research is the fourth-semester students of Mathematics Education, Universitas PGRI Madiun, totaling 52 ...
Vera Dewi Susanti, Rika Wulandari
doaj +1 more source
Impossibilities, mathematics, and logic
Qeios, 2023 Mathematics is known for its rigor. Owing to its rigor, mathematics is both loved and feared. Proof holds a pivotal position in the whole of mathematical rigor. Proof is required for something to be possible. Interestingly, proof is equally important and required for something to be declared impossible.
openaire +1 more source
Unpacking the logic of mathematical statements [PDF]
, 1995 This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
core +1 more source
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
An Improved FFIP Method Based on Mathematical Logic and SysML
Applied Sciences, 2021 In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths ...
Jian Jiao +4 more
doaj +1 more source
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
On the mathematical synthesis of equational logics [PDF]
, 2010 We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational ...
Chung-Kil Hur +2 more
core +3 more sources
Is Mathematical Logic Really Necessary in Teaching Mathematical Proofs?
, 2019 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
semanticscholar +1 more source
Логико-философские штудии, 2021 Перевод с англ. А. Г. Пушкарского The Mathematical Analysis of Logic, being an Essay towards a Calculus of Deductive Reasoning. Cambridge, Macmillan; London, G. Bell.
Джордж Буль
semanticscholar +1 more source
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 +1 more
doaj +1 more source