Teaching logic through web-based and gamified quizzing of formal arguments

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8095 LNCS, Issue , 2013, Pages 410-423

  Øhrstrøm, Peter ^a   Sandborg Petersen, Ulrik ^a   Thorvaldsen, Steinar ^b   Ploug, Thomas ^a  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITY OF TROMSØ   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ETHICAL ASPECTS; JAVA IMPLEMENTATION; LEARNING CONTEXT; LONG-TERM SUSTAINABILITY; QUALITATIVE INTERVIEWS; TECHNICAL IDEAS; UNIVERSITY COURSE; WEB-BASED TOOLS;

PROLOG (PROGRAMMING LANGUAGE); STUDENTS; TEACHING; WEBSITES;

TOOLS;

EID: 84883412921     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40814-4_32     Document Type: Conference Paper

References (13)

1. Parry, W.T., Hacker, E.A.: Aristotelian Logic. State University of New York Press (1991)
2. Aristotle: Prior Analytics. Jenkinson, A.J. (trans.) The Internet Classics Archive (1994-2000), http://classics.mit.edu/Aristotle/prior.html
3. Kabbaj, A., Janta-Polczynski, M.: From PROLOG++ to PROLOG+CG: A CG object-oriented logic programming language. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 540-554. Springer, Heidelberg (2000)
4. Kabbaj, A., Moulin, B., Gancet, J., Nadeau, D., Rouleau, O.: Uses, improvements, and extensions of Prolog+CG: Case studies. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 346-359. Springer, Heidelberg (2001) (Pubitemid 33314679)
5. Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., Ploug, T.: Classical Syllogisms in Logic Teaching. In: Pfeiffer, H.D., Ignatov, D.I., Poelmans, J., Gadiraju, N. (eds.) ICCS 2013. LNCS, vol. 7735, pp. 31-43. Springer, Heidelberg (2013)
6. Raymond, E.S.: The Cathedral & the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary. O'Reilly Media (2001)
7. Dougiamas, M., Taylor, P.C.: Moodle: Using Learning Communities to Create an Open Source Course Management System. In: Proceedings of EDMEDIA 2003 (2003)
8. Biggs, J.: What the Student Does: teaching for enhanced learning. Higher Education Research & Development 18(1) (1999)
9. Hoffman, B., McCrudden, M.T., Schraw, G., Hartley, K.: The Effects of Informational Complexity and Working Memory on Problem-Solving Efficiency. Asia Pacific Education Review 9(4), 464-474 (2008)
10. Bucciarelli, M., Johnson-Laird, P.N.: Strategies in syllogistic reasoning. Cognitive Science 23(3), 247-303 (1999)
11. Gilhooly, K.J., Logie, R.H.,Wynn, V.: Syllogistic reasoning tasks, working memory, and skill. European Journal of Cognitive Psychology, 11(4), 473-498 (1999)
12. Johnson-Laird, P.N., Bara, B.G.: Syllogistic inference. Cognition 16, 1-61 (1984)
13. Schäfer, A., Holz, J., Leonhardt, T., Schroeder, U., Brauner, P., Ziefle, M.: From boring to scoring a collaborative serious game for learning and practicing mathematical logic for computer science education. Computer Science Education 23(2), 87-111 (2013)