Lecture 2: Boolean Algebra and Formal Logic

Lecture 2: Boolean Algebra and Formal Logic
• Currently 4.0/5 Stars.
12428 views, 2 ratings - 01:33:36
Part of video series ArsDigita Discrete Math Course
Taught by ArsDigita
Licensed under Creative Commons Attribution ShareAlike 2.0:
Learn about boolean Algebra, what it is, and how it relates to logic. Also, learn about formal logic rules.
• How do you prove that you can get a total of 61 or higher with some combination of 7s and 11s?
• What is an example of an incorrect proof by induction where the base case is not covered?
• What is Boolean Algebra?
• What are some rules, identities, equivalences, and proofs using truth tables in logic?
• What is Disjunctive Normal Form?
• What is Conjunctive Normal Form?
• How do you change between Disjunctive and Conjunctive Normal Form?
• What is the NOR or NAND function in logic?
• How can you rewrite a logical statement by replacing all not, and, and or operators with nor or nand?
• What are binary numbers and how do you convert decimal numbers into binary?
• How do you add numbers in binary?
• What is a half adder circuit and how does it work?
• How do computer circuits work on the inside?
• What is a reduction in logic and problem solving?
• What is an NP-complete problem and what does it mean for a problem to be NP-complete?
• What is a non-deterministic polynomial algorithm?
• What is an example of a P or polynomial-time algorithm?
• What is the traveling salesman problem and why is it an NP problem?
• Why is it important to be able to show that a problem is NP-complete?
• Why is satisfiability hard and how can you show that it is hard using reduction?
• How do you show that a problem is easy using reduction?
• How does 2SAT reduce to finding strongly connected components in a graph?
This video starts with an incorrect proof to a problem by induction. The idea and philosophy behind proofs is dealt with. This leads into a very rigorous discussion on Boolean Algebra carrying through what was started in the last lecture. Circuits are explained using their binary components. Finally, hard problems, P, NP, and NP-complete problems are analyzed along with reductions of these problems.
• Currently 4.0/5 Stars.
Reviewed by MathVids Staff on March 29, 2009.
Helpful video. More info than the class I am taking right now.
• Currently 4.0/5 Stars.
Reviewed by JMP92 on November 14, 2010.