Logic and Digital Circuits - 20003

In logic, students employ a variety of methods to determine the truth values of statement forms and the validity of argument forms. These methods depend on an understanding of basic logical relations: negation, disjunction, conjunction and implication. These relations also form the foundations of digital electronic circuits. Students in both these courses will learn to follow specific paths (physical or not) in order to arrive at a conclusion or termination of a circuit. Logic students will see, in Electronic Circuits, the physical manifestation of logical rules and procedures. Physics students will be introduced to philosophical issues that arise in the analysis of logical forms.