Discrete Math › Section B · Logic and proofs › Topic B.6
Logic in computing
The logic of the previous topics is not only for proofs: it runs every computer. The same connectives appear as conditions in code, as gates in chips, as filters in database queries and as the statements used to check that a program is correct.
In this topic
- Logic inside the machine
- Logic in code
- Worked example: tidying a condition
- Logic gates
- Worked example: everything from NAND
- From truth table to circuit
- Exclusive or and binary addition
- Satisfiability
- Logic in database queries
- Program correctness
- Common mistakes to avoid
- Key takeaways
This topic is part of Wuanberri Pro. Checking your access…