Математическая логика и теория алгоритмов
Учебный план № 3656
ФТИ.705.62.2015
Код ООП
|
Направление/
Специальность
|
Профиль/Программа магистратуры/
Специализация
|
Код дисциплины по учебному плану
|
230100.62-03-2011
|
Информатика и вычислительная техника
|
Вычислительные машины, комплексы, системы и сети: системная интеграция
|
Б2.2.10
|
Рабочая программа дисциплины составлена авторами:
№
|
ФИО
|
Ученая степень,
ученое звание
|
Должность
|
Кафедра
|
Подпись
|
1
|
Смирнов Геннадий Борисович
|
д.т.н., проф.
|
профессор
|
вычислительной техники
|
|
Рабочая программа одобрена на заседании кафедр (учебно-методических советов):
№
|
Наименование
кафедры (УМС)
|
Дата
заседания
|
Номер протокола
|
ФИО зав. кафедрой (предс. УМС)
|
Подпись
|
1
|
Вычислительной техники
|
03.07.2014
|
№5
|
Гольдштейн С.Л.
|
|
Рекомендуемая литература Основная литература
Акимов О.Е. Дискретная математика: логика, группы, графы / О.Е. Акимов – М. : Лаборатория базовых знаний, 2003. – 376 с.
Аляев Ю.А. Дискретная математика и математическая логика : учебник / Ю.А. Аляев, С.Ф. Тюрин. – М. : Финансы и статистика, 2006. – 366 с.
Ершов Ю.Л. Математическая логика : учеб. пособие для вузов / Ю.Л. Ершов, Е.А. Палютин. – СПб. : Лань, 2005. – 336 с.
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие / В.И. Игошин. – М. : Академия, 2006. – 304 с.
Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие / В.И. Игошин. – М. : Академия, 2008. – 448 с.
Лихтарников Л.М. Математическая логика : курс лекций, задачник-практикум и решения / Л.М. Лихтарников, Т.Г. Сукачёва. – СПб. : Лань, 2009. – 288 с.
Судоплатов С.В. Математическая логика и теория алгоритмов: учебник для студентов вузов / С.В. Судоплатов, Е.В. Овчинникова ; М-во образования РФ, Новосиб. гос. техн. ун-т. – Москва : Новосибирск, 2008. – 224 с.
7.1.2 Дополнительная литература
Важенин Ю.М. Множества, логика, алгоритмы : учеб. пособие / Ю.М. Важенин. – Екатеринбург : Издательство УрГУ, 1999. – 136 с.
Важенин Ю.М. Множества, логика, алгоритмы в задачах : учебное пособие / Ю.М. Важенин, В.Ю. Попов. – Екатеринбург : Издательство УрГУ, 1997. – 56 с.
Гашков С.Б. Арифметика, алгоритмы, сложность вычислений : учеб. пособие для вузов / С.Б. Гашков, В.Н. Чубариков. – М. : Высшая школа, 2000. – 320 с.
Горбатов В.А. Основы дискретной математики : учеб. пособие для студентов вузов. – М. : Высшая школа, 1986. – 311 с.
Колмогоров А.Н. Введение в математическую логику / А.Н. Колмогоров, А.Г. Драгалин. – М. : Издательство Московского университета, 1982. – 120 с.
Кормен Т. Алгоритмы: построение и анализ : [пер. с англ.] / Т. Кормен, Ч. Лейзерсон, Р. Ривест. – М. : МЦНМО, 2001. – 960 с.
Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. – М. : Физматлит, 2001. – 256 с.
Новиков Ф.А. Дискретная математика для программистов / Ф.А. Новиков. – СПб. : Питер, 2001. – 304 с.
Яблонский С.В. Введение в дискретную математику : учеб. пособие для вузов / С.В. Яблонский. – М. : Высшая школа, 2001. – 384 с.
Методические разработки
Не используются
Не используется
Базы данных, информационно-справочные и поисковые системы
1. Математический портал www.allmath.ru.
2.Образовательный математический сайт www.exponenta.ru.
3.Yandex.
4.Google.
Не используются
Достарыңызбен бөлісу: |