General info on logic types of valid arguments derivable arguments and inconsistent premises proof by contradiction direct proof quantifiers
examples proof examples
Kümeler
Russell Paradoksu ve Naif Küme Teorisinin Çöküşü Axiom of Choice
Fonksiyonlar images and preimages in functions Function and inverse properties Injective and Surjective and their inheritance in compositions Sol sağ tersler ve Teklik Teoremi Sol ve sağ tersler ve injective surjective Sonlu kümeler ve Kardinalite
7 Schröder-Bernstein Fonksiyonlarda Karakter Analizi Birebirlik ve Örtenlik Kardinalite ve Sonsuzların Denkliği Sayılabilir Kümeler için Denklikler (TFAE)
8
Sonsuzlukların Hiyerarşisi ve Cantor Teoremleri Cantor’un Kuvvet Kümesi Teoremi (The Power Set Theorem) - anlamadım Reel sayıların kardinalitesi Sonsuzlukların Hiyerarşisi ve İsimleri
9
Relations Theory and the 4 properties Denklik bağıntıları ve bölüm kümeleri Equivalence Classes (Denklik Sınıfları) well defined olma ve örnek partial order, total order, poset