Lecture 19 MapReduce and Spark

Lecture 21 Semi-structured Data

Lecture 22 SQL++ Nesting

Lecture 23 SQL++ Wrap up

Lecture 24 Stream Fundamentals

Topic 1 Symbolic Logic

Topic 2 Digital Logic

Topic 3 Boolean Algebra

Topic 4 Predicates and Quantifiers

Topic 5 Proofs

Topic 6 Number Theory

Topic 7 Sets

Topic 8 Induction

Topic 9 Functions and Graphs

Topic 10 Regular Expressions

Topic 11 Context Free Grammars