chapter 9, 10
Purposes of logic in CS:
- Hardware & Software Construction and Specification
- Verification of correct operation
- Optimization (making it run faster)
Hardware applications of logic are easier because of finiteness.
Purposes of logic in CS:
- Hardware & Software Construction and Specification
- Verification of correct operation
- Optimization (making it run faster)
Hardware applications of logic are easier because of finiteness.