CMSC 250

Introduction to Discrete Structures

Spring 2001

Home Administrivia Homework Exam Dates Grades Notes Links


The following include notes on Propositional and Predicate Logic by Charles Lin. I have not thoroughly proofread the notes, so they may contain errors. I will correct errors as they are pointed out to me, so these notes may change over time. Furthermore, the presentation in these notes may not emphasize the same ideas as what is expected on the exam (although it should be close). The notes are made available only as an alternate resource, so use at your own risk.

All notes are copyright by Charles Lin, with all rights reserved. You may NOT copy or reproduce the notes in whole or in part without explicit written permission from Charles Lin, except for use in CMSC 250 class purposes. Sale or redestribution of notes is also not permitted without explicit written permission from Charles Lin.

What It Is
Handout
Posted
Length
Notes on Propositional Logic [Postscript] Feb. 5 25 pages
Notes on Predicate Logic [Postscript] Feb. 5 40 pages
Notes on Inequality Inductions [Postscript] Feb. 5 5 pages
Notes on Strong Induction [Postscript] Feb. 5 4 pages
Notes on NIM [Postscript] Feb. 5 4 pages
Handout on March 5 [Postscript] [PDF] Mar. 9 4 pages
Handout on March 7 [Postscript] [PDF] Mar. 9 3 pages
Planar Graphs are 5-colorable [Postscript] [PDF] May 12 4 pages