Литература по курсу ДМ-2 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Новая страница: «=Рекомендуемая литература = 1. С. Дасгупта, Х. Пападимитриу, У. Вазирани. Алгоритмы. М.:МЦН…»)
 
м
 
Строка 9: Строка 9:
 
4. Б. Корте, Й. Фиген. Комбинаторная оптимизация. Теория и алгоритмы. М.: МЦНМО, 2015. Современный учебник по комбинаторной оптимизации. Включает главы с описанием линейного программирования и алгоритмов для задач линейного программирования.  
 
4. Б. Корте, Й. Фиген. Комбинаторная оптимизация. Теория и алгоритмы. М.: МЦНМО, 2015. Современный учебник по комбинаторной оптимизации. Включает главы с описанием линейного программирования и алгоритмов для задач линейного программирования.  
  
5. Alexander Schrijver. Theory of linear and integer programming. John Wiley and Sons. 1998
+
5. Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. (Для курса важен раздел про метод резолюций в главе 5.)
 +
 
 +
6. Alexander Schrijver. Theory of linear and integer programming. John Wiley and Sons. 1998

Текущая версия на 23:14, 19 сентября 2016

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

1. С. Дасгупта, Х. Пападимитриу, У. Вазирани. Алгоритмы. М.:МЦНМО, 2014. Глава 7 содержит введение в линейное программирование.

2. Н.К.Верещагин, А. Шень. Языки и исчисления. М.:МЦНМО, 2012. Для курса будут наиболее важны главы 1, 3 и 4. Глава 1 содержит материал, который практически полностью входил в программу курса "Дискретная математика -1". Материал главы 4 в курсе будет затронут очень незначительно.

3. А. Схрейвер. Теория линейного и целочисленного программирования. М.: Мир, 1991. Тт.1-2. Классический учебник. Для курса наиболее важна глава 7 тома 1, а также (частично) гл. 8 и 11.

4. Б. Корте, Й. Фиген. Комбинаторная оптимизация. Теория и алгоритмы. М.: МЦНМО, 2015. Современный учебник по комбинаторной оптимизации. Включает главы с описанием линейного программирования и алгоритмов для задач линейного программирования.

5. Ч.Чень, Р.Ли. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983. (Для курса важен раздел про метод резолюций в главе 5.)

6. Alexander Schrijver. Theory of linear and integer programming. John Wiley and Sons. 1998