Concept
Relation algebra
Related lectures (20)
Quantum Mechanics and Linear Algebra
Covers Hermitian and Unitary operators, real number equivalents, and eigenvalues.
Matrix Factorization: Information Extraction
Explores matrix factorization for information extraction, Bayesian ranking, and relation embeddings.
Analytic Structure of Green's Function
Explores the analytic structure of Green's function, bound and scattering states, and perturbation theory.
Predicate Logic: Translating Natural Language into Logic
Covers the translation of natural language sentences into predicate logic and the importance of quantifier order.
Sets and Functions
Introduces binary relations, functions, and various types of relations in sets.
Predicate Logic: Nested Quantifiers
Explores nested quantifiers in logic and their translation into natural language and mathematical statements.
Predicate Logic: Nested Quantifiers
Explores nested quantifiers, order importance, and translation into logic.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Predicate Logic: Equivalences, Negations, and De Morgan's Laws
Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.