Priorities for the education and training of software engineers
Journal of Systems and Software - Special issue on empirical studies of software development and evolution
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An essential language for declarative business rules
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
Hi-index | 0.00 |
Formal logic has been considered as one of the advanced topics in computing that students do not grasp easily. But the inherent nature of formal logic makes itself a natural choice for forming an overbearing organizing structure, which can be utilized in providing scaffolding during instructional process. This paper discusses the role of formal logic in teaching information science and information systems. We claim that formal logic can be used to realize the modern instruction design principles by ensuring activation of relevant prior knowledge and experiences when learner moves from one topic to another. The paper also describes the successful implementation and evaluation of an on-line teaching tool utilizing predicate logic notation to assist learners in mastering a difficult to learn Unix/Linux system administration command.