1 / 42

CS322

Formal Methods. CS322. Who am I? (for those of you who don’t know me already). Dr. Barry Wittman Not Dr. Barry Whitman Education: PhD and MS in Computer Science, Purdue University BS in Computer Science, Morehouse College Hobbies: Reading, writing Enjoying ethnic cuisine DJing

muniya
Download Presentation

CS322

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Formal Methods CS322

  2. Who am I? (for those of you who don’t know me already) • Dr. Barry Wittman • Not Dr. Barry Whitman • Education: • PhD and MS in Computer Science, Purdue University • BS in Computer Science, Morehouse College • Hobbies: • Reading, writing • Enjoying ethnic cuisine • DJing • Lockpicking

  3. How can you reach me? • E-mail:wittmanb@etown.edu • Office: Esbenshade 284B • Phone: (717) 361-4761 • Office hours: MWF 11:00am – 12:00pm M3:30 – 4:20pm W 3:30 – 5:30pm And by appointment • Website: http://users.etown.edu/w/wittmanb/

  4. Course Overview

  5. Textbook • Susanna S. Epp • Discrete Mathematics with Applications • 4th Edition, 2010, Brooks Cole • ISBN-10: 0495391328 • ISBN-13: 978-0495391326

  6. You have to read the book • You are expected to read the material before class • If you're not prepared, you will be asked to leave • You will forfeit the opportunity to take quizzes • Much more importantly, you will forfeit the education you have paid around $100 per class meeting to get

  7. This is a math class • It’s mostly discrete math • Meaning math that is not continuous • It is not discreet math • Meaning math that won’t tell people what you did • There are certain kinds of math that are really beneficial to CS • We have collected a big chunk of these and put them in this course • It’s a grab bag

  8. Topics to be covered • Logic • Proofs • Basic number theory • Mathematical induction • Set theory • Functions and relations • Counting and probability • Graphs and trees • Regular expressions and finite automata • Running time • Formal languages and grammars

  9. More information • For more information, visit the webpage: http://users.etown.edu/w/wittmanb/cs322 • The webpage will contain: • The most current schedule • Notes available for download • Reminders about exams and homework • Syllabus (you can request a printed copy if you like) • Detailed policies and guidelines • Piazza will allow for discussion and questions about assignments: https://piazza.com/etown/spring2014/cs322/

  10. Homework

  11. Ten homework assignments • 30% of your grade will be ten equally weighted homework assignments • Each will focus on a different set of topics from the course • All homework is to be done individually • I am (nearly always) available for assistance

  12. Turning in homework • Homework assignments must be turned in by saving them in your class folder (J:\SP2013-2014\CS322A) before the deadline • Do not put assignments in your public directories • Late homework will not be accepted • Paper copies of homework will not be accepted • Each homework done in LaTeX will earn 0.5% extra credit toward the final semester grade • Doing every homework in LaTeX will raise your final grade by 5% (half a letter grade)

  13. Impromptu student lectures

  14. Impromptu lectures • 5% of your grade will be lectures that you give • You will give roughly two of these lectures at any time during the semester, without any warning • You will have 3 to 5 minutes in which you must present the material to be read for that day • Students are encouraged to ask questions • There is no better way to learn material than by teaching it • Polishing public speaking skills is never a bad thing

  15. Quizzes

  16. Pop Quizzes • 5% of your grade will be pop quizzes • These quizzes will be based on material covered in the previous one or two lectures • They will be graded leniently • They are useful for these reasons: • Informing me of your understanding • Feedback to you about your understanding • Easy points for you • Attendance

  17. Exams

  18. Exams • There will be three equally weighted in-class exams totaling 45% of your final grade • Exam 1:2/10/2014 • Exam 2: 3/17/2014 • Exam 3: 4/14/2014 • The final exam will be worth 15% of your grade • Final: 11:00am – 2:00pm 5/05/2014

  19. Course Schedule

  20. Tentative schedule

  21. Policies

  22. Grading breakdown

  23. Grading scale

  24. Academic dishonesty • Don’t cheat • First offense: • I will give you a zero for the assignment, then lower your final letter grade for the course by one full grade • Second offense: • I will fail you for the course and try to kick you out of Elizabethtown College • Refer to the Student Handbook for the official policy • Ask me if you have questions or concerns

  25. Disability Elizabethtown College welcomes otherwise qualified students with disabilities to participate in all of its courses, programs, services, and activities. If you have a documented disability and would like to request accommodations in order to access course material, activities, or requirements, please contact the Director of Disability Services, Lynne Davies, by phone (361-1227) or e-mail daviesl@etown.edu. If your documentation meets the college’s documentation guidelines, you will be given a letter from Disability Services for each of your professors. Students experiencing certain documented temporary conditions, such as post-concussive symptoms, may also qualify for temporary academic accommodations and adjustments. As early as possible in the semester, set up an appointment to meet with me, the instructor, to discuss the academic adjustments specified in your accommodations letter as they pertain to my class.

  26. Logic

  27. Boxing warmup • Consider three boxes A, B, and C • One contains gold, but the other two are empty • Each box has a message printed on it • Two of the messages are lies, and one is telling the truth • Which box has the gold? The gold is not here. The gold is not here. The gold is in Box B. A B C

  28. Metalogic • On a given island, everyone is either a Knight or a Knave • Knights always tell the truth, and Knaves always lie • Imagine that I meet two inhabitants of this island and ask, "Is either of you a Knight?" • Given his response, I know the answer to my question • Are the inhabitants in question Knights or Knaves?

  29. Propositional Logic

  30. Combining truth and falsehood • Politicians lie. • True statement! • Cast iron sinks. • True statement! • Politicians lie in cast iron sinks. • Absurd statement!

  31. Propositional logic • Propositional logic is the logic that governs statements • A statement is either true or false (but nothing else!) • We want to combine them, infer things about them, prove them true or false • First, we have to learn their rules

  32. p and q • "The moon is made of green cheese"is a statement, that is, something that is either true or false • It takes a long time to write"The moon is made of green cheese" • Mathematicians are lazy, and so they let a variable represent this statement • p and q are common choices for propositional logic • So, we can use p in place of "The moon is made of green cheese" • Similarly, we can use q in place of "The earth is made of rye bread"

  33. AND, OR, NOT • Like programming, combining two values with AND will be true only if both values are true • Using OR makes the result true if either is true • NOT changes a true to false and a false to true • Mathematicians use their own symbols for AND, OR, and NOT

  34. Truth tables • To better understand an operation, we can make a truth table, giving all possible input values and the corresponding output values • This truth table is for pq

  35. Think about it… • What’s the truth table for qp? • Consider: (p  q)  ~(p q) • What’s its truth table? • What’s its meaning? • What’s the truth table for pq r? • How many lines are in a truth table with n symbols? • How many different truth tables are possible for two input symbols?

  36. Logical equivalence • Two different statements can be written differently and yet be logically equivalent • p ~(~p) • Make a truth table • If all outputs match up, the statements are logically equivalent • If even one output doesn’t match, the statements are not equivalent

  37. De Morgan’s Laws • What’s an expression that logically equivalent to ~(p  q) ? • What about logically equivalent to ~(p  q) ? • De Morgan’s Laws state: • ~(p  q)  ~p ~q • ~(p  q)  ~p ~q • Essentially, the negation flips an AND to an OR and vice versa

  38. What are you implying? • You can construct all possible outputs using combinations of AND, OR, and NOT • But, sometimes it’s useful to introduce notation for common operations • This truth table is for pq

  39. If… • We use  to represent an if-then statement • Let p be "The moon is made of green cheese" • Let q be"The earth is made of rye bread" • Thus, pq is how a logician would write: • If the moon is made of green cheese, then the earth is made of rye bread • Here, p is called the hypothesis and q is called the conclusion • What other combination of p and q is logically equivalent to pq ?

  40. Upcoming

  41. Next time… • More on implications • Validity of arguments • Examples with digital circuits

  42. Reminders • Read Chapter 2

More Related