Литература по курсу ДМ-2 — различия между версиями
Vyalyi (обсуждение | вклад) (Новая страница: «=Рекомендуемая литература = 1. С. Дасгупта, Х. Пападимитриу, У. Вазирани. Алгоритмы. М.:МЦН…») |
Vyalyi (обсуждение | вклад) м |
||
Строка 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