Әдебиеттер

Оқытуға арналған әдебиеттер

Негізгі әдебиеттер:

1. Бадаев С.А., Сызықты алгебра жəне аналитикалық геометрия, 1 жəне 2 бөлімдер, Алматы, Қазақ Университеті, 2007.

2.Е.Р. Байсалов, Криптографияның математикалық негіздері, Қазақ Университеті, Алматы, 2003., оқу құралы.

3.Джумадильдаев А.С., Элементы дискретной математики. Часть 1., Алматы, 2005.

4.Горбатов В. А., Фундаментальные основы дискретной математики. М, Физматлит, 2000.

5.Гаврилов Г.П., Сапоженко А.А., Задачи и упражнения по курсу дискретной математики. М, Наука, 1992.

6.Лавров И.А., Максимова Л.Л., Задачи по теории множеств, математической логике и теории алгоритмов, М, Наука, 1984.

7.Омаров А.И., Досанбай П.Т., Заурбеков С.С., Математикалық логика жəне алгоритмдер теориясының негіздері, Алматы, Қазақ Университеті, 2009.

8.Мендельсон Э., Ввведение в математическую логику. М. Наука, 1984г.

9.Новиков П.С., Элементы математической логики. М. 1974г.

10.Эдельман С.П., Математическая логика. М. 1980г.

Қосымша:

1. Емеличев В.А.жəне басқалар, Лекции по теории графов, М, Наука, 1990.

2.Новиков Ф. А., Дискретная математика для программистов., СПб, Питер, 2001.

3.Судоплатов С.В., Овчинникова Е.В., Элементы дискретной математики, М, Инфра – М, 2002.

4.Нурлыбаев А.Н., Муқатаева М.К. Дискретті математика және математикалық логика курсының арнаулы тараулары Әдістемелік талдау Алматы, 2006 ж.

5.Нурлыбаев А.Н.,Белғожаева Ш.Д.Буль функцияларының кластары және олардың функционалдық толықтық мәселелері. Дискретті математика және математика логика әдістері мен үлгілері курсы бойынша дәрістер. Оқу әдістемелік құралы.–Алматы, 2009ж

Анықтамалық әдебиеттер

1. Математический энциклопедический словарь. – М., 1988. Нормативтік

әдебиеттер

2. Қазақстан Республикасы Жалпы Орта ББМЖ стандарттары. – Алматы, 2002.

3. Қазақстан Республикасы Жоғ.ББМ стандарттары. Алматы, 2003.

4. Практикум по решению математических задач. Типовая учебная программа. /Высшее профессиональное образование.

Интернет-ресурстардың тізімі

3. http://mini-soft.ru/nstu/diskr/index.php

4. http://lpcs.math.msu.su/~plisko/matlog.pdf,

5. http://lpcs.math.msu.su/~plisko/matlog.ps

СӨЗДІК

 - біріктіру (union) амалының таңбасы.

АВ – қиылысу (intersection, объединение)

A\B – айырма (difference, разность)

(symmetric difference)-Симметриялық айырма

universum -универсум

- х терістеу (х инверсия)

- компликация (импликацияның терістеуі)

х ν у – х, у- дизъюнкциясы ( disjunction логикалық қосу)

х у 2- модулі бойынша қосу

= х y – х, у эквиваленттігі

х ↓ у – Пирс (Pierse) меңзері – дизъюнкцияға қарсы функция, немесе Вебб (Webb) функциясы;

-төменге бағытталған (оъект формулада)

х ← у – оң жақ импликация (Right implication)

х → у – сол жақ импликация (ілесу) Cleft implication

= х / у – Шеффер (Sheffer) штрихы – конъюнкцияға қарсы функция.

Пікір- шын немесе жалған деп айтуға болатын сөйлем.

G- граф

Гексаэдр- куб

Октаэдр – бипирамида

Додекаэдр – бұл 12 жақты, барлық жақтары – дұрыс бесбұрыштар.

Икосаэдр – бұл 20 жақты, мұндағы барлық жақтары дұрыс үшбұрыштар.

133

Ф ҚазҰПУ 703-12-11. Білім алушыларға арналған пәннің оқу-әдістемелік кешені. Үшінш басылым.