Discrete Structures

Lecture Notes 9/1/10

Last Update: 13 September 2010

Note: NEW or UPDATED material is highlighted

Note: A username and password may be required to access certain documents. Please contact Bill Rapaport.

  1. Today, we finished discussing what discrete math is.
    For a summary, see:

  2. Then, we discussed why it was worth studying discrete math.
    For a summary, see "Why might this course be useful?"

  3. Finally, we began our study of logic:

    1. Logic is the mathematical theory of "correct" reasoning & representation

      1. George Boole (of "Boolean variables" fame) called it "laws of thought"

      2. Besides the mathematical theory of logic, there is also a psychological theory of how people actually reason (this is a branch of cognitive science).

      3. And there is a computational theory of how to get computers to reason…

        1. either correctly, as in the branch of AI called "knowledge representation & reasoning"&mdashCSE 463

        2. UPDATED
          or like humans, as in the branch of AI and computational cognitive science that studies human reasoning; see link above

    2. Logic is at the foundation of math
      …and of CS (as in the Theory of Computation, CSE 396)
      …and of CEN (logic gates are the fundamental building blocks of electronic circuits)
Next lecture…

Text copyright © 2010 by William J. Rapaport (rapaport@buffalo.edu)
Cartoon links and screen-captures appear here for your enjoyment.
They are not meant to infringe on any copyrights held by the creators.
For more information on any cartoon, click on it, or contact me.