CSci 1302 Foundations of Computer Science - Resources.

[Home] [Syllabus] [Assignments] [Resources and Handouts]

This page has handouts for the course and links to other helpful materials. The materials will be added as needed.

Handouts

• Rules and examples of proofs in predicate logic
• A longer example of proofs in predicate logic.

Some general links on use of logic in computer science

• Factasia (not to be confused with Fantasia) is a web site that gives definitions and brief overviews of different branches of logic and their use in math and computer science, as well as some philosophical view of logic. This informative and fascinating web site was created and is maintained by Roger Bishop Jones.
• Fuzzy logic
• Wikipedia article on logic gates, Central processing unit (CPU), NAND gate (Sheffer stroke)
• Representation of integers in computer memory
• Barber paradox
• Strong induction vs weak induction
• Fibonacci numbers

Some resources on basic algebra.

Appendix A in the textbook and the inside of the back cover have some helpful formulas (fraction operations, exponents, logarithms, etc). Other sources include:

• Algebra cheat sheet has some common properties, including factoring. It also lists some common mistakes.
• A detailed overview of multiplication of polynomials

Examples and demos

• Inductive proof of a tromino theorem (a demo).
• Insertion sort
• Insert-sort with Romanian folk dance, Bubble-sort with Hungarian ("Csángó") folk dance , Merge-sort with Transylvanian-saxon (German) folk dance (Sapientia University)
• Visualization of binary search
• Sorting algorithms comparison (visualization)