engleski

Overview of Online Teaching Resources for Logic Programming

Computer science studies offer a number of programming courses. Previous research, mostly concentrated on object-oriented programming, has shown that students face various obstacles in learning programming languages, which resulted in suggestions for improving teaching process in this field. Logic programming, belonging to a different, declarative programming paradigm, has been researched to a smaller extent, although it raises even bigger challenges for both students and teachers. Students are recommended to first acquire knowledge in formal logic, and then to learn how to apply that knowledge in logic programming. This paper addresses teaching formal logic and especially logic programming. As a first step in initiative for its improvement, an overview of existing logic programming teaching resources is made, with the emphasis on freely available online courses, materials and tools.

logic programming ; formal logic ; teaching resources ; online

nije evidentirano