Koofers

Lecture Notes for CMSC 250 - Discrete Structures at Maryland (UMD)

Notes Information

Material Type:Class Note
Professor:Staff
Class:CMSC 250 - Discrete Structures
Subject:Computer Science
University:University of Maryland
Term: 2007
Keywords:
  • Propositional Logic
  • Propositional
  • Conjunction
  • Conditional
  • Assumptions
  • Introduction
  • Contradiction
  • Necessary Condition
  • Definitions
  • Contrapositive
Login / Sign Up to View Document
Preview Page 1Preview Page 2Preview Page 3Preview Page 4Preview Page 5Preview Page 6

Sample Document Text

CMSC 250 Discrete Structures Introduction & Propositional Logic 4 June 2007 Introduction & Propositional Logic 2 Knights and Knaves square6 There is an island containing two types of people - Knights who always tell the truth, and - Knaves who always lie square6 You visit the island and are approached by two natives who speak to you as follows: - A says: B is a knight. - B says: A and I are of opposite types. square6 What are A and B? Raymond Smullyan, What is the Name of This Book? 4 June 2007 Introduction & Propositional Logic 3 Course Content square6 Propositional Logic (and circuits) square6 Predicate Calculus (quantification) square6 Number Theory square6 Mathematical Induction square6 Counting - combinations and probability square6 Functions square6 Relations square6 Graph Theory 4 June 2007 Introduction & Propositional Logic 4 Motivation square6 Why learn this material? - Some things can be "directly applied" - Some things are "good to know" - Mathematical maturity sq...

Related Documents

Definite Truth Values Notes
Propositional Exam
Either...or Exam
Immediately Exam
Either...or Exam
Materiality Notes
Unauthorized Exam
Cmsc 250 Quiz Quiz
Either...or Exam
Explanation Notes
Explanation Notes
Logical Manner Notes
Independence Notes
Contrapositive Exam
Contrapositive Exam
Either...or Exam
155, "/var/app/current/tmp/"