close

Вход

Забыли?

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

?

5. Zaklyuchenie i spisok literatury (1)(1)

код для вставкиСкачать
 Заключение
В ходе работы была изучена научная и учебная литература по теме "Математическая логика и теория алгоритмов" и изучены материалы Интернет-ресурсов.
В курсовой работе решены все поставленные задачи, в частности задания по алгебре высказываний и исчислению высказываний, алгебре предикатов и исчислению предикатов, реляционной алгебре, таким образом цель работы достигнута.
Список литературы
1. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - 5-е изд., исправ. - М.: ФИЗМАЛИТ, 2004. - 256 с.
2. Попов А.И. Введение в математическую логику. - Л.: ЛГУ, 1959. - 108 с.
3. Фролов И.С. Элементы математической логики: Учеб. Пособие для студентов математических специальностей. - Самара: Изд-во "Самарский университет", 2001. - 80 с.
4. Эдельман С.Л. Математическая логика. - М.: Высш. шк., 1975. - 176 с.
25
Документ
Категория
Рефераты
Просмотров
12
Размер файла
19 Кб
Теги
zaklyuchenie, literatury, spisok
1/--страниц
Пожаловаться на содержимое документа