Purpose
- Make clear that computer science has a formal basis, "it's not just hacking"
Basics (3 hours)
- Encoding real-world facts/logic into formal logic
- Truth table
- Boolean logic
Advanced (3 hours)
- Proofs
Benno: Maybe learn more from Katja.
Benno: Maybe learn more from Katja.
People/Benno Schwikowski/Private/IP Bioinformatics course 2008/Course/Logic (last edited 2007-09-05 13:16:58 by BennoSchwikowski)