engleski

Analysis of Free Web Tutorials for Education in Propositional and Predicate Logic

Logic topics are included in various university courses in formal foundations of computer science. Although students often have some experience with logic in previous education, they face challenges with propositional and predicate logic that is applied in other courses, such as data and knowledge bases or logic programming. To improve students understanding of this topic, existing study options should be analysed, tested, combined and included into course teaching methods after their adaptation to new suggestions. The aim of this paper is an initial analysis and comparison of free web tutorials for learning propositional and predicate logic according to learning materials and exercises they include, as well as their visual and technical characteristics. Analysis results are presented and further steps of research are proposed.

propositional logic ; predicate logic ; web tutorial ; online

nije evidentirano