Смирнов Геннадий Борисович д т. н., проф профессор вычислительной техники рабочая программа



Дата28.09.2022
өлшемі79.5 Kb.
#461535
түріПрограмма
230100.62-03 Математическая логика и теория алгоритмов


Математическая логика и теория алгоритмов

Учебный план № 3656


ФТИ.705.62.2015





Код ООП

Направление/
Специальность



Профиль/Программа магистратуры/
Специализация



Код дисциплины по учебному плану

230100.62-03-2011

Информатика и вычислительная техника

Вычислительные машины, комплексы, системы и сети: системная интеграция

Б2.2.10

Рабочая программа дисциплины составлена авторами:



ФИО

Ученая степень,
ученое звание

Должность

Кафедра

Подпись

1

Смирнов Геннадий Борисович

д.т.н., проф.

профессор

вычислительной техники




Рабочая программа одобрена на заседании кафедр (учебно-методических советов):







Наименование
кафедры (УМС)

Дата
заседания

Номер протокола

ФИО зав. кафедрой (предс. УМС)

Подпись

1

Вычислительной техники

03.07.2014

№5

Гольдштейн С.Л.






  1. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ

    1. Рекомендуемая литература

      1. Основная литература


  1. Акимов О.Е. Дискретная математика: логика, группы, графы / О.Е. Акимов – М. : Лаборатория базовых знаний, 2003. – 376 с.

  2. Аляев Ю.А. Дискретная математика и математическая логика : учебник / Ю.А. Аляев, С.Ф. Тюрин. – М. : Финансы и статистика, 2006. – 366 с.

  3. Ершов Ю.Л. Математическая логика : учеб. пособие для вузов / Ю.Л. Ершов, Е.А. Палютин. – СПб. : Лань, 2005. – 336 с.

  4. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие / В.И. Игошин. – М. : Академия, 2006. – 304 с.

  5. Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие / В.И. Игошин. – М. : Академия, 2008. – 448 с.

  6. Лихтарников Л.М. Математическая логика : курс лекций, задачник-практикум и решения / Л.М. Лихтарников, Т.Г. Сукачёва. – СПб. : Лань, 2009. – 288 с.

  7. Судоплатов С.В. Математическая логика и теория алгоритмов: учебник для студентов вузов / С.В. Судоплатов, Е.В. Овчинникова ; М-во образования РФ, Новосиб. гос. техн. ун-т. – Москва : Новосибирск, 2008. – 224 с.



7.1.2 Дополнительная литература


  1. Важенин Ю.М. Множества, логика, алгоритмы : учеб. пособие / Ю.М. Важенин. – Екатеринбург : Издательство УрГУ, 1999. – 136 с.

  2. Важенин Ю.М. Множества, логика, алгоритмы в задачах : учебное пособие / Ю.М. Важенин, В.Ю. Попов. – Екатеринбург : Издательство УрГУ, 1997. – 56 с.

  3. Гашков С.Б. Арифметика, алгоритмы, сложность вычислений : учеб. пособие для вузов / С.Б. Гашков, В.Н. Чубариков. – М. : Высшая школа, 2000. – 320 с.

  4. Горбатов В.А. Основы дискретной математики : учеб. пособие для студентов вузов. – М. : Высшая школа, 1986. – 311 с.

  5. Колмогоров А.Н. Введение в математическую логику / А.Н. Колмогоров, А.Г. Драгалин. – М. : Издательство Московского университета, 1982. – 120 с.

  1. Кормен Т. Алгоритмы: построение и анализ : [пер. с англ.] / Т. Кормен, Ч. Лейзерсон, Р. Ривест. – М. : МЦНМО, 2001. – 960 с.

  2. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. – М. : Физматлит, 2001. – 256 с.

  1. Новиков Ф.А. Дискретная математика для программистов / Ф.А. Новиков. – СПб. : Питер, 2001. – 304 с.

  2. Яблонский С.В. Введение в дискретную математику : учеб. пособие для вузов / С.В. Яблонский. – М. : Высшая школа, 2001. – 384 с.



      1. Методические разработки


Не используются
      1. Программное обеспечение


Не используется
    1. Базы данных, информационно-справочные и поисковые системы


1. Математический портал www.allmath.ru.
2.Образовательный математический сайт www.exponenta.ru.
3.Yandex.
4.Google.
    1. Электронные образовательные ресурсы


Не используются



Достарыңызбен бөлісу:




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет