Lecture01CourseOverview

Lecture01CourseOverview - Lecture 1 CS 2603 Applied Logic...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 1 Lecture 1 —CS 2603 Applied Logic for Hardware and Software Learning Goals Lesson Plans and Logic Rex Page Professor of Computer Science University of Oklahoma EL 119 – [email protected]
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 2 CS 2603 Applied Logic for Hardware and Software Learning Goals ± Fundamental elements of hardware and software 9 Sequences, sets 9 Gates, formulas, functions ± Composition of basic elements 9 Combinational circuits 9 Inductive definitions 9 Sequential circuits ± Analyze and verify properties of circuits and software using mathematical logic 9 Predicate calculus and natural deduction 9 Boolean algebra and equational reasoning 9 Mathematical induction 9 More mathematical induction 9 Still more mathematical induction p r o f s g a lo e ! of ! ro
Background image of page 2
Rex Page – University of Oklahoma 3 Why Bother with Proofs? 100s of inputs 2 100s of possibilities Key presses Key presses Key presses Mouse gestures Mouse gestures Mouse gestures Voltages Voltages Voltages Databases Databases Databases computation computation computation Images Images Images Sounds Sounds Sounds Voltages Voltages Voltages Databases Databases Databases input input signals signals hardware hardware software software output output signals signals 9 Hardware/software translates inputs to outputs 9 A circuit or program is a proof of a translation 9 But what translation? 9
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 15

Lecture01CourseOverview - Lecture 1 CS 2603 Applied Logic...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online