Mathematical Background Notes for Computer Science
This web page is a revised and extended version of Appendix A from the book Conceptual Structures by John F. Sowa. It presents a brief summary of the following topics for students and general readers of that book and related books such as Knowledge Representation and books on logic, linguistics, and computer science.
- Sets, Bags, and Sequences
- Functions
- Lambda Calculus
- Graphs
- Relations
- Representing Relations by Graphs
- Lattices
- Propositional Logic
- Predicate Logic
- Axioms and Proofs
- Formal Grammars
- Game Graphs
- Model Theory