1 | Modern (sembolik) mantık: önermeler mantığı, önermeler mantığı dili, önerme bağlaçları, formülleri, totoloji ve çelişkiler, günlük dilden sembolik dile çeviriler, önermelerin doğruluğunu belirleme yöntemleri (doğruluk tabloları), türetim ve türetim yöntemleri, niceleme mantığı |
2 | Modern (sembolik) mantık: önermeler mantığı, önermeler mantığı dili, önerme bağlaçları, formülleri, totoloji ve çelişkiler, günlük dilden sembolik dile çeviriler, önermelerin doğruluğunu belirleme yöntemleri (doğruluk tabloları), türetim ve türetim yöntemleri, niceleme mantığı |
3 | Modern (sembolik) mantık: önermeler mantığı, önermeler mantığı dili, önerme bağlaçları, formülleri, totoloji ve çelişkiler, günlük dilden sembolik dile çeviriler, önermelerin doğruluğunu belirleme yöntemleri (doğruluk tabloları), türetim ve türetim yöntemleri, niceleme mantığı |
4 | Kümeler: küme kavramı, kümelerin özellikleri, kümeler üzerinde işlemler, kümeler arası bağıntılar |
5 | Kümeler: küme kavramı, kümelerin özellikleri, kümeler üzerinde işlemler, kümeler arası bağıntılar |
6 | Bağıntı ve fonksiyonlar, İkili işlemler |
7 | Bağıntı ve fonksiyonlar, İkili işlemler |
8 | Doğal sayılar: Peano aksiyomları, doğal sayıların sıralanışı, sayılabilirlik, tümevarım yoluyla ispat |
9 | Arasınav |
10 | Doğal sayılar: Peano aksiyomları, doğal sayıların sıralanışı, sayılabilirlik, tümevarım yoluyla ispat |
11 | Tamsayılar: tamsayıların tanımı ve sıralanışı. |
12 | Rasyonel sayılar: rasyonel sayıların tanımı ve özellikleri. |
13 | Reel sayılar: tanımı ve özellikleri, eküs ilkesi, ondalık gösterim, sayı ekseni ve genişletilmiş reel sayı sistemi |
14 | Reel sayılar: tanımı ve özellikleri, eküs ilkesi, ondalık gösterim, sayı ekseni ve genişletilmiş reel sayı sistemi |