close

Вход

Забыли?

вход по аккаунту

?

4. Soderzhanie(доделать)(1)

код для вставкиСкачать
 Содержание
Введение 41. Логика высказываний. Исчисление высказываний 51.1 Задание №19 51.2 Задание №60 92. Логика предикатов. Исчисление предикатов 132.1 Задание №19 132.2 Задание №60 163. Реляционная логика 193.1 Задание №19 193.2 Задание №60 22 Заключение 25 Список литературы 26
Введение
Курсовая работа является одним из основных методов обучения студентов, который позволяет закрепить, обобщить, систематизировать и изложить теоретические знания, полученные в процессе самостоятельного изучения литературы и применить эти знания к комплексному решению поставленных задач, а так же позволяет использовать анализ и самостоятельные выводы по проблемам математической логики и теории алгоритмов.
Целью курсовой работы является решение задач на тему "Математическая логика и теория алгоритмов".
Задачи, решаемые в работе: - задания по алгебре логики высказываний и исчислению высказываний,
- задания по алгебре логики предикатов и исчислению предикатов,
- задания по реляционной алгебре.
3
Документ
Категория
Рефераты
Просмотров
6
Размер файла
20 Кб
Теги
soderzhanie, доделать
1/--страниц
Пожаловаться на содержимое документа