Modules Topics covered in this class.

This page presents the “modules”, or the topics that are covered in this course.

Click on the tile associated with a module to go to a page containing that module’s contents.

1. Introduction

Overview of ICS 141, and some simple initial tasks to get oriented and ready for the course.

2. Propositional Logic

Assertions and propositions, connectives, tautologies, contradictions, implications, equivalences, proofs.

3. Predicate Logic

Predicates, quantifiers, free and bound variables, implications, equivalences, inference rules, proof techniques.

4. Sets

Sets, set notation, relationships between sets, set operations, set properties, proving set properties, Russell’s Paradox.

5. Functions

Operations on functions, classification of total functions, cardinality, set membership, logarithms, exponentiation.

6. Sequences, series, summations

Sequences, recurrence systems, series, generating functions.

7. Linear algebra

Applications of linear algebra, systems of linear equations, gaussian elimination with back substitution, Gauss-Jordan elimination, Cramer’s Rule.

8. Midterm

Demonstrate your ability to integrate all of the material in this course so far.

9. Algorithms

Algorithms, computational complexity, asymptotic notations, pseudocode, greedy algorithms, easy vs. hard problems, and other stuff.

10. Data representations

Positional number systems (binary, octal, hexadecimal), natural numbers, signed integers, floating point, characters.

11. Number theory

Number theory, least common multiple (LCM), greatest common divisor (GCD), primes, factorization, congruences, modular arithmetic.

12. Induction and recursion

Inductive definitions, recurrence systems, proof by induction, recursive algorithms, recursion vs. iteration.

13. Counting

Combinatorics, permutations, combinations, selections, pigeonhole principle, inclusion-exclusion.

14. Discrete probability

Probability theory, computing discrete probabilities, random variables, discrete distribution functions, Bayes’ Theorem, expected values, Central Limit Theorem.

Coming soon...

15. Final Exam

Demonstrate your ability to integrate all of the material in this course.

Coming soon...