Concept
Resolution (logic)
Related lectures (25)
Synthetic Biology Standardization
Emphasizes standardization in Synthetic Biology, logic rules, chassis cells, and metabolic engineering transition.
Hypothesis Testing: T-Test Methodology
Explores hypothesis testing methodology using t-tests and the randomization test.
Predicate Logic: Quantifiers, CNF, DNF
Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.
Introduction to SMT Solving
Introduces Satisfiability Modulo Theories (SMT) solving, covering propositional logic, uninterpreted functions, and quantifier instantiation.
Rule Systems, Simulations, and Parallel Worlds
Delves into rule systems, simulations, and parallel worlds, exploring Prolog, backtracking algorithms, logic complexity, the Game of Life simulation, and the concept of Simulats.
Presburger Arithmetic and Quantifier Elimination
Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.
Integer Optimization: Theory and Applications
Covers the fundamentals of integer optimization, including integer programming, dynamic programming, and approximation algorithms.