литература

  • Литература по Прологу

     Список литературы

    1. Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, 1990. – 560 с.
    2. Братко И. Алгоритмы искусственного интеллекта на языке Пролог. – М.: Вильямс, 2004. – 640 с.
    3. Адаменко А. Н., Кучуков А.М. Логическое программирование и Visual Prolog. – СПб.: БХВ-Петербург, 2003.
    4. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987.
    5. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. – М.: Мир, 2003
    6. Коста Э. Visual Prolog 7.1 для начинающих.
    7. Цуканова Н.И., Дмитриева Т.А. Логическое программирование на языке Visual Prolog. – 2008.
    8. Хоггер К. Введение в логическое программирование. – М: Мир, 1988.
    9. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука. 1983.
    10. Черри С., Готлоб Г., Танка Л. Логическое программирование и базы данных. – М.: Мир, 1992.
    11. Сошников Д.В. Парадигма логического программирования.
    12. Доорс Дж., Рейблен А.Р., Вадера С. Пролог — язык программирования будущего. – М.: Финансы и статистика, 2003.
    13. Шрайнер П.А. Основы программирования на языке Пролог. – М., 2005. – 170 с.
    14. Малпас Дж. Реляционный язык Пролог и его применение. – М.: Наука, 1990. – 464 с.
    15. Набебин А.А. Логика и Пролог в дискретной математике. – М.: МЭИ, 1996. – 452 с.
    16. Ездаков А.Л. Функциональное и логическое программирование. – М.: Бином, 2011.

  • ЯМП Список литературы

    Список литературы

    Паскаль

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

    1. Павловская Т.А. Паскаль. Программирование на языке высо­кого уровня: Учебник для вузов. – СПб.: Питер, 2007. – 293 с.
    2. Павловская Т.А. Паскаль. Программирование на языке высо­кого уровня: Практикум. – СПб.: Питер, 2007. – 317 с.
    3. Песни о Паскале
    4. Окулов С. Основы программирования
    5. Огнева М.В. TurboPascal Первые шаги
    6. Программирование на языке Паскаль: задачник.под редакцией О. Ф. Усковой, 2002

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

    1. Фаронов В. В. Турбо Паскаль 7.0. Практика программирования: учебное пособие / Фа­ронов В. В. — М.: ОМД Групп, 2003. — 415с.
    2. Немнюгин С. А. Turbo Pascal. Программи­рование на языке высокого уровня: [учебник для вузов по направлению «Информатика и вычисл. техника»]/ Немнюгин С. А. — 2-е изд. — СПб.и др.: Питер, 2007. — 543с.

    4. Голицына О. Л. Основы алгоритмизации и программирования: [учебное пособие для сред.проф. образования по специальности «Информатика и вычисл. техника»]/ Голи­цына О. Л., Попов И. И. — М.: Форум, Ин­фра-М, 2004. — 430с.
    5. Архангельский А. Я. Язык Pascal и основы программирования в Delphi : [учебное посо­бие для вузов по направлению «Информа­тика и вычислительная техника»]/ Архан­гельский А. Я. — М.: БИНОМ, 2004. — 495с.
    6. Попов В. Б. Паскаль и Дельфи: самоучитель / Попов В. Б. — СПб.и др.: Питер, 2004. — 543с.
    7. Культин Н.Б. Программирование в TurboPascal 7.0 и Delphi: самоучитель [для начи­нающих программистов]/ Культин Н.Б. — 2-е изд. — СПб.: БХВ-Петербург, 2002. — 407с.
    8. Епанешников А. М. Программирование в среде TurboPascal 7.0: Диалог-МИФИ / Епанешников А. М., Епанешников В. А. — Изд. 4-е, испр. и доп. — М.: ДИАЛОГ-МИФИ, 2002. — 367с.
    9. Артемьев И. Т. Программирование на языке TurboPascal: [лаб. практикум:Для студен­тов 1 и 2 курсов физ. и мат. фак.]/ Артемьев И. Т., Новикова С. В., [отв. ред. Артемьев И. Т.]; Чуваш.гос. ун-т им. И. Н. Ульянова — Чебоксары: Изд-во Чуваш.ун-та, 2000. — 159 с.
    10. Крылов Е. В. Техника разработки программ: [учебник для вузов по направлениям «Ин­форматика и вычислительная техника» и «Техника и технологии] : в 2 кн. / Крылов Е. В., Острейковский В. А., Типикин Н. Г. — М.: Высш. шк., 2008. — 469с.
    11. Истомин Е. П. Программирование на алго­ритмических языках высокого уровня: учеб­ник / Истомин Е. П., Неклюдов С. Ю., Балт. ин-т упр. — СПб.: Изд-во Михайлова В. А., 2003. — 718с.
    12. Робертсон Лесли Анна Программирование — это просто: пошаговый подход / [пер. с 4-го англ. изд. О. С. Журавлевой] ; под ред. С. М. Молявко, Робертсон Лесли Анна — М.: Би­ном. Лаб. знаний, 2008. — 383с.
    13. Ванюлин А.Н. Сборник задач по программированию. Чебоксары, 2003
    14. Пичугин В.Н., Фёдоров Р.В. Структуры и алгоритмы компьютерной обработки данных. Чебоксары, 2008
    15. Павлов Л.А. Структуры и алгоритмы обработки данных, Чебоксары, 2008
    16. Златопольский Д.М. Сборник задач по программированию
    17. Шень А. Программирование: Теоремы и задачи
    18. Сухарев М. Турбо Паскаль 7.0. Теория и практика программирования
    19. Шелест В. Программирование
    20. Климова Л.М. Паскаль 7.0. Практическое программирование. Решение типовых задач.
    21. Милов А.В. Основы программирования в задачах и примерах
    22. Васюкова Н. Д., Тюляева В. В. —  Практикум по основам программирования. Язык ПАСКАЛЬ
    23. Дональд Алкок — Паскаль в иллюстрациях (1991)
    24. Аляев, Козлов  Алгоритмизация и языки программирования Pascal, C++, Visual Basic. Учебно-справочное пособие. 2002
    25. Васильев П.П. Турбо Паскаль в примерах и задачах
    26. Рапаков Г. Г., Ржеуцкая С. Ю. Программирование на языке Pascal, 2004
    27. М. С. Долинский Алгоритмизация и программирование на TurboPascal: от простых до олимпиадных задач, 2005
    28. Ю. А. Шпак TurboPascal 7.0 на примерах, 2003

  • Список литературы по архитектуре компьютера

    1. Бройдо В.Л. Архитектура компьютеров.
    2. Максимов Н.В., Партыка Т.Л., Попов И.И. Архитектура ЭВМ и вычислительных систем: Учебник. — М.: ФОРУМ: ИНФРА-М, 2005.
    3. Таненбаум Э. Архитектура компьютера. — 5 изд-е. — СПб.: Питер, 2007. — 844с.

  • Литература по алгоритмам и структурам данных

    Список рекомендуемой литературы

    1. Ахо Альфред В. Структуры данных и алгоритмы: Вильямс / пер. с английского и ред. Минько А. А., Ахо Альфред В., Хопкрофт Джон Э., Ульман Джеффри Д. — М. и др.: Вильямс, 2001. – 382 с.
    2. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МЦМНО, 1999. – 960 с.
    3. Кнут Д.Э. Искусство программирования: в 3-x томах. — 2-е издание. – М.: Мир, 1976 – 1978 .(3-е изд.: Вильямс, 2010)
    4. Левитин А.В. Алгоритмы: введение в разработку и анализ. – М.: Издательский дом «Вильямс», 2006. – 576 с.
    5. Макконнелл Дж. Основы современных алгоритмов. 2-е изд., доп. – М.: Техносфера, 2004. – 368 с.
    6. Макконелл, Дж. Анализ алгоритмов. Вводный курс / Дж. Макконелл,- М.: Техно-сфера, 2002,- 304 с.
    7. Вирт Никлаус Алгоритмы и структуры данных: Нев. Диалект / Вирт Никлаус, [перевод с английского Д. Б. Подшивалова] — 2-е изд., испр. — СПб.: Нев. Диалект, 2001. — 351с.
    8. Скиена С. Алгоритмы. Руководство по разработке. – 2-е изд. – СПб.: БХВ-Петербург, 2011. – 720 с.
    9. Седжвик Р. Фундаментальные алгоритмы на С++. Части 1 — 5. Анализ. Структуры данных. Сортировка. Поиск. Алгоритмы на графах: Пер. с англ. – К.: Издательство “ДиаСофт”, 2001.
    10. Окулов С.М. Программирование в алгоритмах. – 3-е изд. – М.: БИНОМ. Лаборатория знаний, 2007. – 383 с.
    11. Шень А. Программирование: теоремы и задачи. М., МЦНМО, 2-е издание, 1995. – 263 с.
    12. Sanjoy Dasgupta, Christos H. Papadimitriou, Umesh Vazirani. Algorithms. — McGraw-Hill Companies, Incorporated, 2006. – 336 с.
    13. Касьянов, В.Н. Графы в программировании: обработка, визуализация и применение / В.Н. Касьянов, В.А. Евстигнеев — СПб.: БХВ-Петербург, 2003- 1104 с.
    14. Новиков Ф.А. Дискретная математика для программистов: Учебник для вузов.3-е изд. – СПб. : Питер, 2008. – 384 с.
    15. Алексеев В.Е. Графы и алгоритмы. Структуры данных. Модели вычислений. – М.: Бином. Лаб. знаний, 2006. – 319 с.
    16. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов.- М.: Мир, 1979. – 536 с.
    17. Бежанова М. М. Практическое программирование. Структуры данных и алгоритмы. — М.: Логос, 2001. — 223с.
    18. Райли Д. Абстракция и структуры данных: Вводный курс.- М.: Мир, 1993. – 750 с.
    19. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и прак-тика.- М.: Мир, 1980. – 476 с.
    20. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и слож-ность. М.: Мир, 1984. – 512 с.
    21. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатика: Пер. с англ. – М.: Мир, 1998. – 703 с.
    22. Мейер Б., Бодуэн К. Методы программирования: в 2-х томах. – М.: Мир, 1982. – 356 с.
    23. Липский В. Комбинаторика для программистов.- М.: Мир, 1988. – 200 с.
    24. Грин Д., Кнут Д. Математические методы анализа алгоритмов. — М.: Мир, 1987. — 120 с.
    25. Павловская Т.А. Паскаль. Программирование на языке высокого уровня: Учебник для вузов. – СПб.: Питер, 2007. – 293 с.
    26. Павловская Т.А. Паскаль. Программирование на языке высокого уровня. Практикум. – СПб.: Питер, 2006. — 317с.
    27. Вирт Н. Алгоритмы и структуры данных с примерами на Паскале. – СПб.: Невский диалект, 2005. – 410с.
    28. Столяр С.Е., Владыкин А.А. Информатика: Представление данных и алгоритмы. – СПб.: Невский Диалект; М.: БИНОМ. Лаборатория знаний, 2011. – 382 с.
    29. Гагарина Л.Г. Алгоритмы и структуры данных: учеб. Пособие / Л.Г. Гагарина, В.Д. Колдаев. – М.: Финансы и статистика; ИНФРА-М, 2009. – 304 с.
    30. Бакнелл, Дж. Фундаментальные алгоритмы и структуры данных в Delphi / Дж. Бакнелл,- СПб.: ДиаСофтЮП, 2003 — 560 с.
    31. Вирт, Н. Алгоритмы + структуры данных = программы / Н. Вирт- М.: Мир, 1985.-406 с.
    32. Грин, Д. Математические методы анализа алгоритмов / Д.Грин. Д. Кнут.- М.: Мир, 1987,- 120 с.
    33. Гудман, С. Введение в разработку и анализ алгоритмов / С. Гудман, С. Хидетние-ми-М.: Мир, 1981.-366 с.
    34. Евстигнеев, В.А. Применение теории графов в программировании / В.А. Евстигнеев;.под ред. А.П. Ершова- М.: Наука, 1985 — 352 с.
    35. Костюкова, Н.И. Графы и их применение. Комбинаторные алгоритмы для про-граммистов / Н.И. Костюкова — М.: Интуит, 2007- 311с.
    36. Красиков, И.В. Алгоритмы. Просто как дважды два / И.В.Красиков, И.Е. Красико-ва,- 2-е изд.- М.: Эксмо, 2007 — 256 с.
    37. Кубенский, А.А. Структуры и алгоритмы обработки данных: объектно- ориентированный подход и реализация на С++ / А.А. Кубенский,- СПб.: БХВ- Петербург, 2004- 464 с.
    38. Лэнгсам. Й. Структуры данных для персональных ЭВМ / И. Лэнгсам, М. Оген-стайн, А. Тененбаум.- М.: Мир, 1989,- 567 с.
    39. Хусаинов, Б.С. Структуры и алгоритмы обработки данных. Примеры на языке Си / Б.С. Хусаинов — М.: Финансы и статистика, 2004 — 464 с.
    40. Свами, М. Графы, сети и алгоритмы / М. Свами, К. Тхуласираман — М.: Мир, 1984.- 455 с.

  • Список литературы по дискретной математике

    • Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики. – М.: ИНФРА-М; Новосибирск: НГТУ, 2003. – 280 с.
    • Шабунин Л.В. Элементы комбинаторики. – Чебоксары: ЧГУ, 2003.
    • Шабунин А.Л. Элементы теории булевых функций. – Чебоксары: ЧГУ, 2011.
    • Яблонский С.В. Введение в дискретную математику. – М.: Высш. шк., 2003. – 384 с.
    • Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. – М.: ФИЗМАТЛИТ, 2005. – 416 с.
    • Новиков Ф.А. Дискретная математика для программистов. – СПб.: Питер, 2001. – 304 с.
    • Виленкин Н.Я. Комбинаторика. – М.: Наука, 1969.
    • Марченков С.С. Булевы функции. — М.: ФИЗМАТЛИТ, 2002.— 72 с.
    • Андерсон Д. Дискретная математика и комбинаторика. М.: Издательский дом «Вильямс», 2004.
    • Шабунин Л.В., Шабунин А.Л. Линейные рекуррентные соотношения с постоянны-ми коэффициентами. – Чебоксары: ЧГУ, 2011.
    • Игошин В.И. Математическая логика и теория алгоритмов. – М.: ИЦ Академия, 2004.
    • Игошин В.И. Задачи и упражнения по математической логике и теории алгорит-мов. – М.: ИЦ Академия, 2006.
    • Асанов М.О., Баранский В.А., Расин В.В. Дискретная математика: графы, матроиды, алгоритмы
    • Басакер П., Саати Т. Конечные графы и сети. М.: Наука, 1974.
    • Галкина В. А. Дискретная математика. Комбинаторная оптимизация на графах. Гелиос АРБ, 2003.
    • Гагарина Л.Г., Колдаев В.Д. Алгоритмы и структуры данных. — Финансы и статистика; Инфра-М, 2009
    • Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р. И.  Лекции по теории графов. М.: Наука, 1990.
    • Иванов Б.Н. Дискретная математика. Алгоритмы и программы.- М.: Лаборатория Базовых Знаний, 2003.
    • Липатов Е.П. Теория графов и ее применение. – М.: Знание,1986. – 32 с.
    • Липский В. Комбинаторика для программистов. М.: Мир, 1988
    • Ловас Л., Пламмер М. Теория паросочетаний в математике, физике, химии, 1998
    • Нечепуренко М.И., Попков В.К. Алгоритмы и программы решения задач на графах и сетях
    • Окулов С. Программирование в алгоритмах. — Бином. Лаборатория знаний, 2004. 344 с.
    • Свами М., Тхуласираман К. Графы, сети и алгоритмы. – М.: Мир, 1984. – 455 с.
    • Харари Ф. Теория графов. М.: Едиториал УРСС, 2003.