This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: CPSC 121 Lecture 8 January 21, 2009 Menu January 21, 2009 Topics: Summary of Learning Goals (Epp Chapter 1) Predicates and Quantified Statements Reading: Today: Epp 2.1 Next: Epp 2.2–2.4 Reminders: Online Quiz 5 deadline 9:00pm January 22 Assignment 1 due Friday, January 30, 17:00 Inclass Quiz 1 Wednesday, February 4 Midterm exam Tuesday, February 24 (evening) READ the WebCT Vista course announcements board Important Take Away Point from Last Lecture Formal logic is less concerned with the question, “What are the right hypotheses to make?” than it is with the question, “Given a set of hypotheses, what are the logical consequences of those hypotheses?” Of course, we want to use formal logic to prove things about the computer circuits we design and build. We do care that our hypotheses correctly represent the theory we intend our circuits to implement In this course, the focus is on the connection between formal logic and the computer circuits we design and build. More generally, in computer science, we also are concerned about the connection between formal logic and the programming languages we design and implement (and the programs we subsequently write). We do care that our hypotheses correctly represent the algorithms we intend our programs to implement. Here’s the example from geometry mentioned verbally during the previous lecture. An Example from Geometry In 2D Euclidean Geometry (i.e., plane geometry) we “know” that two parallel lines never meet Question: Can you prove this? Answer: No. This is an hypothesis (i.e., an axiom) of Euclidean geometry Question: What happens if you throw this axiom away? Answer: You get different (and interesting) geometries. One example is spherical geometry (i.e., geometry on the surface of a sphere) where, in fact, parallel lines do meet To illustrate, imagine two people on the earth’s equator, one in South America and the other in Africa. They both head due north. At that moment they are headed in parallel directions (i.e., due north). If they were to continue, their paths would eventually cross at the north pole. The geometry of the plane is fundamentally different from the geometry of the sphere, something that has made mapmaking (i.e., cartography) a challenge for centuries....
View
Full Document
 Spring '08
 BELLEVILLE
 Logic, natural language, propositional logic statements

Click to edit the document details