Close
Решение задач на компьютерах: учебное пособие, Ч. I. Постановка (спецификация) задач
Москва, Берлин: Директ-Медиа, 2015
Объем: 165 стр.
ISBN: 978-5-4475-3651-0
УДК: 004.4(075)
ББК: 32.81я7
DOI: 10.23681/273666
Постраничный просмотр для данной книги Вам недоступен.
Книга доступна по подписке. Для получения доступа к этому изданию обратитесь, пожалуйста, в библиотеку Вашей организации.
Выберите действие
  • Добавить в избранное
  • Описание в RusMarc

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

1. Абрамов С.А. Математические построения и программирование. - М.: Наука, 1978, 192 с.
2. Агафонов В.Н.. Спецификация программ: понятийные средства и их организация. - Новосибирск: Наука (Сибирское отделение), 1987, 240 с.
3. Алимов Ю.И. Альтернатива методу математической статистики. – М.: Знание, 1980, 64 с.
4. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. – М.: Мир, 1979, 536 с.
5. Бауэр Ф.Л., Гнац Р., Хилл У. Информатика. Задачи и решения. – М.: Мир, 1978, 360 с.
6. Барендрет Х. Ламбда-исчисление: его синтаксис и семантика. – М.: Мир, 1985, 606 с.
7. Безуглый Д. Технология разработки программного обеспечения. – АО «Банкомсвязь», Киев, 2002, 2 с.
8. Бенерджи Р. Теория решения задач. – М.: Мир, 1972.
9. Береснев В.Л., Гимади Э.Х., Дементьев В.Т. Экстремальные задачи стандартизации. Новосибирск. Наука, 1978.
10. Блох А.Ш. Граф-схемы и их применение. Минск: Вышейшая школа. 1975, 304 с.
11. Боэм Б. и др. Характеристики качества программного обеспечения /Боэм Б., Браун Дж., Каспар Х., Липов М., Мак-Леод Г., Мерит М. – М.: Мир, 1981, 208 с.
12. Брудно А.Л. Программирование в содержательных обозначениях. – М.: Наука, 1968, 144 с.
13. Брукс Ф.П., мл. Как проектируются и создаются программные комплексы. (Мифический человеко-месяц) - М.: Наука, 1979, 152 с.
14. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. – М.: ДМК, 2000.
15. Введение в технику работы с таблицами решений/ Фрайтаг Г.,
Годе В., Якоби Х. И др. – М.: Энергия, 1979, 88 с.
16. Вирт Н. Алгоритмы и структуры данных. - СПб: Невский диалект, 2001.
17. Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра, языки, программирование. – Киев, Наукова Думка, 1974, 318 с.
18. Гончаров С.С., Ершов Ю.Л., Самохвалов К.Ф. Введение в логику и методологию науки. – М.: Интерпракс, 1994, 256 с.
19. Гончаров, С.С. Методологические аспекты семантического программирования / С. С. Гончаров, Ю. Л. Ершов, Д. И. Свириденко // Научное знание: логика, понятия, структура. Новосибирск: Наука, 1987. С. 154–183.
20. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики. - М.: Мир, 1998, 703 с.
21. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. – М.: Мир, 1981, 368 с.
22. Дейкстра Э. «Two views of programming» (Два взгляда на программирование). - EWD540, 2004.
23. Емельченков Е.П., Емельченков В.Е. Вычислимость. Введение в теорию алгоритмов, 2000 г. (http://www.smolensk.ru/user/sgma/ MMORPH/N-6-html/EMEL-1/emel-1.htm)
24. Ершов Ю.Л., Палютин Е.А. математическая логика. М.: Наука, 1979. – 320 с.
25. Ершов Ю.Л., Самхвалов К.Ф. Современная философия математики: недомогание и лечение. – Новосибирск: Параллель, 2007. – 143 с.
26. Ершов А. П. Введение в теоретическое программирование. - М.: Наука, 1977. – 288 с.
27. Жоголев Е.А.. Введение в технологию программирования (конспект лекций). - М.: «ДИАЛОГ-МГУ», 1994, http://sp.cmc.msu.ru.
28. Зелковец М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. - М.: Мир, 1982.
29. Зиглер К.. Методы проектирования программных систем. - М.: Мир, 1985, 328 с.
30. Интернет-версия издания: Шауцукова Л.З. Информатика 10-11. - М.: Просвещение, 2000 г. - http://book.kbsu.ru/theory/index.html.
31. Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. - М.: Мир, 1983, 254 с.
32. Клоксин У., Меллиш К. Программирование на языке Пролог. - М.: Мир, 1987, 336 с.
33. Кнут Д.. Искусство программирования, том 1–3. - М.: Мир, 1976–1978, 252–844 сс.
34. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. - М.: МЦНМО, 1999, 960 с.
35. Корбут А.А., Финкельштейн Ю.Ю. Дискретное программирование М. Наука. Гл. ред. физ.-мат. лит. 1969.
36. Косовский Н. К. Основы теории элементарных алгоритмов. - Л.: Изд-во Ленингр. ун-та, 1987, 152 c.
37. Кук Д., Бейз Г. Компьютерная математика. – М.: Наука, 1990, 384 с.
38. Лавров С.С. Программирование. Математические основы, средства, теория. - СПб.: БХВ-Петербург, 2001, 320 с.
39. Лавров С.С. Так что же такое информатика? // Компьютерные инструменты в образовании. 2000, № 1, с. 22–25.
40. Лакатос И. Доказательства и опровержения. – М.: Наука, 1967.
41. Лефевр В.А. Космический субъект.\\ Рефлексия. М.. Когито-центр, 2003. С. 169–172.
42. Липский В. Комбинаторика для программистов. - М.: Мир, 1988, 213 с.
43. Литл Дж., Мурти К., Суини Д., Кэрел К. Алгоритм для решения задачи о коммивояжере// Экономика и математические методы. - 1965. Т.1. Вып. 1. С. 94–107.
44. Майерс Г. Надежность программного обеспечения. – М.: Мир, 1980, 360 с.
45. Мальцев А.И Алгоритмы и рекурсивные функции. – М.: Наука, 1965, 391 c.
46. Мальцев А.И. Алгебраические системы. – М.: Наука, 1970, 392 с.
47. Марков А.А., Нагорный Н.М. Теория алгоритмов. – М.: Наука, 1984, 432 с.
48. Москвитин А.А. Задачный подход в информатике. - Новосибирск, НГУ, 2003, 200 с.
49. Математическая логика в программировании. – М. Мир, 1991.
50. Налимов В.В. Вероятностная модель языка. О соотношении естественных и искусственных языков. - М.: Наука, 1979, 213 с.
51. Непейвода Н.Н. Стили и методы программирования. - Интернет-университет информационных технологий - ИНТУИТ.ру, 2005, 320 с.
52. Непейвода Н.Н. Прикладная логика. - Новосибирск, НГУ, 2000, 495 с.
53. Ноден П., Китте К. Алгебраическая алгоритмика. - М.: Мир, 1999, 720 с.
54. Оптнер С. Системный анализ для решения деловых и промышленных проблем. - М.: Сов. Радио, 1969, 216 с.
55. Пойа Д. Как решать задачу. – М.: Учпедгиз, 1961, 207 с.
56. Поттосин И.В. Программистская инженерия: содержание, мнения и тенденции. // Программирование. - 1997. - № 4. - С. 26-37.
57. Свами М., Тхуласираман. Графы, сети и алгоритмы. М.: Мир, 1984.- 455 с.Скотт Д. Теория решеток, типы данных и семантика / Данные в языках программирования. - М.: Мир, 1982. - С. 25–53.
59. Смальян Р. Теория формальных систем. – М.: Наука, 1981, 208 с.
60. Суппес, П., Зинес, Дж. Основы теории измерений / П. Суппес,
Дж. Зинес // Психологические измерения. М.: Мир, 1967. С. 9–110.
61. Тимофеева М.К. Естественные и формальные языки. – Новосибирск, НГУ, 2003, 200 с.
62. Толковый словарь по вычислительным системам. – М.: Машиностроение, 1989. – 568 с.
63. Тростников В.Н. «Человек и информация», М.: Наука, 1970, с. 15
64. Турский В. Методология программирования. - М.: Мир, 1981, 266 с.
65. Турчин В.Ф. Феномен науки: кибернетический подход к эволюции. - М.: ЭТС, 2000, 368 с.
66. Тыугу Э.Х. Концептуальное программирование - М.: Наука, 1984, 256 с.
67. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М.: Наука, 1987, 288 с.
68. Филд А., Харрисон П. Функциональное программирование. - 1993, 640 с.
69. Фокс Дж. Программное обеспечение и его разработка. - М.: Мир, 1985, 359 с.
70. Хамби Э. Программирование таблиц решений. – М.: Мир, 1976, 86 с.
71. Хоггер К., Введение в логическое программирование. - М.: Мир, 1988, 348 с.
72. Челпанов Г.И Введение в экспериментальную психологию. - М.: 1916, 294 с.
73. Чёрч А. Введение в математическую логику, М., 1960, 484 с.
74. Шеннон К. Работы по теории информации и кибернетики. - М.: Издательство иностранной литературы, 1963, 830 с.
75. Шнейдерман Б.. Психология программирования. – М.: Радио и связь, 1984, 304 с.
76. Эпиенс А. Принципы объектно-ориентированной разработки программ. – М.: Издательский дом «Вильямс», 2002, 496 с.
77. Dijkstra Edsger W. «Программирование как вид человеческой деятельности. (EWD117)», 2004.
78. Glass R.L. (Глас) The Relation Between Theory and Practice in Software Engineering. // CACM, November 1996. V. 39, N 11, pp. 11-13.
79. Land A.H., and Doig A.G. An autmatic method of solving discrete programming problems. Econometrica. v28 (1960), pp 497–520.
80. Little J.D.C., Murty K.G., Sweeney D.W., and Karel C. An algorithm for the traveling salesman problem. Operations Research. v11 (1963), pp 972–989.
81. Rich R.K. The Representation of the Poor in the Policy Process: Changes in Congressional Support for Welfare // Public Policy Formation. / Ed.: Eyestone R. – Greenwich, CT: JAI Press, 1984. P.135.

Рекомендации материалов по теме: нет