90 likes | 94 Views
Chapter 7 Section 7.1 First-Order Predicate Calculus. CISC 2315 Discrete Structures William G. Tanner, Jr. Fall 2007 Slides created by James L. Hein , author of Discrete Structures, Logic, and Computability , 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
E N D
Chapter 7Section 7.1 First-Order Predicate Calculus CISC 2315 Discrete Structures William G. Tanner, Jr. Fall 2007 Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.