What people are saying - Write a review
We haven't found any reviews in the usual places.
1a Basic Definitions
1c Complement of a
1e Algebra of Sets as an Axiomatic Theory
40 other sections not shown
A U B adjacency matrix algebra of sets Algol algorithm array Assume available space binary block Boolean algebra CACM called column Comit Consider contains core memory corresponding cycle datum defined definition denote digraph of Figure document equivalence relation equivalent example Exercise field flowchart digraph Fortran function grammar graph hash address Hence indegree index terms INFO integers IPOP isomorphism K-formula language lattice lexicographic order LISP list element list store list structure logical marker Markov algorithm operations partially ordered partially ordered set path matrix permutation PL/I pointer problem procedure proof refs relation representation represented retrieval rule S-expression scheme sequence shortest path Snobol sort tree specified stack statement storage sublist subroutine subscript subset substring switch symbols terminal nodes THEOREM theory topological order variable vector words zero