Advertisement

Teaching logic as a tool

  • David Gries
  • Fred Schneider
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 750)

Abstract

The typical discrete-math course has a unit on formal logic, but is concepts and notations are rarely applied in other units of the course. Instead, logic is viewed as an isolated topic, perhaps motivated by an application or two. Not surprisingly, students develop a negative view of logic as a topic that is of academic interest only.

This tutorial presents our experiences in teaching another view: logical manipulation can be a powerful and versatile tool for the practicing mathematician and computer scientist, and students should be taught to use this tool skillfully. Armed with this tool, students have an easier time mastering other discrete-math topics, as well as later topics in the computer science and mathematics curriculum.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • David Gries
    • 1
  • Fred Schneider
    • 1
  1. 1.Cornell UniversityIthaca

Personalised recommendations