Formal Logic: Proofs and Sets

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (54)

Discrete Mathematics: Logic & Structures Log in to Mediaspace to watch this video

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Mathgraph Theorem Prover Log in to Mediaspace to watch this video

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Predicate Logic: Quantifiers and Equivalences Log in to Mediaspace to watch this video

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

Introduction to Analysis: Understanding Real Numbers and Proofs Log in to Mediaspace to watch this video

Covers the basics of analysis, including real numbers, proofs, sets, and operations.

Introduction to Proof Scripting: Basics of Ltac Log in to Mediaspace to watch this video

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Predicate Logic: Quantifiers and Normal Forms Log in to Mediaspace to watch this video

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Introduction to Analysis Log in to Mediaspace to watch this video

Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.

Untitled Log in to Mediaspace to watch this video

WireGuard: Cryptographic Protocol for VPNs Log in to Mediaspace to watch this video

Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Introduction to NumPy: Arithmetic Operations and Arrays Log in to Mediaspace to watch this video

Introduces NumPy arithmetic operations, logical operations, indexing, multidimensional arrays, matrix operations, and data import/export.

Gaussian Corelation Inequality & Anderson's Thum Log in to Mediaspace to watch this video

Explores Gaussian corelation inequality, Anderson's theorem, and log-concavity in probability theory.

FSM Design and Synthesis Log in to Mediaspace to watch this video

Explains the design and synthesis of Finite State Machines in logic systems.

Complex Integration and Cauchy's Theorem Log in to Mediaspace to watch this video

Discusses complex integration and Cauchy's theorem, focusing on integrals along curves in the complex plane.

Boolean Algebra: Properties and Optimization Log in to Mediaspace to watch this video

Explores Boolean algebra properties and optimization techniques using Karnaugh diagrams and De Morgan's theorems.

Embedding into l_inf Log in to Mediaspace to watch this video

Covers open balls, lemma statements, and proof techniques in embedding into l_inf.

Understanding Equivalence Relations and Integer Construction Log in to Mediaspace to watch this video

Covers the construction of integers through equivalence relations and their properties in mathematics.

BJT vs FET Operation Log in to Mediaspace to watch this video

Compares BJT and FET operation in logic systems, discusses TTL vs CMOS technologies, and explores Set-Reset Latch functionality.

Page 2 of 3