##### School: Ohio State University

##### Department: Computer Science and Engineering

##### Course: Foundations I: Discrete Structures

##### Professor: Jeffrey jones

##### Term: Fall 2016

##### Tags: deMorgan's, Sets, and logic

##### Cost: Free

##### Name: First Order Logic, Sets

##### Description: First Order Logic
Implication
Predicate Calculus
Negation of Quantifiers
Examples
Sets
Describing a Set
Common Sets
Distributive, Associative, and DeMorgan's Laws
Disjoint, Cardinality, Finite/Infinite, Countable/Uncountable
Power Set
Textbook Notes

##### Uploaded: 09/11/2017