ENG 001A - Find, read, analyze, evaluate, interpret, and synthesize outside sources, including online information.
CS 007A - Design, implement, test, and debug a program that uses each of the following fundamental programming
constructs: basic computation, simple I/O, standard conditional and iterative structures, and the definition of functions
CS 007A - Use pseudocode or a programming language to implement, test, and debug algorithms for solving simple
problems
ENG 001A - Read, analyze, and interpret varied texts (i.e. literature, digital forms, visual).
ENG 001A - Develop ideas coherently in writing through the drafting process.
Course Content and Scope:
Lecture:
Propositional Logic: Logic of Compound Statements1.
Logical form and equivalence1.
Conditional Statements2.
Tautologies, Valid and Invalid Arguments3.
Application: Digital Circuits and Logic Programming4.
Logic of Quantified Statements2.
Predicates1.
Universal and Existential Quantifiers2.
Negation of Quantified Statements3.
Arguments with Quantified Statements4.
Elementary Number Theory and Methods of Proof3.
Methods of Proof: Direct and Counter-example1.
Rational Numbers and Divisibility, Modular Arithmetic2.
Division into Cases and the Quotient-Remainder Theorem3.
Indirect Argument: Contradiction and Contraposition4.
Applications: Euclidean algorithm (gcd), Division Algorithm, Infinitude of Primes, Irrationality
of 2.
5.
Induction, Strong Induction, and the Well-Ordering Principle6.
Counting and Probability4.
Counting and Possibility Trees1.
Combinations and Permutations2.
Pigeonhole Principle3.
Pascal's Triangle and the Binomial Theorem4.
Probability Axioms and Expected Value5.
Conditional Probability, Bayes' Theorem, and Independence6.
Functions and Recursion5.
Relations and Functions1.
Numerical functions, Including Floor/Ceiling Functions, Functions defined on General Sets2.
One-to-One and Onto Functions, Inverse Functions3.
Matrices Describing Relations4.
Recursively-Defined Sequences, Recurrence relations and Finite differences5.
Relations on Sets, Reflexive Relations, Symmetric and Antisymmetric Relations, and
Transitive Relations
6.
Equivalency Relations7.
Partial Order Relations8.
Applications: Finite State Machines, Modular arithmetic, Chinese Remainder Theorem, and
Cryptography
9.
Graphs and Trees6.
Graphs1.
Eulerian and Hamiltonian Paths and Circuits, Shortest Path Algorithms2.
Chromatic and planar graphs3.
Matrix representations of graphs4.
Isomorphisms5.
Trees and Spanning trees6.
Graph Algorithms, Directed Graphs, Binary Relations, Warshall's Algorithm7.
Huffman Codes, Aritculation Points, and Computer Networks8.
Set Theory and Boolean Algebra7.
Basic definitions and properties1.
8.