History
1
431


Help on query formulation

Result 61 to 80 of 431 total

Arithmetic and reality: a development of Popper’s ideas. (English)
Philos. Math. Educ. J. 26, 14 p., electronic only (2011).
Classification: E20 E30
61
On typical mistakes of logical character. (O tipichnykh oshibkakh logicheskogo kharaktera.) (Russian)
Mat. Shk., No. 2, 47-48 (2011).
Classification: D70 E40 E30 Reviewer: Elena Glukhova (Moskva)
62
On the language in mathematics. (O vyjadřování v matematice.) (Czech)
Učitel Mat. 19, No. 2, 95-98 (2011).
Classification: E30 G30
63
Limits of mathematics. A journey through the core subjects of mathematical logic. (Grenzen der Mathematik. Eine Reise durch die Kerngebiete der mathematischen Logik.) (German)
Heidelberg: Spektrum Akademischer Verlag (ISBN 978-3-8274-2559-1/pbk; 978-3-8274-2560-7/ebook). ix, 409~p. (2011).
Classification: E30 Reviewer: Victor V. Pambuccian (Dortmund)
64
Problem solving, logic and triangles with Mathematica. (Problem-solving, logica e triangoli con Mathematica.) (Italian. English summary)
Educ. Mat. (Cagliari) 32, No. 2, 45-60 (2011).
Classification: U70 D50 E30 G60
65
Introduction to propositional logic by means of the puzzles of Smullyan. (Introduzione alla logica proposizionale attraverso gli indovinelli di Smullyan.) (Italian. English summary)
Educ. Mat. (Cagliari) 32, No. 3, 5-28 (2011).
Classification: E30 A20
66
Frege’s theorem. (English)
Oxford: Oxford University Press (ISBN 978-0-19-969564-5/hbk). xiv, 307~p. (2011).
Classification: E20 E30 Reviewer: Matthias Wille (Essen)
67
Sudoku in teaching: Mathematics not only for leisure hours. (Sudoku im Unterricht: Mathematik nicht nur für Mußestunden.) (German)
MNU, Math. Naturwiss. Unterr. 64, No. 8, 463-466 (2011).
Classification: A20 U60 E30
68
“Why did you do that?” ‒ reasoning in algebra classrooms. (English)
Math. Teach. (Reston) 104, No. 6, 460-464 (2011).
Classification: H30 E30 E50
69
Knowledge: genuine and bogus. (English)
Sci. Educ. (Dordrecht) 20, No. 5-6, 411-438 (2011).
Classification: E20 E30 K50
70
Using an argument ontology to develop pedagogical tool suites. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 207-214 (2011).
Classification: R40 E30 A60
71
Using a learner- and teacher-friendly environment for Turing machine programming and testing. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 198-206 (2011).
Classification: P20 E30 A60
72
Variables in mathematics education. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 54-61 (2011).
Classification: H20 E40 E30 D40 A60
73
Designing an introductory course to elementary symbolic logic within the blackboard e-learning environment. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 249-255 (2011).
Classification: E30 D40 R20 U50 A60
74
A logic teaching tool based on tableaux for verification and debugging of algorithms. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 239-248 (2011).
Classification: E30 R20 U50 A60
75
A framework for coping with logically-minded arguments in philosophy. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 231-238 (2011).
Classification: E30 E20 A60
76
Visual tools for teaching propositional logic. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 215-222 (2011).
Classification: E30 D40 A60
77
Information-theoretic perspective for teaching logic. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 170-177 (2011).
Classification: E30 P20 A60
78
Mhy bib I fail logic? Dyslexia in the teaching of logic. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 162-169 (2011).
Classification: E30 C50 A60
79
Adding a dimension to logic diagramming. (English)
Blackburn, Patrick (ed.) et al., Tools for teaching logic. Third international congress, TICTTL 2011, Salamanca, Spain, June 1‒4, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21349-6/pbk). Lecture Notes in Computer Science 6680. Lecture Notes in Artificial Intelligence, 101-108 (2011).
Classification: E30 A60
80

Result 61 to 80 of 431 total

Valid XHTML 1.0 Transitional Valid CSS!