Learning Resources
- How to learn the material in this course.
- Key Terms and Results.
- Mathworld
- Wikipedia
- Donald Knuth's VOLUME 4: He graciously has made several completed fascicles available online:
- 7.1.1 Boolean Basics (ha!)
- 7.2.1.6 Generating All Trees
- 7.2.1.7 History of Combinatorial Generation
Logic
- The Boolean Satisfiability Problem
- Encoding a Sudoku puzzle as a boolean formula
- LSAT
The Law School Admission Test (LSAT) is a half-day standardized test required for admission to all ABA-approved law schools, most Canadian law schools, and many non-ABA-approved law schools. It provides a standard measure of acquired reading and verbal reasoning skills that law schools can use as one of several factors in assessing applicants. Much of the test is on logic. Here are 2 short parts of practice tests which require logic. In the LSAT test, you have 35 minutes to complete 4 of these pages. For now, I recommend that you to strive to get the right answers. If you can do all of these comfortably, you're probably understanding logic well.
- Horn clauses, theorem-proving, and logic programming with Prolog
Writing mathematics for this course
I am making some latex input and corresponding output available to you as a source of example proofs. Please suggest changes that you think would make these proofs better for human consumption by students, such as yourself. In that sense, this is a community effort.
Miscellaneous Items of Possible Interest
- Fibonacci numbers (Notice the applications)