Commonsense reasoning

Related lectures (22)

Page 2 of 3

Covers the calculation of integrals over unclosed curves, focusing on essential singularities and residue calculation.

Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.

Explores combinatorial proofs for the Frobenius Theorem, demonstrating mathematical reasoning and calculations.

Explores the convergence of sequences defined by recursion and the mathematical reasoning behind it.

Explores knowledge extraction from text, covering key concepts like keyphrase extraction and named entity recognition.

Explores Banach spaces, emphasizing reflexivity and sequence convergence in a rigorous mathematical framework.

By the instructor Viktor Kuncak explores formal verification, program synthesis, and teaching activities at EPFL.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.