Using IDEAS in teaching logic, lessons learned

Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008

Volumn 5, Issue , 2008, Pages 553-556

  Lodder, Josje ^a   Passier, Harrie ^a   Stuurman, Sylvia ^a  

^a OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

E learning; Exercise assistant; Feedback; Interactive tool; logic; Teaching

Indexed keywords

DISJUNCTIVE NORMAL FORM; EXERCISE ASSISTANT; INTERACTIVE TOOL; LOGIC; LOGICAL FORMULAS; OPEN UNIVERSITIES;

E-LEARNING; SOFTWARE ENGINEERING;

STUDENTS;

EID: 79551652864     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSSE.2008.403     Document Type: Conference Paper

References (7)

1. Corbalan, G., F. Paas, H Cuypers, "Overview of the results tests 1 and 2", 2008 http://ideas.cs.uu.nl/wiki/index.php/Project-documents.
2. Lodder, J., J. Jeuring, H. Passier, "An interactive tool for manipulating logical formulae", Proceedingsof the Second International Congress on Tools for Teaching Logic (SICTTL), ed M. Manzano, Salamanca, 2006, pp. 93-99.
3. Thijsse, E. , Logica in de praktijk, Academic Service, Schoonhoven, 2000.
4. Heeren B. J. Jeuring, A van Leeuwen, A Gerdes, "Specifying strategies", 2008 http://www.cs.uu.nl/research/techreps/UU-CS-2008-001.html
5. Jeuring J., H. Passier, S. Stuurman, "A generic framework for developing exeercise", Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training (ITHET), Kumamoto City, Japan, 2008.
6. Dostálová L, J. Lang, Organon - the web-tutor for basic logic courses" Logic Journal of the IGPL 2007 15(4), pp. 305-311.
7. Moreno A., N. Budesca, "Mathematical logic tutor propostional calculus", Proceedings of the First International Congress on Tools for Teaching Logic (FICTTL), ed. M. Manzano, Salamanca, 2000, pp. 99-106.