Skip to main content
Log In
English (en)
Қазақша (kk)
Русский (ru)
English (en)
Links Menu
О нас
Нормативные документы
Положение о центре
Инструкция для преподавателей
Образовательные программы
Бакалавриат
Магистратура
Докторантура
Повышение квалификации
Мектепке дейінгі білім беру
Курс образец
Академический календарь
Courses
Онлайн курсы
Математикалық логика және дискретті математика
Topic outline
General
General
Мынжасарова Маржангул Жангазиновна
File
педагогика ғылымдарының кандидаты, қауымдастырылған профессор міндетін атқарушы
Жиын ұғымы. Жиынның түрлері. Жиындарға қолданылатын амалдар және олардың қасиеттері.
Жиын ұғымы. Жиынның түрлері. Жиындарға қолданылатын амалдар және олардың қасиеттері.
Дәріс №1
File
Жиындардың декарттық көбейтіндісі және оның қасиеттері. Жиындар алгебрасының негізгі заңдары.
Жиындардың декарттық көбейтіндісі және оның қасиеттері. Жиындар алгебрасының негізгі заңдары.
Дәріс №2
File
Сәйкестік және оның қасиеттері. Функциялар мен бейнелеулер.
Сәйкестік және оның қасиеттері. Функциялар мен бейнелеулер.
Дәріс №3
File
Қатынастар. Бинарлы қатынастар және берілу тәсілдері. Бинарлы қатынастарға қолданылатын амалдар, қасиеттері.
Қатынастар. Бинарлы қатынастар және берілу тәсілдері. Бинарлы қатынастарға қолданылатын амалдар, қасиеттері.
Дәріс №4
File
Пікірлер логикасының тілі, формулалары және ақиқаттық кестелері. Тавтология және қайшылық. Тавтологияның қасиеттері.
Пікірлер логикасының тілі, формулалары және ақиқаттық кестелері. Тавтология және қайшылық. Тавтологияның қасиеттері.
Дәріс №5
File
Логикалық эквиваленттіліктер және олардың қолданылуы. Дизъюнктивті және конъюнктивті қалыпты формалар. Логикалық амалдардың толықтығы.
Логикалық эквиваленттіліктер және олардың қолданылуы. Дизъюнктивті және конъюнктивті қалыпты формалар. Логикалық амалдардың толықтығы.
Дәріс №6
File
Логика алгебрасының функциялары. Мінсіз дизъюнктивті қалыпты форма. Мінсіз конъюнктивті қалыпты форма.
Логика алгебрасының функциялары. Мінсіз дизъюнктивті қалыпты форма. Мінсіз конъюнктивті қалыпты форма.
Дәріс №7
File
Жегалкин полиномдары. Логика алгебрасының функциясының толықтығы туралы Пост теоремасы.
Жегалкин полиномдары. Логика алгебрасының функциясының толықтығы туралы Пост теоремасы.
Дәріс №8
File
Предикаттар логикасының тілі.
Предикаттар логикасының тілі.
Дәріс №9
File
Алгебралық жүйе. Орындалатын формулалар және олардың қасиеттері.
Алгебралық жүйе. Орындалатын формулалар және олардың қасиеттері.
Дәріс №10
File
Қосу және көбейту ережесі. Комбинаториканың негізгі принципі.
Қосу және көбейту ережесі. Комбинаториканың негізгі принципі.
Дәріс №11
File
Ньютон биномы. Математикалық индукция.
Ньютон биномы. Математикалық индукция.
Дәріс №12
File
Граф және оның түрлері. Графтардың берілу тәсілдері. Графтарға қолданылатын амалдар. Граф бөліктеріне қолданылатын амалдар.
Граф және оның түрлері. Графтардың берілу тәсілдері. Графтарға қолданылатын амалдар. Граф бөліктеріне қолданылатын амалдар.
Дәріс №13
File
Цикл. Эйлер және Гамильтон циклдары. Цикломатикалық және хроматикалық сан. Ағаш және оның қасиеттері. Маршрут. Графтың байланыс компоненттері.
Цикл. Эйлер және Гамильтон циклдары. Цикломатикалық және хроматикалық сан. Ағаш және оның қасиеттері. Маршрут. Графтың байланыс компоненттері.
Дәріс №14
File
Кодтау теориясының негізгі ұғымдары. Кодтаудың түрлері. Хемминг коды
Кодтау теориясының негізгі ұғымдары. Кодтаудың түрлері. Хемминг коды
Дәріс №15
File