Problems on propositional logic, including truth-tables, boolean algebra, and inference rules.
Extend the laws of boolean algebra from propositional logic to first-order logic.
Lectures and labs on digital logic, flipflops, PALs, counters, timing, synchronization, finite-state machines, and microprogrammed systems prepare students for the design and implementation of a final project of their choice: games, music, digital filters, graphics, etc. Extensive use of VHDL for describing and implementing digital logic designs. Possible use of lab report for Phase II of the Writing Requirement. Six extra units possible via registration for 6.905 after project proposal.
Lectures and labs on digital logic, flipflops, PALs, counters, timing, synchronization, finite-state machines, and microprogrammed systems prepare students for the design and implementation of a final project of their choice: games, music, digital filters, graphics, etc. Extensive use of VHDL for describing and implementing digital logic designs. Possible use of lab report for Phase II of the Writing Requirement. Six extra units possible via registration for 6.905 after project proposal.
An introduction to reasoning with Proposition and First-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org).
