Motivating students of the Nintendo generation for Computer Science can only be achieved by providing them with an exiting and fresh CS1 course. The article describes the experienc...
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
Barry S. Fagin, Laurence D. Merkle, Thomas W. Egge...
We explored two approaches for encouraging introductory programming students to use the web-based, selfassessment system, QuizPACK. An "organizational" approach applied ...
In order to teach object-oriented design and programming in introductory computer science it is imperative to teach objects from the very beginning of the course. The use of inter...
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...