Describes computer assisted instruction programs for teaching logic during first year philosophy courses at the University of Hong Kong. These programs include JOHN, which introduces Venn-diagrams for evaluating syllogistic arguments; LUDWIG, which introduces techniques for evaluating arguments in propositional calculus; and TIARA, which provides…

Describes two Computer Illustrated Texts (CITs) used to teach numerical methods. The integration of textbooks and microcomputers is discussed, three worksheets are included that contain exercises using the CITs, and results of a study of the effectiveness of using the CITs in a university course are presented. (three references) (LRW)