Resources
Project Euler.
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
Recursively defined objects
Fibonacci numbers
- Wikipedia
- Fibonacci Heap
- Scientists find clues to the formation of Fibonacci spirals in nature
- Wolfram Mathworld
Sequences
- What is the next number in the sequence 2, 3, 5, 11, 31, ?