Студенттердің өзіндік жұмысы

№№ п.п.	Сабақтардың аттары және мазмұны	Сағат саны	Семестр аптасы
1.тақырып	Жиын. Жиындарға амалдар қолдану, қасиеттері	2	1
2.тақырып	Пікірлер. Логикалық операциялар	2	2
3.тақырып	Формула ұғымы. Формулардың ақиқаттық кестелері	2	3
4.тақырып	Тепе-тең ақиқат, тепе- тең жалған және орындалатын формулалар.Логика заңдары.Эквивалент формулалар	4	4-5
5.тақырып	Логикалық операцияларды талдау	2	6
6.тақырып	Пікірлер алгебрасының қолданысы	2	7
7.тақырып	Логика операцияларының арифметикасы	2	8
8.тақырып	Предикаттар алгебрасы	2	9
9.тақырып	Предикаттық формулалар	2	10
10.тақырып	Жалпылық және бар болу кванторлары. Кванторларды терістеу.	2	11
11.тақырып	Предикаттық формулалардың ақиқаттық аймағы және пара-парлығы	2	12
12.тақырып	Комбинаториика элементтері. Математикалық индукция әдісі. Ньютон биномы.	2	13
13.тақырып	Граф.Бағытталған және бағытталмаған графтар. Графтардың берілу тәсілдері. Маршрут.	2	14
14.тақырып	Кодтау. Шифрлеу. Кодтауға кері амалдардың бірмағыналық шарттары. Кодтаудың артықшылығы.	1	15
Барлығы		30	15

1. Пән бойынша оқу-әдістемелік материалдар

3.1.Ұсынылатын әдебиеттер тізімі

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

1. Акимов О.Н. Логика, группы, графы, фракталы. ЛБ3. СПб., 2005.

2. Лупанов О.Б. Лекции по математической логике. Ч. 1. МГУ, 1970.

3. Мендельсон Э. Введение в математическую логику. М., Мир, 1971.

4. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика. М., ЭАИ, 1985.

5. Москинова Г.И. Дискретная математика. М., Логос, 2001.

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

Қосымша әдебиеттер:

2. Непейвода Н.Н. Прикладная математическая логика. М., Наука, 2000.

3. Шенфилд Д. Математическая логика. М., Мир, 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

3.2. Емтиханға дайындалуға арналған сұрақтар

(30-дан кем емес)

1.Жиындарға амалдар қолдану және олардың қасиеттері.

2.Жиындар арасындағы сәйкестік және жиындардағы қатынастар.

3.Реттелген жиындар.

4.Айтылымдар алгебрасының формулалары және олардың эквиваленттігі.

5.Натураль сандардың теориясы.

6.Толықтық емес Гедель теоремасы

7.Математикалық тіл.

8.Айтылымдарды формализациялау. Айтылымдар логикасының формуласы.

9.Формулалардың қасиеттері.

10.Айтылымдар логикасына амалдар қолдану.

11.Аксиомалар және қорыту ережелері.Айтылымдар есептелімінің қорытындысы және оның қасиеттері.

12.Формуланың дәлелденуі.

13.Предикаттар алгебрасының формуласы.

14.Предикаттар алгебрасының заңдары.

15.Жиындар теориясының элементтері.

16.Математикалық индукция.

17.Математикалық тіл.Математикалық логиканың символдары, олардың қолданылуы.

18.Айтылымдар логикасының тілі.

19.Граф және кесте көмегімен логикалық есепті шығару.

20.Тұжырымдардың логикалық дұрыстығын.Логикалық салдар.

21.Алгебрадағы логикалық әдіс.

22.Предикаттарды есептеу. Дедукция теоремесы

23.Натураль сандардың теориясы. Толықтық емес Гедель теоремасы.

24.Логикалық есепті алгебралық айтылымдар әдісімен шешу.

25.Түзу, кері және қарама – қарсы теоремалар.

26. Эквиваленттік қатынас.

27. Айтылымдар логикасының тілі.

28. Ішкі формулалар.

29. Жиындардың декарттық көбейтіндісі.

30. Есептің берілуін логикалық алгебра формуласы түрінде жазу, шартты байланыстар.