Using narrative as a motivating device to teach binary arithmetic and logic gates.
Atif WaraichPublished in: ITiCSE (2004)
Keyphrases
- multi valued
- logic circuits
- multiple valued
- logical operations
- micron cmos
- logic programming
- non binary
- modal logic
- proof theory
- predicate logic
- programming language
- computer programming
- data sets
- defeasible logic
- classical logic
- asynchronous circuits
- epistemic logic
- arithmetic operations
- automated reasoning
- hamming distance
- low power
- neural network