CMPE 139 • Midterm • Logic and Discrete Mathematics
Eğitmen
İhsan Altundağ
Eğitmen
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.
Konular
Propositional Logic
8 konu anlatımı · 3 soru
Introduction
Negation of a Proposition
Compound Propositions
Truth Table 1
Truth Table 2
Tautology
Contradiction
Converse Inverse Contrapositive
Practice Problem 1
Practice Problem 2
Practice Problem 3
Logical Equivalences & De Morgans'
7 konu anlatımı
Logical Equivalences 1
Logical Equivalences 2
De Morgans' Law
Example 1
Example 2
Example 3
Example 4
Quantifiers and Translations
14 konu anlatımı · 1 soru
Universal Quantifiers
Existential Quantifiers
Truth Value of Propositions with Quantifiers
Example 1
Example 2
Nested Quantifiers
Example 3
Example 4
Negation of Nested Quantifiers
Example 5
Translations
Example 6
Example 7
Exam-like Question 1
Translation of Statements With Multiple Variables
Rules of Inferences
7 konu anlatımı
Valid Argument
Rules of Inferences
Example 1
Example 2
Example 3
Using Rules of Inferences to Build Arguments
Example 4
Rules of Inferences with Quantified Statements
4 konu anlatımı
Rules of Inference with Quantified Statements
Example 1
Example 2
Example 3
(NEW) Boolean Algebra & Karnaugh Maps (NEW)
12 konu anlatımı
Introduction
Boolean Functions
Example 1
Example 2
Boolean Identities
Example 3
Minterm of Boolean Variables
Example 4
Sum of Product Expansion
Karnaugh Maps 1
Karnaugh Maps 2
Example 5
Sample Midterm Problems I
19 soru
Truth Table & Tautology
Logical Equivalances 1
Logical Equivalances 2
Logical Equivalances 3
Logical Equivalances 4
Tautology
Quantifiers 1
Quantifiers 2
Quantifiers 3
Quantifiers 4
Quantifiers 5
Nested Quantifiers 1
Nested Quantifiers 2
Translations 1
Translations 2
Translations 3
Rules of Inference 1
Rules of Inference 2
Rules of Inference 3
Proof Techniques Part I
12 konu anlatımı
Direct Proof
Example 1
Example 2
Example 3
Example 4
Proof by Contrapositive
Example 1
Example 2
Example 3
Proof by Contradiction
Example 1
Example 2
Proof Techniques Part II
6 konu anlatımı
Proof By Cases
Example 1
Example 2
Proofs of Equivalence
Example 1
Example 2
Sample Midterm Problems II
13 soru
Direct Proof 1
Direct Proof 2
Direct Proof 3
Proof by Contrapositive 1
Proof by Contrapositive 2
Proof by Contrapositive 3
Proof by Contradiction 1
Proof by Contradiction 2
Proof by Contradiction 3
Proof by Contradiction 4
Proof by Cases 1
Proof by Cases 2
Proofs of Equivalence 1
Sets
14 konu anlatımı
Definition and Notation
Subset
Example 1
Union and Intersection of Two Sets
Difference of Two Sets
Set Identities
Example 2
Power Set
Example 3
Cartesian Product
Example 4
Example 5
Proof Example 1
Proof Example 2
Functions
16 konu anlatımı
Definition of Function
Example 1
Number of Functions
Injective Functions
Example 2
Example 3
Example 4
Number of Injective Functions
Surjective Functions
Example 5
Example 6
Example 7
Bijective Function
Inverse Function
Example 8
Example 9
Sample Midterm Problems III
8 soru
Proofs & Sets 1
Proofs & Sets 2
Proofs & Sets 3
Proofs & Sets 4
Functions 1
Functions 2
Functions 3
Functions 4
Algorithms and Pseudocodes
5 konu anlatımı · 2 soru
What is an algorithm?
Algorithm and Pseudocode 1
Algorithm and Pseudocode 2
Algorithm and Pseudocode 3
Algorithm and Pseudocode 4
Exam Like Question 1
Exam Like Question 2
Sample Midterm Problems IV
5 soru
Algorithms 1
Algorithms 2
Algorithms 3
Algorithms 4
Algorithms 5
Değerlendirmeler
2 öğrenci değerlendirmesi
Değerlendirme yapmak için bu derse sahip olman gerekiyor.
Mete Aslan
Bilgisayar Mühendisliği
İyi bir not almama yardımcı oldu ama sınavda çıkana daha yakın olabilirdi konu anlatımı
İbrahim Ethem Besili
Bilgisayar Mühendisliği
Paketi Tamamla
🎓 Bilgi Üniversitesi öğrencilerinin %92'si tüm paketi alarak çalışıyor.
