Читать реферат по всему другому: "Методические рекомендации по изучению дисциплины для студентов специальностей 080801 «Прикладная информатика в экономике», 230201 «Информационные системы и технологии» Бийск" Страница 2
- 1
- 2
- 3
- 4
- . . .
- последняя »
(Назад)
(Cкачать работу)Математическая логика представляет собой обширный и разветвленный раздел математики и изучает способы формального представления высказываний, построения новых высказываний из имеющихся, а также способы установления истинности или ложности высказываний.
Курс «Математическая логика и теория алгоритмов» входит в число дисциплин, включенных в учебный план специальностей 080801 «Прикладная информатика в экономике» и 230201 «Информационные системы и технологии» в соответствии с ГОС ВПО.
Целью дисциплины является овладение студентами аппаратом математической логики и теории алгоритмов для решения различных задач, связанных с их профессиональной деятельностью. Более подробно цели курса «Математическая логика и теория алгоритмов» представлены в таблице 1.Таблица 1 – Цели курса «Математическая логика и теория
алгоритмов»
| Содержание цели | |
| Студент будет иметь представление: | |
| 1 О предмете математической логики | |
| 2 О предмете теории алгоритмов | |
| 3 О месте и роли математической логики в системе математических наук | |
| Студент будет знать: | Студент будет уметь: |
| 4 Основные понятия логики высказываний: высказывание, операции над высказываниями, формула логики высказываний, равносильные формулы логики | 8 Представлять логическими формулами сложные высказывания |
| 9 Производить корректные преобразования логических формул |
Продолжение таблицы 1
| высказываний, законы логики,нормальныеформы формул, совершенные нормальные формы (СДНФ, СКНФ), булева функция, полная система булевых функций, базис, аксиома исчисления высказываний, вывод в исчислении высказываний, резолютивный вывод | 10 Задавать булевы функции различными способами |
| 11 Доказывать равносильность формул логики высказываний различными способами | |
| 12 Исследовать логическую формулу на общезначимость средствами алгебры логики высказываний и исчисления высказываний | |
| 13 Устанавливать правильность схемы рассуждения | |
| 14 Упрощать контактные схемы | |
| 5 Основные понятия логики предикатов: предикат, область истинности предиката, выполнимый предикат, тождественно истинный и тождественно ложный предикаты, кванторы общности и существования, формула логики предикатов, равносильные формулы логики предикатов, префиксная нормальная форма, метод резолюций в исчислении предикатов | 15 Записыватьматематические утверждения с помощью логической символики |
| 16 Задавать предикаты различными способами | |
| 17 Доказывать равносильность формул логики предикатов | |
| 18 Исследовать формулу логики предикатов на общезначимость средствами исчисления предикатов | |
| 19 Доказывать истинность предикатов, заданных на множестве натуральных чисел, с помощью метода математической индукции | |
| 6 Основные понятия теории алгоритмов: интуитивное понятие алгоритма, эффективная вычислимость, оператор суперпозиции, оператор примитивной рекурсии, оператор минимизации, машина Тьюринга, программа машины Тьюринга, неразрешимая алгоритмическая проблема |
- 1
- 2
- 3
- 4
- . . .
- последняя »
Похожие работы
Интересная статья: Быстрое написание курсовой работы