DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

   Course Slides  

•   Good and Bad Proofs
•   Propositions and Proofs
•   Proofs by Contradiction and Cases
•   Predicate Logic
•   Sets and Functions
•   Induction I
•   Induction II
•   Relations I
•   Relations II
•   Graph Theory I
•   Graph Theory II
•   Graph Theory III
•   Graph Theory IV
•   Graph Theory IV (cont.)
•   Number Theory I and II
•   Number Theory III
•   State Machines I: Invariants / Fallacies with Infinity
•   State Machines II: Derived Variables, Stable Marriage Problem
•   Sums and Series I
•   Sums and Series II
•   Asymptotics
•   Law of Large Numbers
•   Random Walks

   In-Class Problems  

•   Good and Bad Proofs - Course Information
•   Good and Bad Proofs - Course Information - solutions
•   Propositions and Proofs
•   Propositions and Proofs - solutions
•   Proofs by Contradiction and Cases
•   Proofs by Contradiction and Cases - solutions
•   Predicate Logic
•   Predicate Logic - solutions
•   Sets and Functions
•   Sets and Functions - solutions
•   Induction I
•   Induction I - solutions
•   Induction II
•   Induction II - solutions
•   Relations I
•   Relations I - solutions
•   Relations II
•   Relations II - solutions
•   Graph Theory I
•   Graph Theory I - solutions
•   Graph Theory II
•   Graph Theory II - solutions
•   Graph Theory III
•   Graph Theory III - solutions
•   Graph Theory IV
•   Graph Theory IV - solutions
•   Number Theory I
•   Number Theory I - solutions
•   Number Theory II
•   Number Theory II - solutions
•   Number Theory III
•   Number Theory III - solutions
•   State Machines I: Invariants Fallacies with Infinity
•   State Machines I: Invariants Fallacies with Infinity - solutions
•   State Machines II: Derived Variables, Stable Marriage Problem
•   State Machines II: Derived Variables, Stable Marriage Problem - solutions
•   Sums and Series I
•   Sums and Series I - solutions
•   Sums and Series II
•   Sums and Series II - solutions
•   Asymptotics
•   Asymptotics - solutions
•   Counting I
•   Counting I - solutions
•   Counting II
•   Counting II - solutions
•   Counting III (with Magic Trick Solution)
•   Counting III (with Magic Trick Solution) - solutions
•   Counting IV
•   Counting IV - solutions
•   Generating Functions I
•   Generating Functions I - solutions
•   Generating Functions II
•   Generating Functions II - solutions
•   Introduction to Probability
•   Introduction to Probability - solutions
•   Conditional Probability and Independence
•   Conditional Probability and Independence - solutions
•   Random Variables
•   Random Variables - solutions
•   Distribution and Density, Binomial Distribution
•   Distribution and Density, Binomial Distribution - solutions
•   Expectation
•   Expectation - solutions
•   Linearity of Expectation
•   Linearity of Expectation - solutions
•   Variance
•   Variance - solutions
•   Sampling and Confidence
•   Sampling and Confidence - solutions
•   Law of Large Numbers
•   Law of Large Numbers - solutions
•   Random Walks
•   Random Walks - solutions

   Assignments and Solutions  

•   Propositions and Proofs
•   Propositions and Proofs - solutions
•   Induction I
•   Induction I - solutions
•   Relations I
•   Relations I - solutions
•   Graph Theory II
•   Graph Theory II - solutions
•   Number Theory I
•   Number Theory I - solutions
•   State Machines I : Invariants / Fallacies with Infinity
•   State Machines I : Invariants / Fallacies with Infinity - solutions
•   Counting I
•   Counting I - solutions
•   Generating Functions I
•   Generating Functions I - solutions
•   Introduction to Probability
•   Introduction to Probability - solutions
•   Expectation
•   Expectation - solutions

   Exams and solutions  

•   Practice Quiz 1
•   Practice Quiz 1 - solutions
•   Quiz 1
•   Quiz 1 - solutions
•   Quiz 2
•   Quiz 2 - solutions
•   Final Exam
•   Final Exam - solutions