Алгебралық тұжырымдау туралы түсінік
Курсовая работа, 23 Февраля 2012, автор: пользователь скрыл имя
Краткое описание
Математика барлық тұжырымдар ақыл қорытындысы арқылы, яғни адамның ойлау қабілеті заңының жолдарын қолданып, дәлелденетін ғылым болып табылады. Адамның ойлау қабілетінің заңын оқу логика пәні болып табылады.
Файлы: 1 файл
Алгебралық тұжырымдау туралы түсінік.DOC
— 1.18 Мб (Скачать)
T:
| q1 | q2 | q3 | |
| | | |q2+1 | Lq3+1 | Lq1+1 |
| L | Lq00 | |q0-1 | |q1-1 |
L ( q0) LL
L | ( q0) |
| L ( q0) |
| L L L ( q0)
|L(
q0) | |
14. формуланың жетілдірілген конъюнктивті нормал формасын табыңыз:
15. 0-ді Пирс функциясы арқылы өрнектеңіз:
16. Пирс функциясы арқылы өрнектеңіз:
17. Шеффер функциясы арқылы өрнектеңіз:
18. Шеффер функциясы арқылы өрнектеңіз:
19. x = 1, y = 1, z = 0 аргументтердің берілген мәндерінде және функциялардың мәндерін есептеңіз.
F = 1, G =1
F = 0, G = 0
F = 0, G = 1
F = 1, G = 0
20. x = 1, y = 1, z = 1 аргументтердің берілген мәндерінде және функциялардың мәндерін есептеңіз.
.F = 1, G = 0
F = 0, G = 1
F = 1, G = 1
F = 0, G = 0
ӘДЕБИЕТТЕР
- Ершов Ю.Л., Палютин Е.А., «Математическая логика». М., Наука, 1979.
- Жетпісов Қ., Түсіпов Ж.А., «Математикалық логика», Тараз, 2000.
- Лавров И.А., Максимова Л.Л., «Задачи по теории множеств, математической статистике и теории алгоритмов». М., Наука, 1975.
- Лихтарников Л.М., Сукачева Т.Г., «Математическая логика». СПб.: «Лань», 1998.
- Мальцев А.И., «Алгоритмы и рекурсивные функции». М.: Наука, 1986.
- Мендельсон Э., «Введение в математическую логику», М., 1976.