Lecture02WFFsAndTruthTables

Lecture02WFFsAndTruthTables - Lecture 2 CS 2603 Applied...

Info icon This preview shows pages 1–5. 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 2 — CS 2603 Applied Logic for Hardware and Software Proofs Propositions and Calculuses
Image of page 1

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

View Full Document Right Arrow Icon
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 2 Logic a tool for careful reasoning Software and hardware development 9 Used in integrated circuit (computer chip) design 9 Used in safety-critical hardware/software (eg, avionics) 9 Used in secure hardware/software systems 9 Positive influence on all hardware/software development Hardware are software are logic 9 Hardware circuits are physical representations of formulas in logic 9 Software artifacts are, literally, formulas in logic 9 So, the goal of defect-free hw/sw is as attainable as any other goal in mathematics Foundation for programming languages 9 Lambda calculus – semantic base for all PLs 9 Type checking and type inference – basis in logic Artificial intelligence, database systems 9 Grounded in formal logic
Image of page 2