Courses/Computer Science/CPSC 203/CPSC 203 Template/Lecture Template/Lecture 15

From wiki.ucalgary.ca
< Courses‎ | Computer Science‎ | CPSC 203‎ | CPSC 203 Template‎ | Lecture Template
Revision as of 19:18, 28 October 2008 by Mishtu.banerjee (talk | contribs) (Glossary)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Housekeeping

Required Reading

Introduction

Today we introduce the notion of Truth Tables, which are part of Booleon Logic. George Boole was interested in "mathematicizing" the rules of correct reasoning, or Aristotelian Logic. The result was Boolean Logic. Where "Propositions" are given values of True(1) or False(0). Since computers only understand the values, 1 and 0, an introduction to Boolean Logic also begins to give one an understanding of the workings of computers at a low level.


In this lecture we will:

  • Revisit Venn Diagrams
  • Introduce Truth Tables for Boolean Logic
  • Work our way through a more complex Truth Table.

Glossary

  • Proposition -- A Statement about the World.
  • Boolean Logic -- A logical sytem where every proposition is assigned a truth value of 1 (True) or 0 (False), and Propositions can be combined via a small set of Boolean Logic Operators.
  • Truth Table -- A "functional" view of Boolean logic, where for a given set of inputs, and a specific operator, there is a specific output.
  • Boolean Logic Operators

Concepts

  • From Venn Diagrams to Boolean Logic

From Venn Diagrams to Boolean Logic

  1. Venn Diagrams Revisited
  2. The Idea of a Truth Table (as a logical function).
  3. The Basic Truth Tables and Functions (on which everything else is built)


The terms of Boolean Logic were illustrated by their respective Truth Tables. See also Wikipedia: http://en.wikipedia.org/wiki/Truth_table (note that in class we used 1 where they use "T", and we used 0 where they use "F").



For more on Boolean Logic please see: http://en.wikipedia.org/wiki/Boolean_Logic

A Computer Science oriented summary of Boolean logic is at: http://en.wikipedia.org/wiki/Boolean_logic

Truth Tables

The basic Truth Tables covered in this lecture are in the document below.

Media:TruthTableExamples.doc

Summary

(to be added)

Text Readings

Resources

The primary resource for this lecture was:

  • Ones & Zeros -- Understanding Boolean Algebra, Digital Circuits and the Logic of Sets. 1998. By John R. Gregg

Supplementary References are:

  • Logic. A Very Short Introduction. 2000. By Graham Priest.
  • Logic Made Easy. How to Know When Language Decieves You. 2004. By Deborah J. Bennett.
  • Feynman Lectures on Computation. 1996. By Richard P. Feynman.

Homework

Good luck on the Midterm next class!

Questions