History
1
431


Help on query formulation
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 431 total

Introduction to mathematical logic. Extended edition. (English)
Hackensack, NJ: World Scientific (ISBN 978-981-4719-95-7/hbk; 978-981-4719-96-4/pbk). xiii, 287~p. (2017).
Classification: E30
1
Evolution of an intelligent deductive logic tutor using data-driven elements. (English)
Int. J. Artif. Intell. Educ. 27, No. 1, 5-36, electronic only (2017).
Classification: U50 U70 E30
2
Logical analysis of ratio inference by children. (English)
Sci. Math. Jpn. 79, No. 1, 55-77 (2016).
Classification: K50 E30
3
Did you know it? Goodstein sequences are null sequences ‒ indeed? (Hättest du es gewusst? Goodstein-Folgen sind Nullfolgen ‒ wirklich?) (German)
Monoid 36, Spec. Iss., 13-17 (2016).
Classification: I30 E30
4
Logic in high school syllabuses: a knowledge to be taught. (Un retour de notions de logique dans les programmes de mathématiques pour le lycée: un nouveau savoir à enseigner.) (French. English summary)
Ann. Didact. Sci. Cogn. 21, 235-266 (2016).
Classification: E30 D30
5
The effect of blended instruction on accelerated learning. (English)
Technol. Pedagog. Educ. 25, No. 3, 269-286 (2016).
Classification: U50 D40 E30
6
Dynamic Boolean mathematics. (English)
Comput. Sch. 33, No. 2, 89-102 (2016).
Classification: H50 U70 E30 G40
7
Gains and pitfalls of quantifier elimination as a teaching tool. (English)
Int. J. Technol. Math. Educ. 22, No. 4, 163-167 (2015).
Classification: E30 D70 I10
8
The Tower of Hanoi and inductive logic. (English)
Aust. Sr. Math. J. 29, No. 1, 16-24 (2015).
Classification: A20 E30 D50
9
Drawing logical conclusions. (English)
Math Horiz. 22, No. 3, 12-15 (2015).
Classification: E30
10
From the history of the renaissance of logic in the USSR in 1941‒1946. I. (Russian. English summary)
Log. Issled. 21, No. 2, 145-169 (2015).
Classification: A30 E30
11
Teaching semantic tableaux method for propositional classical logic with a CAS. (English)
Int. J. Technol. Math. Educ. 22, No. 2, 85-91 (2015).
Classification: U70 E30 N80
12
Through contradictions to knowledge. (Durch Widersprüche zur Erkenntnis.) (German)
Monoid 35, No. 124, 12-15 (2015).
Classification: E50 E30
13
Some philosophical and logical remarks on the concept of truth (in mathematics). (Einige philosophische und logische Bemerkungen zum Begriff der Wahrheit (in der Mathematik).) (German)
Reinhold, Simone (ed.) et al., Mathematische Studien im Spannungsfeld von Geschichte, Philosophie \& Didaktik der Mathematik. Festschrift für Thomas Bedürftig. Münster: WTM-Verlag (ISBN 978-3-942197-46-5/pbk). Festschriften der Mathematikdidaktik 2, 101-114 (2015).
Classification: E20 E30 A30
14
The paradox of the beam. (Die Paradoxie vom Balken.) (German)
Monoid 35, No. 123, 16-17 (2015).
Classification: A30 E30 E60
15
LogiSketch: a free-sketch digital circuit design and simulation SystemLogiSketch. (English)
Hammond, Tracy (ed.) et al., The impact of pen and touch technology on education. Cham: Springer (ISBN 978-3-319-15593-7/hbk; 978-3-319-15594-4/ebook). Human-Computer Interaction Series, 83-90 (2015).
Classification: U70 M50 E30
16
Mathematics and logic. (Mathematik und Logik.) (German)
Mathematikunterricht 61, No. 6, 4-9 (2015).
Classification: E30 D30 A30 D20
17
EAGLE-STARTING AID. Basic concepts of mathematics. Logic ‒ sets ‒ relations and functions ‒ concept of numbers. (EAGLE-STARTHILFE. Grundbegriffe der Mathematik. Logik ‒ Mengen ‒ Relationen und Funktionen ‒ Zahlbegriff.) 2nd revised and extended ed. (German)
EAGLE 72. Leipzig: Edition am Gutenbergplatz Leipzig (EAGLE) (ISBN 978-3-937219-97-4/pbk). 106~p. (2015).
Classification: E30 E60 I20 F10
18
School/university mathematics. A springboard from grammar school to university. ((Hoch)Schulmathematik. Ein Sprungbrett vom Gymnasium an die Uni.) (German)
Wiesbaden: Springer Spektrum (ISBN 978-3-658-05864-7/pbk; 978-3-658-05865-4/ebook). x, 446~p. (2015).
Classification: E30 E50 E60 H60 H30 I10 F50
19
Ocalogic: enhancing your reasoning capacity by playing. (L’Ocalogik: al spelend je redeneervermogen verbeteren.) (Dutch)
Uitwiskeling 30, No. 3, 16-21 (2014).
Classification: E30 A20 D40
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 431 total

Valid XHTML 1.0 Transitional Valid CSS!