Skip to main content
Graph
Search
fr
|
en
Switch to dark mode
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Proofs and Logic: Introduction
Graph Chatbot
Related lectures (24)
Previous
Page 1 of 3
Next
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.
Functions: Definitions and Notations
Covers the generalities of functions, including the definition of an application between sets and the uniqueness of elements in the image set.
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Introduction to Analysis
Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.
Sets and Proofs
Introduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
Course Overview: Teaser on Course Contents
Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.
