Computer Logic – VGTU

About this course

Propositional Calculus, Truth Table, Logical Circuits, Predicate Calculus, Predicate and Quantifiers, De Morgan laws, Statements with Quantifiers, Elementary Number Theory, Proof Theory, Methods of Proof, Contradiction and Contraposition, Algorithms, Sequences, Mathematical Induction, and Recursion, Correctness of Algorithms, Recursion of Sequences, Set Theory, Operations on Sets, Boolean Algebras, Russell’s Paradox, Efficiency of Algorithms, Analysis of Algorithms’ Complexity.

Expected learning outcomes

Students will know basic concepts of computer logic and develop ability to solve typical problems of discrete mathematics.

Indicative Syllabus

Computer Logic

Teaching / Learning Methodology

TBA

Recommended Reading

TBA