1 тарау. ТҰжырымдар алгебрасы 5



жүктеу 1,18 Mb.
бет1/34
Дата16.01.2022
өлшемі1,18 Mb.
#32886
  1   2   3   4   5   6   7   8   9   ...   34
Дип.-ТҰЖЫРЫМДАР-АЛГЕБРАСЫ



МАЗМҰНЫ


КІРІСПЕ 2

1 ТАРАУ. ТҰЖЫРЫМДАР АЛГЕБРАСЫ 5

1.1. Тұжырым ұғымы 5

1.2. Тұжырымдарға қолданылатын логикалық амалдар. Терістеу 5

1.3 Конъюнкция 6

1. 4 Дизъюнкция 6

1. 5 Эквиваленция 7

1.6 Импликация 7

1.7 Тұжырымдар алгебрасының формулалары 8

1.8 Тұжырымдар алгебрасының пара-пар, тепе-тең ақиқат және тепе-тең жалған формулалары 9

1.9 Негізгі тепе-теңдіктер 10

1.10 Формулаларды тепе-тең түрлендіру 11

1.11 Логика алгебрасының функциялары 11

1.12 Нормал және жетілдірілген формалар 12

1.13 Формулаларды ақиқаттық мәндер кестесі бойынша қалпына келтіру 13

1.14 Логикалық байланыстардың толық жүйелері 14

Тақырып бойынша тесттер 15

2 тарау. тұжырымдар есептелімі 17

2.1 Тұжырымдар есептелімі формуласының ұғымы 17

2.2. Дәлелденетін формула ұғымы 18

2.3 Тұжырымдар есептелімінің аксиомалар жүйесі 18

2.4 Шығару ережелері 18

2.5 Дәлелденетін формуланың анықтамасы 19

2.6 Туынды шығару ережелері 19



2.7 Формулаларды гипотезалардан қорытып шығару 21

2.8 Шығарылу ережелері 22

2.9 Тұжырымдар алгебрасы мен тұжырымдар есептелімі арасындағы байланыс 23

Тақырып бойынша тесттер 24

Глава 3. предикаттар логикасы 26



3.1 Предикат ұғымы 26

3.2 Предикаттарға логикалық амалдарды қолдану 27

3.3 Кванторлық амалдар 28

3.4 Предикаттар логикасының формуласының ұғымы 28

3.5 Предикаттар логикасының формулаларының тепе-теңдігі 30

3.6 Пренекстік нормал форма 31

3.7 Математикалық тұжырымдар мен анықтамаларды предикаттар логикасының формулалары түрінде жазу 31

Тесты по теме 32

VI тарау. АЛГОРИТМДЕР ТЕОРИЯСЫНЫҢ ЭлементтерІ 34

4.1 Алгоритм түсінігі және оның қасиеттері 34

4.2. Тьюринг машиналары 35

4.3 Машинаның жұмыс істеу ережелері 35

4.4 Машина мысалдары 36

Тақырып бойынша тесттер 36

КУРС БОЙЫНША ТестТЕР 39

ӘДЕБИЕТТЕР 43


жүктеу 1,18 Mb.

Достарыңызбен бөлісу:
  1   2   3   4   5   6   7   8   9   ...   34




©g.engime.org 2024
әкімшілігінің қараңыз

    Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау