Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Logic and Proof Techniques
Graph Chatbot
Related lectures (51)
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Elementary Algebra: Numeric Sets
Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.
Prime Numbers: Finding and Testing
Covers the definition of a function to determine if a given number is prime.
Algorithms & Growth of Functions
Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.
Rational Numbers: Construction and Properties
Covers the construction and properties of rational numbers, including fractions and equivalence, with proofs on commutativity.
Differentiating under the integral sign
Explores differentiating under the integral sign and continuity of functions in integrals.
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Isomorphism Criterion of Coverings
Covers the isomorphism of coverings and the lifting theory.
Linear Algebra: Reciprocity and Equivalence
Explores reciprocity, equivalence, and proof techniques in linear algebra, emphasizing logical reasoning and mathematical rigor.
Differentiating under the integral sign
Explores differentiating under the integral sign and conditions for differentiation, with examples and extensions to functions on open intervals.
Functions and Integers
Log in to Mediaspace to watch this video
Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Introduction to Mathematics for Engineers
Log in to Mediaspace to watch this video
Introduces the purpose of mastering mathematics and calculation tools for engineers, emphasizing the need to think methodically and rigorously.
Closure Conversion: Representation and Transformation
Log in to Mediaspace to watch this video
Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.
Real Functions: Definitions and Properties
Log in to Mediaspace to watch this video
Explores real functions, covering parity, periodicity, and polynomial functions.
Integers and Rings
Log in to Mediaspace to watch this video
Covers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Proofs and Logic: Introduction
Log in to Mediaspace to watch this video
Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.
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.
Advanced Analysis II: Derivatives and Notations
Log in to Mediaspace to watch this video
Covers derivatives, notations, composition of functions, and multiple derivatives in advanced analysis.
Functions: Limits, Continuity, Differentiability
Log in to Mediaspace to watch this video
Explores the origin of functions, continuity, differentiability, and the physical representation of chemical bonds.
Functions and Periodicity
Log in to Mediaspace to watch this video
Covers functions, including even and odd functions, periodicity, and function operations.
Previous
Page 1 of 3
Next
