| Ders Kodu | Ders Adı | Sınıf | Kredisi | Ders Saati | Haftalık Ders Saati(Teorik) | Haftalık Ders Saati(Uygulama) | Haftalık Ders Saati(Laboratuvar) |
|---|---|---|---|---|---|---|---|
| DMML 1245 | Ayrık Matematik ve Matematiksel Mantık | Birinci Sınıf | 5 | 150 | 1 | 2 | 2 |
Uygulamalı problemleri çözmeyi amaçlayan matematiksel bir aparat kavramı, onu yakından ilişkili bir dizi matematiksel yöntem ve model, dil olarak görme yeteneği oluşur. Set teorisinin unsurları, kombinatoriklerin unsurları, mantıksal cebirin fonksiyonları, grafik teorisinin unsurları, kodlama teorisinin unsurları incelenmektedir.
Bilgisayar simülasyonu, Bilgilerin korunması.
---
Anlatım, fikir alışverişi, tartışma, problem yöntemleri.
| 1 | Nesneler arasındaki nicel ve nitel ilişkileri ifade etmek için özel matematiksel gösterimler kullanır. |
| 2 | Setler teorisinin temel kavramlarını, kümelere ve temsillere uygulanan temel işlemleri bilir. |
| 3 | Ana kombinatoryal nesnelerin algoritmik numaralandırmasını (üretimini) anlar. |
| 4 | Matematiksel mantığın dilini ve mantıksal işlemleri, mantık formüllerini, mantık cebirinin yasalarını bilir. |
| 5 | Grafik türlerini tanımlar ve özelliklerini verir. |
| 6 | Kod kombinasyonlarındaki hataları tespit etmek ve düzeltmek için kullanılan etkili kodlar oluşturur. |
| 7 | Uygulama problemlerini çözmek ve ikili ilişkilerin özelliklerini incelemek için set teorisi aparatını kullanır. |
| 8 | Kombinatoryal problemleri çözme yöntemlerine sahiptir. |
| 9 | Mantıksal problemleri tasarlar ve bunları çözmek için matematiksel mantık araçlarını kullanır. |
| 10 | Grafiklerde algoritmalarla çalışma becerilerine ve grafiklerde aşırı problemleri çözme yöntemlerine sahiptir. |
| 11 | Belirli algoritmalara göre bilgileri kodlayabilir ve çözebilir. |
| Haftalık Konu | Değerlendirme Yöntemi | |
|---|---|---|
| 1 | Setler ve üzerlerindeki işlemler. | |
| 2 | İlişkiler ve özellikleri. | |
| 3 | Fonksiyonlar. | |
| 4 | Kombinatoryal konfigürasyonlar. Yerleşimler. Oyuncu değişikliği. Aramalar. Binom katsayıları ve özellikleri. | |
| 5 | Seti bölümlere ayırın. Dahil etme ve hariç tutma ilkesi. | |
| 6 | Görüş cebirinin alfabesi ve formülleri. Gerçeğin işlevleri. | |
| 7 | Normal formlar ve gerçek işlevlerin tam sistemleri. Fikir cebiri formüllerinin türleri. Önemli totolojiler. | |
| 8 | Mantıksal sonuçların oranı. Fikir cebiri dilinin kullanımı. | |
| 9 | İncelemelerin hesaplanması. Resmi kanıt ve resmi genelleme. | |
| 10 | Yüklem. Yüklemlerin cebir formülleri. | |
| 11 | Grafikler ve benzeri nesneler. Grafiklerin izomorfizmi. | |
| 12 | Grafik türleri ve işlemleri. Grafikleri aktarmanın yolları. | |
| 13 | Ağaçlar ve temel özellikleri. Eulerian ve Hamiltonian sayımları. | |
| 14 | Alfabetik kodlama. Kodlamanın karşılıklı belirsizliğini tanıma sorunu. Verimli kodlama. Huffman ve Fano algoritmaları. | |
| 15 | Hata tespit ve düzeltme kodları. Hamming kodu. |
| PÇ1 | PÇ2 | PÇ3 | PÇ4 | PÇ5 | PÇ6 | PÇ7 | PÇ8 | PÇ9 | PÇ10 | PÇ11 | PÇ12 |
|---|
| Ders Kitabı / Malzemesi / Önerilen Kaynaklar | ||
|---|---|---|
| 1 | Ә.С. Төлеп, Б.И. Ескараева. Дискретті математика. Теория және практикум. -Шымкент, 2020. -132 б. | |
| 2 | Ә.С. Төлеп, Б.И. Ескараева. Дискретті математика. Тапсырмалар мен жаттығулар. Оқу құралы. -Түркістан, 2021. -221 б. | |
| 3 | А.А. Байжуманов. Математикалық логика негіздері. Оқу құралы. -Алматы: Эверо, 2023. | |
| 4 | Бейсеков Ж. Математикадан логикалық есептерді шығаруға арналған әдiстемелiк құрал. -Шымкент, 2017. |