Logic Part I : Operators & Equivalence
Introduction
Negation of a Proposition
Compound Propositions
Truth Table 1
Truth Table 2
Tautology
Contradiction
Converse Inverse Contrapositive
Exam like Question 1
Exam like Question 2
Exam like Question 3
Exam like Question 4
Exam Like Question 5
Logical Equivalences & De Morgan's Laws
Logical Equivalences & De Morgan's Laws 2
Exam like Question 6
Exam like Question 7
Exam like Question 8
Exam like Question 9
Logic Part II : Quantifiers
Universal Quantifiers
Existential Quantifiers
Truth Value of Propositions with Quantifiers
Exam like Question 1
Exam like Question 2
Exam like Question 3
Nested Quantifiers
Exam like Question 4
Exam like Question 5
Exam like Question 6
Negation of Nested Quantifiers
Exam like Question 7
Logic Part III: Translations
Translation of Mathematical Statements
Translation of Statements With Multiple Variables
Exam like Question 1
Exam like Question 2
Exam like Question 3
Exam like Question 4
Exam like Question 5
Exam like Question 6
Proof Techniques: Direct Proof
Direct Proof
Example 1
Example 2
Example 3
Example 4
Example 5
Exam-like Question 1
Exam-like Question 2
Exam-like Question 3
Exam-like Question 4
Proof Techniques : Indirect Proofs
Proof by Contraposition
Example 1
Example 2
Example 3
Example 4
Example 5
Exam-like Question 1
Exam-like Question 2
Exam-like Question 3
Proof by Contradiction
Example 6
Example 7
Example 8
Example 9
Example 10
Example 11
Example 12
Exam-like Question 4
Exam-like Question 5
Exam-like Question 6
Exam-like Question 7
Exam-like Question 8
Proof By Cases
Example 13
Example 14
Additional Proof Techniques
Existence Proof
Example 1
Example 2
Uniqueness Proof
Example 3
Exam-like Question 1
Exam-like Question 2
Exam-like Question 3
Exam-like Question 4
Proofs of Equivalence
Example 1
Example 2
Example 3
Example 4
Example 5
Exam-like Question 1
Exam-like Question 2
Mathematical Induction
Introduction
Proof of Formulas by Induction
Example 1
Example 2
Example 3
Example 4
Exam-like Question 1
Exam-like Question 2
Exam-like Question 3
Exam-like Question 4
Proof of Divisibility by Induction
Example 1
Example 2
Exam-like Question 1
Exam-like Question 2
Proof of Inequality by Induction
Example 1
Example 2
Example 3
Exam-like Question 1
Exam-like Question 2
Exam-like Question 3
Strong Induction
Example 1
Sets
Definition and Notation
Subset
Example 1
Union and Intersection of Two Sets
Difference of Two Sets
Example 2
Symmetric Difference
Example 1
Set Identities
Example 1
Example 2
Example 3
Example 4
Example 5
Example 6
Power Set
Example 1
Example 2
Cartesian Product
Example 1
Example 2
Example 3
Example 4
Example 5
Example 6
Generalized Intersections and Unions
Example 1
Example 2
Example 3
Sample Midterm Problems
Truth Tables
Logical Equivalences 1
Logical Equivalences 2
Logical Equivalence & De Morgans Laws
Quantifiers 1
Quantifiers 2
Nested Quantifiers 1
Nested Quantifiers 2
Nested Quantifiers 3
Translations 1
Translations 2
Translations 3
Translations 4
2007 yılında Galatasaray Üniversitesi Bilgisayar Mühendisliği bölümünden birincilikle mezun olduktan sonra Fransa'da Kriptoloji üzerine Fransa hükümeti tarafından verilen bursla yüksek lisans yaptım. Devamında ikinci kez sınava girerek Boğaziçi Matematik bölümünü de bitirdim. Yaklaşık 15 yıldır üniversite öğrencilerine dersler vermekteyim.
₺799.99