Математикағы барлық тұжырымдар ақыл қорытындысы курстық жұмыс

МАЗМҰНЫ

КІРІСПЕ  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  Предикаттар логикасының формуласының ұғымы.. 29

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

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

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

ӘДЕБИЕТТЕР  43

Курстық жұмысты көшіру үшін Сатып алу мәзірінен толығырақ мәліметті алыңыз

Курстық жұмыс бойынша қысқаша мәлімет

Пән: Математика

Жұмыс түрі: Курстық жұмыс

Осы жұмыстың бағасы:  1150 теңге

Курстық жұмыстар, Дипломдық жұмыстар сайты – diplomnik.kz