Lectures related to Law of noncontradiction

Proofs: Contraposition vs. Contradiction

Covers the concepts of contraposition and contradiction in proofs.

Explores sub/super harmonic functions and their applications in a theoretical context.

Introduces propositional logic, logical connectives, implications, and equivalences, with examples and facts about tautology and contradiction.

Proofs: Direct and Indirect Methods

Covers examples of direct and indirect proofs in mathematics.

Descent methods and line search: Finiteness of the line search algorithm

Explores the Wolfe conditions for line search algorithms and proves the finiteness of the line search parameter.

Proofs: Logic, Mathematics & Algorithms

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Proof Techniques: Examples

Covers proof techniques including direct proof, contraposition, contradiction, cases, and counterexample.

Untitled

Introduction to Proofs

Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.

Introduction to Proofs

Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.

Propositional Logic: Translations and Equivalences

Covers translating natural language to propositional logic and proving tautologies.

Propositional Logic: Implication and Compound Propositions

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.

Introduction to Optimization

Introduces linear algebra, calculus, and optimization basics in Euclidean spaces, emphasizing the power of optimization as a modeling tool.

Propositional Logic: Implication and Compound Propositions

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Urban Agriculture: Resistance and Contradictions

Examines urban agriculture as resistance to the Anthropocene, challenging common misconceptions and exploring its diverse forms and implications.

Elementary Algebra: Numeric Sets

Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.

Convergence Rate Theorem: Part 2

Covers the proof of the convergence rate theorem, emphasizing detailed balance equations and ergodic Markov chains.

Linear Algebra: Properties and Operations

Explores subset properties, contraposition, and equivalence in linear algebra.

Optimal Transport: Regularity and Brenier's Theorem

Explores optimal transport regularity and Brenier's theorem, discussing continuity and convexity concepts.

Extension of Fields: Norm and Valuation

Covers the extension of fields, defining the norm of an element from one field to another, and introducing the p-adic valuation.