«Математикалық логика және дискретті математика» пәнінен syllabus
жүктеу/скачать 1,4 Mb.
|
- Бұл бет үшін навигация:
- Негізгі әдебиеттер
- Қосымша әдебиеттер
- Интернет-көздер
- 6. Өзін-өзі бақылауға арналған сұрақтар
| Практикалық сабаұтың тақырыбы. Дәріс тақырыбы бойынша есептер шығару.
Әдебиет: [4]. 87 бет. № 3, 4, 7, 8. СОӨЖ мазмұны: [4]. 90 бет. 2, 3, 5 жаттығулар СӨЖ мазмұны: [4]. 7-8 жаттығулар Негізгі әдебиеттер: . Досанбай П.Т., Математикалық логика, А., 2011 . Жаңбырбаев Б.С., Добрица В.П., Математикалық логиканың бастамалары, А., 2001 . Жетпісов Қ., Математикалық логика және дискретті математика, А., 2011 . Жиындар мен математикалық логиканың элементтері (әдіст.талд.), А., 1985 . Игошин В.И., Математическая логика и теория алгоритмов, Саратов, 1991 . Игошин В.И., Задачник – практикум по математической логике, М., 1986 . Лельчук М.П. и др., Практические занятия по алгебре и т.ч., Минск, 1986 . Отарбаев С., Сағындықов Б., Математикалық логиканың элементтері, А., 1993 . Пышкало А.М. т.б.,Математика бастауыш курсының теор.негіздері, А., 1984 .Судоплатов С.В., Овчинникова Е.В., Дискретная математики, Новосибирск, 2005 .Яблонский С.В., Введение в дискретную математику, (учеб.пос.математикам),2001 [12].Өрбісінова Б.Т., Математикалық логика, (оқу құралы), 2012 Қосымша әдебиеттер: 1. Жұбанышева З.Ж., «Сандар системалары» курсына методикалық ұсыныстар, Орал, РИО, 1997 2. Новиков Ф.А., Дискретная математика для программистов, М., 2006 3. Гиндикин С.Г., Алгебра логики в задачах, М., 1972 Интернет-көздер: www.matclub.ru – информациялық сайт www.referat.ru, www.kazref_narod.ru –рефераттар жинағы www.mathelp.spb.ru/magazin.htm www.storedbooks.com samlawin.ru/cdo/.../st_links.html 6. Өзін-өзі бақылауға арналған сұрақтар Жиындар. Жиындарға қолданылатын операциялар. Жиындар операцияларының қасиеттері. Жиындардың декарттық көбейтіндісі. Жиындардың декарттық көбейтіндісінің кейбір мысалдары. Бинарлық және n–арлық қатынастар. Бинар қатынастар операциялары. Бейнелеулер (функциялар). Бейнелеулер операциялары. Инъективті, сюръективті, биективті бейнелеулер. Түрлендірулер. Шекті және саналатын жиындар. Жиында берілген бинар қатынастар түрлері. Жиында берілген рет қатынасы. Жиында берілген эквиваленттілік қатынас. Эквиваленттілік қатынастар. Фактор-жиын. Эквиваленттілік кластар қасиеттері (дәлелдеу). Сәйкестік. Операциялар. Бинар алгебралық операциялар. Натурал сандар. Математикалық индукция әдісі. Ауыстырулар мен алмастырулар. Орналастырулар. Терулер. Қайталамалы орналастырулар мен терулер. Бөліктеу. Енгізу және жою әдісі. Реккурентті қатынастар. Қайтарымды тізбектер. Шексіз сандық системалар. Санау системалары. Позициондық санау системалары. Аралас санау системалары. Бір системадан басқа системаға көшу. Санды тізімдеп өрнектеу. Бүтін сандар сақинасындағы бөлінгіштік. Бүтін сандарды көбейткіштерге жіктеу. Модуль бойынша берілген бүтін сандар (салыстырулар). Евклид алгоритмін қолдану. Модульді сызықтық теңдеулер. 3.8.1 теореманы дәлелдеу. Логика алгебрасы формулалары. Формулалардың эквиваленттілігі. ДНФ. КНФ. СДНФ. СКНФ. ДНФ кластарындағы буль функцияларын минимизациялау. Буль функцияларының екі жақтылық қағидасы Предикат ұғымы. Шындық облыс. Предикаттық формалар. Жалпылау және бар болу кванторлары. Бос және байланысты айнымалылар. Квантордың әсер ету облысы. Предикаттар алгебрасының формулалары. Формуланы мәндеу. Орындалатын, ақиқат және жалған формулалар. Кванторлы эквивалентті формулалар. Префиксті-нормаль форманы алу процедурасы. Кванторлы формулалар үшін де-Морган заңы. Предикаттар алгебрасының қолданылуы. Формальды логика ұғымы. Формуланы қорытындылау. Формуланы қорытындылау қасиеттері. жүктеу/скачать 1,4 Mb. Достарыңызбен бөлісу:
|