This course applies basic mathematical logic skills to solve problems in Computer Science and Information Technology. Topics include logic rules, tautologies, Boolean algebra, set theory, mathematical induction and other topics of discrete computational analysis.