
- •«Математикалық логика және дискреттік математика» пәнінің оқу-әдістемелік кешені « 5в0109 -математика»
- •Пәннің оқу-әдістемелік кешенінің мазмұнының тізімдемесі
- •Студенттерге арналған пән силлабусы
- •2.Пәннің қысқаша сипаттамасы
- •3.Пән пререквизиттері:
- •4.Пән постреквизиттері:
- •6. Оқытуға арналған әдебиеттер (10 әдебиеттен артық емес)
- •7. Бағалау критерийі
- •8.Оқытушы саясаты (студенттің этикасы).
- •Карта учебно-методическая обеспеченность
- •2013/2014 Учебный год
- •«Математикалық логика және дискреттік математика»
- •Жұмыс оқу бағдарламасы
- •1. Пәннің қысқаша сипаттамасы.
- •Пререквизиттер тізімі
- •2. Пән мазмұны
- •2.1.Дәрістік курс
- •2.2.Практикалық сабақтар
- •2.3. Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары
- •Студенттердің өзіндік жұмысы
- •Пән бойынша оқу-әдістемелік материалдар
- •3.1.Ұсынылатын әдебиеттер тізімі
- •3.2. Емтиханға дайындалуға арналған сұрақтар
- •Дәрістер тезистері
- •Алфавиттік кодтау.
- •Алгорифмдердің композициясы. Марков алгорифмдердің таралуы және бірігуі. Басқарушы алгорифм. Марковтың тармақталатын алгорифмі. Есептелнтін функциялар.
- •23,24,25,26 - Дәрістер
- •1. Тұжырымдар мен тұжырымдар формасы.
- •Практикалық сабақтар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Студенттердің оқытушы жетекшілігімен жасайтын өзіндік жұмыстары (соөж)
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Студенттердің өзіндік жұмыстары (сөж)
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Тапсырмалар:
- •Өзін-өзі тексеруге және емтиханға дайындалуға арналған Тест тапсырмалары
- •Әдебиеттер
Карта учебно-методическая обеспеченность
2013/2014 Учебный год
Специальность 5В010900 - Математика по дисциплине
«Математикалық логика және дискреттік математика»
№ |
Изучаемый раздел |
Основная литература (автор, наименование, год издания, стр. по изучаемому разделу) |
Дополнительная литература и Интернет источники |
Прочие ресурсы в случае необходимости |
|
ЖИЫНДАР ТЕОРИЯСЫНЫҢ ЭЛЕМЕНТТЕРІ |
1.Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005. 2.Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970. 3.Мендельсон Э. Введение в математическую логику. М., Мир, 1971. 4.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985. 5.Москинова Г.И. Дискретная математика. М., Логос, 2001. 6.Гаврилов Г.П. Сапоженко А.А. Сборник задач и упражнений по дискретной математике. М, Наука, 1992.
|
1.Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000. 2.Шенфилд Д. Математическая логика. М., Мир, 1990. Интернет-көздері 1.http://mini-soft.ru/nstu/ Com.an /index.php 2.http://lpcs.math.msu.su/~plisko/Com.an/pdf, 3.http://lpcs.math.msu.su/~plisko/ Com.an/.ps
|
УМК
|
|
АЙТЫЛЫМДАР |
1.Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005. 2.Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970. 3.Мендельсон Э. Введение в математическую логику. М., Мир, 1971. 4.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985. 5.Москинова Г.И. Дискретная математика. М., Логос, 2001. 6.Гаврилов Г.П. Сапоженко А.А. Сборник задач и упражнений по дискретной математике. М, Наука, 1992.
|
1.Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000. 2.Шенфилд Д. Математическая логика. М., Мир, 1990. Интернет-көздері 1.http://mini-soft.ru/nstu/ Com.an /index.php 2.http://lpcs.math.msu.su/~plisko/Com.an/pdf, 3.http://lpcs.math.msu.su/~plisko/ Com.an/.ps
|
УМК
|
|
ПРЕДИКАТТАР АЛГЕБРАСЫ |
1.Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005. 2.Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970. 3.Мендельсон Э. Введение в математическую логику. М., Мир, 1971. 4.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985. 5.Москинова Г.И. Дискретная математика. М., Логос, 2001. 6.Гаврилов Г.П. Сапоженко А.А. Сборник задач и упражнений по дискретной математике. М, Наука, 1992.
|
1.Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000. 2.Шенфилд Д. Математическая логика. М., Мир, 1990. Интернет-көздері 1.http://mini-soft.ru/nstu/ Com.an /index.php 2.http://lpcs.math.msu.su/~plisko/Com.an/pdf, 3.http://lpcs.math.msu.su/~plisko/ Com.an/.ps
|
УМК
|
|
КОМБИНАТОРИКА НЕГІЗДЕРІ |
1.Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005. 2.Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970. 3.Мендельсон Э. Введение в математическую логику. М., Мир, 1971. 4.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985. 5.Москинова Г.И. Дискретная математика. М., Логос, 2001. 6.Гаврилов Г.П. Сапоженко А.А. Сборник задач и упражнений по дискретной математике. М, Наука, 1992.
|
1.Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000. 2.Шенфилд Д. Математическая логика. М., Мир, 1990. Интернет-көздері 1.http://mini-soft.ru/nstu/ Com.an /index.php 2.http://lpcs.math.msu.su/~plisko/Com.an/pdf, 3.http://lpcs.math.msu.su/~plisko/ Com.an/.ps
|
УМК
|
|
ГРАФТАР ТЕОРИЯСЫНЫҢ НЕГІЗДЕРІ |
1.Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005. 2.Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970. 3.Мендельсон Э. Введение в математическую логику. М., Мир, 1971. 4.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985. 5.Москинова Г.И. Дискретная математика. М., Логос, 2001. 6.Гаврилов Г.П. Сапоженко А.А. Сборник задач и упражнений по дискретной математике. М, Наука, 1992.
|
1.Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000. 2.Шенфилд Д. Математическая логика. М., Мир, 1990. Интернет-көздері 1.http://mini-soft.ru/nstu/ Com.an /index.php 2.http://lpcs.math.msu.su/~plisko/Com.an/pdf, 3.http://lpcs.math.msu.su/~plisko/ Com.an/.ps
|
УМК
|
|
КОДТАУ ТЕОРИЯСЫНЫҢ ЭЛЕМЕНТТЕРІ |
1.Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005. 2.Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970. 3.Мендельсон Э. Введение в математическую логику. М., Мир, 1971. 4.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985. 5.Москинова Г.И. Дискретная математика. М., Логос, 2001. 6.Гаврилов Г.П. Сапоженко А.А. Сборник задач и упражнений по дискретной математике. М, Наука, 1992.
|
1.Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000. 2.Шенфилд Д. Математическая логика. М., Мир, 1990. Интернет-көздері 1.http://mini-soft.ru/nstu/ Com.an /index.php 2.http://lpcs.math.msu.su/~plisko/Com.an/pdf, 3.http://lpcs.math.msu.su/~plisko/ Com.an/.ps
|
УМК
|
Составители: ст.препод. Капарова Р.М.
Зав.кафедрой Коксалов К.К.
|
ҚАЗАҚСТАН РЕСПУБЛИКАСЫ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ
АБАЙ АТЫНДАҒЫ ҚАЗАҚ ҰЛТТЫҚ ПЕДАГОГИКАЛЫҚ УНИВЕРСИТЕТІ
|
«Бекітемін»
Факультет Кеңесінің төрағасы
____________________М.Ж.Бекпатшаев
«__28____» ________08_____2012_ж.
Математикалық логика және дискреттік математика пәні бойынша «050109 –математика» мамандығы үшін