History
1
431


Help on query formulation

Result 81 to 100 of 431 total

The question of the question in critical thinking? (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, 93-100 (2011).
Classification: E30 R20 R40 A60
81
Concrete epistemic modal logic: Flatland. (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, 70-76 (2011).
Classification: E30 R20 R40 A60
82
Logic training through algorithmic problem solving. (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, 62-69 (2011).
Classification: E30 D50 R20 R40 A60
83
ORGANON: Learning management system for basic logic courses. (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, 46-53 (2011).
Classification: E30 R20 R40 A60
84
Teaching logic 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, 38-45 (2011).
Classification: E30 E20 D40 A60
85
Araucaria-PL: Software for teaching argumentation theory. (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, 30-37 (2011).
Classification: E30 R20 R40 A60
86
CT2.0: A collaborative database of examples for teaching informal 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, 24-29 (2011).
Classification: E30 R20 R40 A60
87
E-learning and semantic technologies: Tools and concepts. (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, 9-23 (2011).
Classification: E30 R20 R40 A60
88
Teaching argumentation theory and practice: The case of {\it 12 Angry Men}. (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, 1-8 (2011).
Classification: E30 M80 A60
89
Conjecturing via reconceived classical analogy. (English)
Educ. Stud. Math. 76, No. 2, 123-140 (2011).
Classification: C30 E30 E40 E50
90
Did you know it? Goodstein sequences are null sequences ‒ indeed? (Hättest du es gewusst? Goodstein Folgen sind Nullfolgen ‒ wirklich?) (German)
Monoid 30, No. 101, 13-17 (2010).
Classification: I30 E30
91
When does a mathematician work backwards? (Wann arbeitet ein Mathematiker rückwärts?) (German)
Monoid 30, No. 103, 12-16 (2010).
Classification: E50 E30
92
Logicomix. An epic search for truth. (Logicomix. Eine epische Suche nach Wahrheit.) (German)
Zürich: Atrium-Verlag (ISBN 978-3-85535-069-8). 351~p. (2010).
Classification: A30 E20 E30 A80 Reviewer: Helena Mihaljevic-Brandt (Berlin)
93
Some logical problems. (Několik logických úloh.) (Czech)
Mat. Fyz. Inform. 19, No. 7, 385-396 (2010).
Classification: A20 A80 E30 Reviewer: Karel Zavřel (Prague)
94
Spreadsheet-based Sudoku as a tool for teaching logical deduction. (English)
Spreadsheets Educ. 4, No. 1, Article 3 (28 p.) (2010).
Classification: E30 A20 U60 R80
95
A comparison of two methods for completing Sudoku puzzles. (English)
Spreadsheets Educ. 3, No. 3, Article 1 (12 p.) (2010).
Classification: U60 A20 E30
96
Structured derivations: a unified proof style for teaching mathematics. (English)
Formal Asp. Comput. 22, No. 5, 629-661 (2010).
Classification: E50 E30
97
A tour through mathematical logic. Paperback reprint of the 2005 original. (English)
Carus Mathematical Monographs 30. Washington, DC: The Mathematical Association of America (MAA) (ISBN 978-0-88385-042-8/pbk). xv, 397~p. (2010).
Classification: E30 P20 A30
98
The philosophical logic of Gottlob Frege. A commentary. With the texts of the prefaces to Grundgesetze der Arithmetik and Logische Untersuchungen I‒IV. (Die philosophische Logik Gottlob Freges. Ein Kommentar. Mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I‒IV.) (German)
Klostermann Rote Reihe 30. Frankfurt am Main: Vittorio Klostermann (ISBN 978-3-465-04062-0/pbk). 840~p. (2010).
99
The game of logic of Lewis Carroll and the syllogisms. (Il gioco della logica di Lewis Carroll e i sillogismi.) (Italian. English summary)
Archimede 62, No. 2, 82-91 (2010).
Classification: E30 Reviewer: Claudio Bernarch (Roma)
100

Result 81 to 100 of 431 total

Valid XHTML 1.0 Transitional Valid CSS!