Mathematical Background for CS
by John F. Sowa 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
Read Full Post | Make a Comment ( None so far )