Lectures
Lectures are Thursdays 7--9 pm in BA1180. We'll cover the following topics:
- logic
- proof techniques
- complexity
- floating-point number representation
Although the only required material for this course is contained in the posted lecture summaries, you may want to read (and work exercises from) texts on logic and proofs (for example "Learning to Reason" by Nancy Rodgers, Wiley Interscience). Whenever there is a conflict between another text and the online notes, the online notes have precedence, since there will inevitably be differences in notations, definitions, and so on.
Summaries
- Here's a summary of week 13's lecture, also in LaTeX format. Here a sample solution for quiz 10.
- Here's a summary of week 12's lecture, also in LaTeX format. There is also FloatExample.java to fool around with floating-point error.
- Here's a summary of week 11's lecture, also in LaTeX format. Here's a solution for quiz 9
- Here's a summary of week 10's lecture, also in LaTeX format. Here's a solution for quiz 8.
- Here's a summary of lecture 9, also in LaTeX format. Here's a solution for quiz 7.
- Here's a summary of lecture 8, also in LaTeX format. Also, the Example8.java has the mult program discussed in lecture. Here's a solution for quiz 6.
- Here's a summary of lecture 7, also in LaTeX.
- Here's a summary of Lecture 6, as well as the same content in LaTeX.
- Here's a summary of Lecture 5 for your reading pleasure. There's also the same content in LaTeX, if you choose. Here's a solution for quiz 5.
- Here's a summary of Lecture 4, manipulating quantifiers, conjunctions, disjunctions, and negations. The summary is also available in LaTeX. Here's a solution for quiz 4.
- Here's a summary of Lecture 3, quantifying implications, equivalence, existential quantification. Here's the same summary in LaTeX format. Here's a solution for quiz 3.
-
Here's a summary of Lecture
2, sentences, statements, symbolic notation, and
implications. You can also view Venn diagrams F implies L or NOT (F implies L) as
well. A PostScript/PDF viewer such as gv give these files a
crude animation. You may download a sample solution for quiz 2
here. The following Java files implement some of the
predicates we have been talking about. Please feel free to
examine and play around with them.
- Domain.java
- Predicate.java
- PredicateSet.java
- ImplicationSet.java
- BiImplication.java
- Negation.java
- Conjunction.java
- Disjunction.java
- Here's a summary of Lecture 1, an introduction to CSC165 and implications. If you have a Java environment handy, you might want to try out Implication.java, Domain.java, Predicate.java, and PredicateSet.java. If you have a PostScript viewer, you can interpret implication.ps, which illustrates the implication "all female employees make less than 55,000." You may also download a sample solution for Quiz 1