Mathematical Background for CS
This web page presents a brief summary of the following topics for students of Knowledge Representation, Logic, Linguistics, and Computer Science.
Contents
- 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