History
1
431


Help on query formulation

Result 41 to 60 of 431 total

The effect of interaction granularity on learning with a data normalization tutor. (English)
Lane, H. Chad (ed.) et al., Artificial intelligence in education. 16th international conference, AIED 2013, Memphis, TN, USA, July 9‒13, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39111-8/pbk). Lecture Notes in Computer Science 7926, 463-472 (2013).
Classification: R50 U50 R40 E30
41
Mathematical versus English meaning in implication and disjunction. (English)
Teach. Math. Appl. 32, No. 1, 38-46 (2013).
Classification: E40 C50 D70 E30
42
Gödel’s incompleteness theorems. A guided tour through Kurt Gödel’s historical proof. (Die Gödel’schen Unvollständigkeitssätze. Eine geführte Reise durch Kurt Gödels historischen Beweis.) (German)
Heidelberg: Springer Spektrum (ISBN 978-3-8274-2999-5/pbk; 978-3-8274-3000-7/ebook). 368~p. (2013).
Classification: A30 E30 Reviewer: Reinhard Kahle (Lisboa)
43
Limits of mathematics. A journey through the core subjects of mathematical logic. (Grenzen der Mathematik. Eine Reise durch die Kerngebiete der mathematischen Logik.) 2nd. revised and extended ed. (German)
Heidelberg: Springer Spektrum (ISBN 978-3-642-34719-1/pbk; 978-3-642-34720-7/ebook). ix, 437~p. (2013).
Classification: E30
44
Truth and provability. (English)
Math. Intell. 35, No. 1, 21-24 (2013).
Classification: E30
45
Universal and existential quantifiers revisited. (English)
Tso, Tai-Yih (ed.), Proceedings of the 36th conference of the International Group for the Psychology of Mathematics Education “Opportunities to learn in mathematics education", PME 36, Taipei, Taiwan, July 18‒22, 2012, Vol. 4. Taipei: National Taiwan Normal University. 235-242 (2012).
Classification: E30 D70 C50
46
David Hilbert. (David Hilbert.) (German)
Spektrum Wiss. 2012, No. 1, 72-76 (2012).
Classification: A30 E20 E30 E50 H40 I90
47
Inductive logic games. (Juegos de lógica inductiva.) (Spanish. English summary)
Números 81, 67-76, electronic only (2012).
Classification: A20 E30 U60
48
A classroom note on extensible truth tables for verifying logical arguments. (English)
Math. Comput. Educ. 46, No. 2, 133-137 (2012).
Classification: E30
49
Mathematical ideas. 12th ed., international student edition. (English)
Boston, MA: Pearson (ISBN 978-0-321-75991-7/hbk). xxi, 904~p., 71~p. (2012).
Classification: D50 E60 E30 F10 H30 I20 G10 K10 M30 M90
50
Some logical problems connected with theorems. (English)
Billich, Martin (ed.), Mathematica IV. Proceedings of the Polish-Czech-Slovak mathematical conference, Catholic University Ružomberok, Spišská Kapitula, Slovakia, June 5‒8, 2012. Ružomberok: Verbum, Catholic University in Ružomberok Press (ISBN 978-80-8084-954-2/pbk). Scientific Issues, 11-15 (2012).
Classification: E50 E30
51
Rediscovery of reasoning by induction. (Redécouverte de raisonnement par récurrence.) (French)
Losanges, No. 19, 10-17 (2012).
Classification: E50 E30 I30
52
Claude Lévi-Strauss and mathematics. (Claude Lévi-Strauss et les mathématiques.) (French)
Bull. AMQ 52, No. 2, 37-61 (2012).
Classification: A30 D20 E20 E30
53
Łukasiewicz logic and logical paradoxa. (Łukasiewiczova logika a logické paradoxy.) (Czech)
Mat. Fyz. Inform. 21, No. 10, 523-532 (2012).
Classification: E30
54
Geometry students’ hedged statements and their self-regulation of mathematics. (English)
J. Math. Behav. 31, No. 4, 489-499 (2012).
Classification: E50 G40 C30 E30
55
Mathematical games and journeys. (Giochi e percorsi matematici.) (Italian)
Convergenze. Milano: Springer (ISBN 978-88-470-2615-5/pbk; 978-88-470-2616-2/ebook). xii, 198~p. (2012).
Classification: A20 E30 E50 K20 Reviewer: Cristinel Mortici (Târgovişte)
56
Unexpected expectations. The curiosities of a mathematical crystal ball. (English)
Boca Raton, FL: CRC Press (ISBN 978-1-56881-721-7/hbk; 978-1-4398-6767-9/ebook). xvi, 204~p. (2012).
Classification: A20 A80 E30 K50 M70 Reviewer: Efstratios Rappos (Aubonne)
57
Professor’s page: why reasoning? (English)
Aust. Prim. Math. Classr. 17, No. 2, 16-17 (2012).
Classification: E50 E30 D30
58
A logical introduction to proof. (English)
New York, NY: Springer (ISBN 978-1-4614-3630-0/hbk; 978-1-4614-3631-7/ebook). xiv, 356~p. (2012).
Classification: E50 E60 E30 E40 Reviewer: Victor V. Pambuccian (Phoenix)
59
Examining the role of logic in teaching proof. (English)
Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 369-389 (2012).
Classification: E50 E30
60

Result 41 to 60 of 431 total

Valid XHTML 1.0 Transitional Valid CSS!