This lecture covers the basics of python programming language. Note that you are required to submit your programming assignments as an ipython notebook by using Google Colab.
This lecture covers the basics of python programming language. Note that you are required to submit your programming assignments as an ipython notebook by using Google Colab.
This lecture covers Propositional Equivalences, Predeicates, and Quantifiers.
This lecture covers Nested Quantifiers and Rules of Inference.
This lecture covers an Introduction to Proofs and Proof Methods and Strategies.
This lecture covers an Introduction to Set Theory and Set Operations.
This lecture covers an Introduction to Functions.
This lecture covers the Relations and Their Properties, Closures of Relations, Equivalence Relations, and Partial Orderings.
This lecture covers an introduction to Regular Languages and Deterministic Finite Automata (DFA).
This lecture covers an introduction to Nondeterministic Finite Automata (NFA) and the equivalence of NFA and DFA.
This lecture covers the following topics,
Due: February, 27th, 2019 @ 11:59PM
Due: April, 1st, 2019 @ 11:59PM