Author:
Jerzy Karczmarczuk
Affiliation:
University of Caen, France
Keyword(s):
Logic, Prolog, Abstraction, Constraint programming, Non-determinism.
Related
Ontology
Subjects/Areas/Topics:
Authoring Tools and Content Development
;
Computer-Supported Education
;
Context Dependent Learning
;
Domain Applications and Case Studies
;
e-Learning
;
e-Learning Hardware and Software
;
Higher Order Thinking Skills
;
Information Technologies Supporting Learning
;
Intelligent Learning and Teaching Systems
;
Learning/Teaching Methodologies and Assessment
;
Ubiquitous Learning
Abstract:
We argue in favour of teaching modern programming to students of “non-scientific” undergraduate disciplines (humanities), considering that computer-assisted learning should not be reduced to the usage of tools, but provides some answers to the question: how the knowledge is built. The computer science should be treated as an inherent part of their culture. We advocate the teaching of Logic Programming languages: Prolog, and of the Constraint Programming languages, such as CHR. Logic programming permits to formulate the computational problems and their solutions in a form more close to human reasoning than several other languages, and adaptable to the domains of interest of the learners.