Mathematical Background for CS

Posted on May 25, 2013. Filed under: Uncategorized | Tags: , , |

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 )

Liked it here?
Why not try sites on the blogroll...