Алгебралық тұжырымдау туралы түсінік

Автор: Пользователь скрыл имя, 05 Октября 2012 в 15:31, курсовая работа

Краткое описание

Математика барлық тұжырымдар ақыл қорытындысы арқылы, яғни адамның ойлау қабілеті заңының жолдарын қолданып, дәлелденетін ғылым болып табылады. Адамның ойлау қабілетінің заңын оқу логика пәні болып табылады.
Логика өз алдына ғылым болып грек философы Аристотельдің (384-322 ж.ж б.э.д) еңбегінде нақтыланған. Ол өзіне дейінгі мәліметтерді жүйеледі және осы жүйе кейін формальды немесе Аристотель логикасы деп аталды.

Оглавление

КІРІСПЕ 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
Тесты по теме 32
VI ТАРАУ. АЛГОРИТМДЕР ТЕОРИЯСЫНЫҢ ЭЛЕМЕНТТЕРІ 34
4.1 Алгоритм түсінігі және оның қасиеттері 34
4.2. Тьюринг машиналары 35
4.3 Машинаның жұмыс істеу ережелері 35
4.4 Машина мысалдары 36
Тақырып бойынша тесттер 36
КУРС БОЙЫНША ТЕСТТЕР 39
ӘДЕБИЕТТЕР 43

Файлы: 1 файл

Алгебралық тұжырымдау туралы түсінік.DOC

— 1.18 Мб (Скачать)

.F = 1, G = 0

F = 0, G = 1

F = 1, G = 1

F = 0, G = 0

 

ӘДЕБИЕТТЕР

 

  1. Ершов Ю.Л., Палютин Е.А., «Математическая логика». М., Наука, 1979.
  2. Жетпісов Қ., Түсіпов Ж.А., «Математикалық логика», Тараз, 2000.
  3. Лавров И.А., Максимова Л.Л., «Задачи по  теории множеств, математической статистике и теории алгоритмов». М., Наука, 1975.
  4. Лихтарников Л.М., Сукачева Т.Г., «Математическая логика». СПб.: «Лань», 1998.
  5. Мальцев А.И., «Алгоритмы и рекурсивные функции». М.: Наука, 1986.
  6. Мендельсон Э., «Введение в математическую логику», М., 1976.

 

 

 




Информация о работе Алгебралық тұжырымдау туралы түсінік