Results 31 to 40 of about 139,642 (268)
The Arithmetics of a Theory [PDF]
Notre Dame Journal of Formal Logic, 2015 The interpretations of a weak arithmetic, like Buss's theory \(\mathrm{S}_2^1\) or \(\mathrm{I}\Delta_0+\Omega_1,\) in a given theory \(U\) are studied. The author calls these interpretations the arithmetics of \(U\). The definable initial embedding ordering is a natural ordering of the arithmetics of \(U.\) The basics of the structure of the ...
openaire +5 more sources
The Australasian Journal of Logic, 2021 This paper offers an elementary proof that formal arithmetic is consistent. The system that will be proved consistent is a first-order theory R♯, based as usual on the Peano postulates and the recursion equations for + and ×. However, the reasoning will apply to any axiomatizable extension of R♯ got by adding classical arithmetical truths ...
openaire +2 more sources
Kemampuan Literasi Matematis Mahasiswa Melalui Model Problem-Based Learning Menggunakan Klinometer
Arithmetic, 2021 This study aims to determine students' mathematical literacy skills through problem-based learning using a clinometer. This research method is quasi-experimental with the research design used is one group pretest-posttest analysis on the initial test ...
Adi Asmara, Zachriwan Zachriwan
doaj +1 more source
2012 IEEE Information Theory Workshop, 2012 In this invited talk,1 we introduce the notion of arithmetic codex, or codex for short. It encompasses several well-established notions from cryptography (arithmetic secret sharing schemes, which enjoy additive as well as multiplicative properties) and algebraic complexity theory (bilinear complexity of multiplication) in a natural mathematical ...
I. Cascudo (Ignacio) +2 more
openaire +3 more sources
Region-Based Fractional Wavelet Transform Using Post Processing Artifact Reduction [PDF]
Iraqi Journal for Electrical and Electronic Engineering, 2010 Wavelet-based algorithms are increasingly used in the source coding of remote sensing, satellite and other geospatial imagery. At the same time, wavelet-based coding applications are also increased in robust communication and network transmission of ...
Jassim M. Abdul-Jabbar +1 more
doaj
Eksplorasi Kemampuan Siswa Memecahkan Masalah Program Linier Grafik dan Soal Cerita
Arithmetic, 2021 Linear program has a scope of material that emphasizes the method of determining the optimum value (maximum or minimum). Linear programming problems are generally presented through word problems that involve linear inequalities and straight line graphs ...
Ita Chairun Nissa
doaj +1 more source
Arithmetic, 2021 In mathematics, there are two criteria for questions or problems, namely challenging and demanding procedures that are not routine in solving them. The problem is a situation where a person is able to realize the existence of a situation and admit that ...
Mutia Mutia, Dete Konggoro
doaj +1 more source
Arithmetic, 2020 This research is an effort to improve students' critical thinking ability by applying Realistic Mathematics Education (RME) learning with Means Ends Analysis (MEA) strategy. The method used in this research is classroom action research in 2 cycles.
Helen Utarni, Fauzi Mulyatna
doaj +1 more source
Arithmetic, 2020 Based on TIMSS 2011 and PISA 2018, mathematical connection ability of Indonesian students has not been optimal. Some of questions in TIMSS and PISA measured the mathematical connections ability.
Ayu Mentari, Bobbi Rahman, Surya Wijaya
doaj +1 more source
Penggunaan Power Point Game pada Materi Persegi Panjang Kelas VII SMP Muhammadiyah Pagaralam
Arithmetic, 2019 The purpose of this study was to find out the learning outcomes of students after the use of Power Point Game on the study of Rectangles in class VII of Pagaralam Muhammadiyah Middle School.
Okta Wirajaya +2 more
doaj +1 more source