ВІДПОВІДІ ТА ВКАЗІВКИ
двійкового числа a на 2 з результатом знов у a . Число a – масив a(101) з нулів і одиниць, початкове значення його a(101)=1, усі решта
компонентів – 0. У кінці перетворити двійкове число a на десяткове. Скористатися схемою Горнера (див. вправу 22). б) Кількість
десяткових |
цифр |
у |
числі |
100! |
обмежена |
величиною |
|
100 |
<10 |
+180 =190 |
(насправді вона значно менша). |
[lg100!] +1 = [ ∑ lg i] +1 |
i =1
Реалізувати множення довгих чисел, цифри яких зберігаються в масивах вигляду char a(190). 27. б) Для подання підмасивів масиву
a(n) |
використати |
булевий |
масив |
b(n) |
такий, |
що |
i = |
|
|
входить |
до підмасиву. |
Ідея |
нерекурсивного |
0,n −1(b[i] =1 a[i] |
перебору всіх 2n підмасивів полягає в побудові в масиві b двійкових
подань кожного зі значень i = 0,1,2,...,2n −1. Усі такі подання можна
отримати, якщо по черзі додавати 1 до двійкового числа, яке зберігається в масиві b з нульовим початковим значенням. Процес завершити, коли b буде складатися лише з одиниць.
3.5.17. 1.
3.6.16. Спочатку за алгоритмом Евкліда написати рекурсивну функцію для обчислення НСД(m,n ).
3.8. 37. Застосувати обмежену чергу у вигляді масиву. 40. б) Реалізувати пошук входження слова у файлі за допомогою скінченних автоматів [8, 65]. 44. Числа ввести й попередньо впорядкувати.
СПИСОК ЛІТЕРАТУРИ
1.Абрамов, С. А. Математичекие построения и программирование / С. А. Абрамов. – М.: Наука, 1978.
2.Агафонов, В. Н. Спецификация программ: понятийные средства и их организация / В. Н. Агафонов. – Новосибирск: Наука, 1987.
3.Айрапетян, Р. А. Отладчик SoftICE. Подробный справочник / Р. А. Айрапетян. –СОЛОН-Пресс, 2003.
4.Андерсон, Р. Доказательство правильности программ / Р. Андерсон; пер. с англ. – М.: Мир, 1982.
5.Анисимов, А. В. Информатика. Творчество. Рекурсия / А. В. Анисимов.
–К.: Наук. думка, 1988.
6.Анисимов, А. В. Кодирование данных линейными формами числовых последовательностей / А. В. Анисимов // Кибернетика и системный анализ.
–2003. – № 5. – C. 16-36.
7.Ахо, А. Теория синтаксического анализа, перевода и компиляции / А. Ахо, Дж. Ульман. – М.: Мир, 1978. – Т. 1: Синтаксический анализ.
8.Ахо, А. Структуры данных и алгоритмы / А. Ахо, Дж. Хопкрофт, Дж. Ульман. – М.: Вильямс, 2000.
9.Бауер, Ф. Л. Информатика / Ф. Л. Бауер, Г. Гооз. Т. 1-2. – М.: Мир, 1990.
10.Бежанова, М. М. Современные понятия и методы программирования
/ М. М. Бежанова, И. В. Поттосин. – М.: Научный мир, 2000.
11. Белов, Ю. А. Інструментальні засоби програмування / Ю. А. Белов, В. С. Проценко, П. Й. Чаленко. – К.: Либідь, 1993.
12.Боггс, У. UML и Rational Rose 2002 / У. Боггс, М. Боггс. – М.: ЛОРИ, 2004.
13.Ботвинник, М. М. Алгоритм игры в шахматы / М. М. Ботвинник. – М.:
Наука, 1968.
14.Буй, Д. Б. Метод нерухомої точки в програмології: загальна теорія / Д. Б. Буй // Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування". – К.: Науковий світ, 2007. – С. 98-111.
15.Буй, Д. Б. Примитивные программные алгебры вычислимых функций
/Д. Б. Буй, В. Н. Редько // Кибернетика. – 1987. – № 3. – C. 68-74.
16.Буч, Г. Объектно-ориентированный анализ и проектирование. С примерами приложений на С++ / Г. Буч; пер. с англ. – 2-е изд. – СПб.: Невский диалект, 2001.
17.Бьюзен, Т. Супермышление / Т. Бьюзен. – Минск: ООО "Попурри", 2003.
18. Винниченко, И. В. Автоматизация процессов тестирования
/И. В. Винниченко. – СПб.: Питер, 2005.
19.Вирт, Н. Систематическое программирование. Введение / Н. Вирт. –
М.: Мир, 1987.
20.Гинзбург, С. Математическая теория контекстно-свободных языков / С. Гинзбург. – М.: Мир, 1970.
|
|
|
СПИСОК ЛІТЕРАТУРИ |
21. Глибовець, |
М. М. Мова програмування Сі : навч. посіб. з |
лабораторного |
практикуму |
/ |
М. М. Глибовець, |
І. В. Кравченко, |
Є. С. Бубенщиков. – К.: НаУКМА, 1999. |
|
|
22. Глибовець, |
М. М. Мова |
програмування Сі : |
навч.-метод. посіб. |
/М. М. Глибовець, В. І. Ляшко, В. С. Проценко. – К.: ВД "КМ Академія", 2002.
23.Глушков, В. М. Алгебра. Языки. Программирование / В. М. Глушков, В. М. Цейтин, Е. Л. Ющенко. – К.: Наук. думка, 1974.
24.Глушков, В. М. Теория автоматов и формальные преобразования микропрограмм / В. М. Глушков // Кибернетика. – 1965. – № 5.
25.Гнеденко, Б. В. Элементы программирования / Б. В. Гнеденко, В. С. Королюк, Е. Л. Ющенко. – М.: Физматгиз, 1963.
26. |
Готт, В. С. Методологические проблемы |
информатики / В. С. Готт, |
Э. П. Семенюк, |
А. Д. Урсул // Закономерности развития |
современной |
математики. – М.: Наука, 1987. |
|
|
27. |
Грис, Д. Наука программирования / Д. Грис. – М.: Мир, 1984. |
28. |
Грэхэм, |
Р. Конкретная математика. |
Основание |
информатики |
/Р. Грэхэм, Д. Кнут, О. Паташник. – М.: Мир, 1998.
29.Гэри, М. Вычислительные машины и труднорешаемые задачи
/М. Гэри, Д. Джонсон; пер. с англ. – М.: Мир, 1982.
30.Дастин, Э. Автоматизированное тестирование программного
обеспечения. Внедрение, управление и эксплуатация / Э. Дастин, Дж. Рэшка, Дж. Пол. – М.: ЛОРИ, 2003.
31. Дейстра, Э. Дисциплина программирования / Э. Дейстра. – М.: Мир, 1978.
32. Дорошенко, А. Ю. Алгеброалгоритмічні основи програмування
/А. Ю. Дорошенко, Г. С. Фінін, Г. О. Цейтлін. – К.: Наук. думка, 2004.
33.Дрейфус, М. Практика программирования на Фортране. Упражнения с комментариями / М. Дрейфус, К. Ганглоф. – М.: Мир, 1978.
34.Евстигнеев, В. А. Толковый словарь по теории графов в информатике и программировании / В. А. Евстигнеев, В. Н. Касьянов. – Новосибирск:
Наука, 1999.
35.Ематин, В. Автоматизированное тестирование при разработке ПО
/В. Ематин, Б. Позин // Сетевой журн. – 2003. – № 3.
36.Енциклопедія кібернетики; т. 1-2. – К.: Наук. думка, 1973.
37. Ершов, А. П. Информатика: предмет и понятие / А. П. Ершов
//Кибернетика. Cтановление информатики. – М.: Наука, 1986. – C. 28-31.
38.Задірака, В. К. Методи захисту фінансової інформації : навч. посіб. / В. К. Задірака, О. С. Олексюк. – К.: Вища школа, 2000.
39.Зубенко, В. В. Элементарные программные алгебры: автореф. дис. канд. физ.-мат. наук / В. В. Зубенко. – КГУ им. Т. Г. Шевченко, 1981.
40. Зубенко, В. В. Алгебраїчні специфікації інформаційних систем / В. В. Зубенко // Наукові записки НаУКМА. – Т. 19-20 : Комп'ютерні науки.
– К. 2002. – C. 5-17.
41.Зубенко, В. В. Про становлення інформатики як наукової та учбової дисципліни / В. В. Зубенко // Проблеми програмування. – 2008. – № 2-3. – C. 459-466.
42.Зубенко, В. В. Про темпоральні процедури та алгоритми / В. В. Зубенко // Вісн. Киів. ун-ту. Серія: Кібернетика. – 2005. – № 6. – C. 20-25.
43.Зубенко, В. В. Програмування: Мова Сі: методична розробка для студентів першого курсу спеціальностей "Інформатика" та "Соціальна інформатика" / В. В. Зубенко. – К.: ВПЦ "Київ. ун-т", 2006.
44.Зубенко, В. В. Темпоральні процедури та алгоритми в контексті дескриптивних систем / В. В. Зубенко // Вибрані питання програмології. Праці наук. семінару "Програмологія та її застосування". – К.: Наук. світ, 2007. – С. 98-111.
45.Зубенко, В. В. Темпоральні процедури та алгоритми / В. В. Зубенко
// Проблеми програмування. – 2006. – № 2-3. – C. 53-59.
46.Зубенко, В. В. Методичні рекомендації до виконання практичних та лабораторних робіт з дисципліни "Програмування" для студентів першого курсу факультету кібернетики / В. В. Зубенко, Г. А. Кияшко – К.: ВПЦ
"Київ. ун-т", 2006.
47.Зубенко, В. В. Методичні рекомендації до оформлення звітних матеріалів з дисципліни "Програмування" для студентів першого курсу факультету кібернетики / В. В. Зубенко, Г. А. Кияшко. – К.: ВПЦ "Київ. ун-т", 2006.
48.Зубенко, В. В. Информатика как научная дисциплина / В. В. Зубенко, Ю. В. Сидоренко // Искусственный интеллект. – Донецк, 2009. – № 1.
49.Йодан, Э. Структурное проектирование и конструирование программ
/ Э. Йодан. – М.: Мир, 1979.
50. |
Калужнин, |
Л. А. Об алгоритмизации математических задач |
/ Л. А. Калужнин // Проблемы кибернетики. – М.: Наука, 1959. – Вып. 2. |
51. |
Калужнін, |
Л. А. Алгоритми і математичні машини / Л. А. Калужнін, |
В. С. Королюк. – К.: Радянська шк., 1964.
52.Капитонова, Ю. В. Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. – М.: Наука; гл. ред. физ.-мат. лит, 1988.
53.Керниган, Б. Практика программирования / Б. Керниган, Р. Пайк. – СПб.: Невск. Диалект, 2001.
54. Керниган, Б. Элементы стиля программирования / Б. Керниган, Ф. Плоджер. – М.: Радио и связь, 1984.
55.Керниган, Б. Язык программирования Си / Б. Керниган, Д. Ричи; 3-е изд., испр. – СПб.: Невск. Диалект, 2001.
56.Клини, С. Введение в метаматематику / С. Клини. – М.: Наука, 1957.
57. Клюшин, Д. А. Полный курс C++. Профессиональная работа
/Д. А. Клюшин. – М.: Вильямс, 2005.
58.Кнут, Д. Искусство программирования / Д. Кнут. – Т. 1. – Вып. 1: ММІХ-RISC-компьютер нового тысячелетия. – М.: Вильямс, 2007.
59.Кнут, Д. Искусство программирования / Д. Кнут. Т. 1: Основные алгоритмы; 3-е изд. – М.: Вильямс, 2000.
СПИСОК ЛІТЕРАТУРИ
60.Кнут, Д. Искусство программирования. / Д. Кнут. – Т. 3: Сортировка
ипоиск. – М.: Вильямс, 2007.
61. Кнут, Д. Информатика и её связь с математикой / Д. Кнут
//Современные проблемы математики. – М.: Знание, 1977. – C. 4-32.
62.Кон, П. Универсальная алгебра / П. Кон. – М.: Мир, 1968.
63.Конверський, А. Є. Логіка : підручн. для ВНЗ / А. Є. Конверський. – К.: Укр. центр духовної культури, 1999.
64.Коплиен, Дж. Программирование на C++ / Дж. Коплиен; пер. с англ. – СбП: Питер, 2004.
65. Кормен, Т. Алгоритмы: построение и анализ / Т. Кормен, Ч. Лейзерсон, Р. Ривест. – М.: МЦНМО, 2000.
66. Кук, Д. Компьютерная математика / Д. Кук, Г. Бейз. – М.: Наука, 1990.
67. Лавріщева, |
К. М. Визначення предмету |
– |
програмна інженерія |
/ К. М. Лавріщева |
// Проблеми програмування. |
– |
2008. – № 2-3: спец. |
випуск. – C. 191-204.
68.Лавріщева, К. М. Програмна інженерія / К. М. Лавріщева. – К.: BHV, 2007.
69.Лавров, С. С. Программирование. Математические основы, средства, теория / С. С.Лавров. – СПб.: БХВ-Петербург, 2001.
70.Лаптев, В. В. С++. Объектно-ориентированное программирование.
Задачи и упражнения / В. В. Лаптев, А. В. Морозов, А. В. Бокова. – СПб.:
Питер, 2007.
71. Лебедев, С. А. Малая электронная счётная машина / С. А. Лебедев, Л. Н. Дашевский, Е. Л. Шкабара. – М.: Из-во АН СССР, 1952.
72. Леффингуєлл, Д. Принципы работы с требованиями к программному обеспечению. Унифицированный подход / Д. Леффингуєлл, Д. Уидриг. – М.: Вильямс, 2002.
73. Липпман, С. Язык программирования С++. Вводный курс / С. Липпман, Ж. Лажойе; 3-е изд.; пер. с англ. – СПб.: Невск. Диалект; М.: ДМК Пресс, 2001.
74.Лисовик, Л. П. Теория трансдьюсеров / Л. П. Лисовик. Т. 1-3. – К.:
Феникс, 2005-2007.
75.Майер, Б. Методы программирования / Б. Майер, К. Бодуен. T. 1-2. –
М.: Мир, 1982.
76.Майерс, Г. Надёжность программного обеспечения / Г. Майерс. – М.:
Мир, 1980.
77.Макконел, Дж. Основы современных алгоритмов / Дж. Макконел. – 2-
еизд., доп. – М.: Техносфера, 2004.
78.Маліновський, Б. М. Відоме і невідоме в історії інформаційних технологій в Україні / Б. М. Маліновський. – К.: Академперіодика, 2001.
79.Мальцев, А. И. Алгебраические системы / А. И. Мальцев. – М.: Наука,
1970.
80.Мальцев, А. И. Алгоритмы и рекурсивные функции / А. И. Мальцев. –
М.: Наука, 1965.
81.Манин, Ю. И. Доказуемое и недоказуемое / Ю. И. Манин. – М.: Сов.
радио, 1979.
82. Манна, З. Теория неподвижной точки программ / З. Манна // Кибернетический сборник. Новая серия. – М.: Мир, 1978. – Вып. 15. –
С. 38-100. |
|
|
|
|
|
83. |
Машина |
играет |
в |
шахматы |
/ Г. М. Адельсон-Вельский, |
В. Л. Арлазаров, А. Р. Битман, М. В. Донской. – М.: Наука, 1983. |
|
84. |
Мендельсон, Э. Введение в математическую логику / Э. Мендельсон. – |
М.: Наука, 1971. |
|
|
|
|
|
85. |
Месарович, |
М. Общая |
теория систем: |
математические |
основы |
/ М. Месарович, Я. Такахара. – М.: Мир, 1978. |
|
|
86. |
Михалевич, |
В. С. |
Информатика – |
новая область |
науки |
/В. С. Михалевич, Ю. М. Каныгин, В. И. Гриценко // Кибернетика. Cтановление информатики. – М.: Наука, 1986.
87.Мороз, А. И. Кибернетика в системе современного научного знания
/А. И. Мороз // АН УССР. Ин-т философии. – К.: Наук. думка, 1988.
88.На пути к языку широкого спектра для поддержки спецификации и разработки программ / Ф. Бауэр, М. Брой, Р. Гнац и др. // Требования и спецификации в разработке программ; пер. с англ. – М.: Мир, 1984. – С. 28-46.
89.Непейвода, Н. Н. Прикладная логика / Н. Н. Непейвода. – 2-е изд. – Новосибирск: Изд-во Новосиб. ун-та, 2000.
90.Непейвода, Н. Н. Стили и методы программирования. Курс лекций : учеб. пособие / Н. Н. Непейвода. – Интернет-ун-т информ. технологий, 2005.
– Режим доступа: http://ulm.uni.udm.ru/~nnn.
91. Непейвода, Н. Н. Основания программирования : учеб. пособие / Н. Н. Непейвода, И. Н. Скопин. – М.; Ижевск, 2003. – Режим доступа: http://ulm.uni.udm.ru/~nnn.
92. Непомнящий, В.А. Прикладные методы верификации программ
/В. А. Непомнящий, О. М. Рякин. – М.: Радио и связь, 1988.
93.Нікітченко, М. С. Інтенсіонально-орієнтований підхід до теорії програмування / М. С. Нікітченко // Вибрані питання програмології. Праці наукового семінару "Програмологія та її застосування". – К., 2007. – С. 22-54.
94. |
Нікітченко, |
М. С. |
Математична логіка |
та теорія алгоритмів |
/ М. С. Нікітченко, С. С. Шкільняк. – К.: ВПЦ "Київ. ун-т", 2008. |
95. |
Новиков, |
Ф. А. |
Дискретная математика |
для программистов |
/Ф. А. Новиков. – СПб.: Питер, 2000.
96.Объектно-ориентированный анализ и проектирование. С примерами приложений / Г. Буч, Р. А. Максимчук, М. У. Энгел и др. ; пер. с англ. – 3-е изд. – М.: Вильямс, 2008.
97. Основи дискретної математики / Ю. В. Капітонова, С. Л. Кривий, О. А. Летичевський та ін. – К.: Наук. думка, 2002
98.Павловская, Т. А. С++. Объектно-ориентированное программирование : практикум / Т. А. Павловская, Ю. А. Щупак. – СПб.: Питер, 2008.
99.Петрук, В. І. Факультету кібернетики – 40. Нарис історії (1969-2009)
/В. І. Петрук. – К., 2009.
100.Порублев, И. Н. Алгоритмы и программы. Решение олимпиадных задач / И. Н. Порублев, А. Б. Ставровский. – М.: Вильямс, 2007.
|
|
|
СПИСОК ЛІТЕРАТУРИ |
101. Поспелов, |
Д. А. |
Становление |
информатики |
в |
России |
/ Д. А. Поспелов // Очерки |
истории информатики в России; |
под ред. |
Д. А. Поспелова, Я. И. Фета. – Новосибирск: Научно-издательский центр ИГТМ СО РАН, 1998.
102. Прата, С. Язык программирования С++. Лекции и упражнения
/С. Прата; пер. с англ. – М.: ООО "ДиаСофтЮП", 2005.
103.Пратт, Т. Языки программирования: разработка и реализация
/Т. Пратт, М. Зелковиц; пер. с англ.; 4-е изд. – СПб: Питер, 2002.
104.Проценко, В. С. Техніка програмування мовою Сі / В. С. Проценко, П. Й. Чаленко, А. Б. Ставровський. – К.: Либідь, 1993.
105. Рассева, Е. Математика метаматематики / Е. Рассева, Р. Сикорский. – М.: Наука, 1972.
106.Редько, В. Н. Дескриптологические основания программирования
/В. Н. Редько // Кибернетика и системный анализ. – 2002. – № 1. – C. 3-19.
107. |
Редько, |
В. Н. |
Основания |
дескриптологии |
/ В. Н. Редько |
// Кибернетика и системный анализ. – К., 2003. – № 5. – C. 16-36. |
108. |
Редько,В. Н. Основания |
композиционного |
программирования |
/ В. Н. Редько // |
Программирование. – М., 1979. – № 3. |
|
|
109. |
Редько, |
В. Н. |
Основания |
программологии |
/ В. Н. Редько |
// Кибернетика и системный анализ. – К., 2000. – № 1. – C. 33-57. |
110. |
Редько, |
В. Н. |
Введение |
в |
операционные |
системы СМ ЭВМ |
/В. Н. Редько, А. П. Жежерун, В. В. Зубенко. – К.: УМК ВО, 1989.
111.Рекомендации по преподаванию программной инженерии и информатики в университетах; пер. с англ. – М.: ИНТУИТ.РУ "Интернет- университет Информационных технологий", 2007.
112.Рефакторинг. Улучшение существующего кода / М. Фаулер, К. Бек, Дж. Брант и др. – Символ-Плюс, 2003.
113.Решение математических задач на автоматических цифровых машинах. Программирование для быстродействующих электронных счётных машин / Л. А. Люстерник, А. А. Абрамов, В. И. Шестаков, М. Р. Шура-Бура. – M.: Изд-во АН СССР, 1952.
114. |
Себеста, Р. У. Основные концепции |
языков |
программирования |
/ Р. У. Себеста. – М.: Вильямс, 2001. |
|
|
|
|
|
115. |
Сергієнко, |
І. В. |
Інформатика |
та |
комп'ютерні |
технології |
/ І. В. Сергієнко. – К.: Наук. думка, 2004. |
|
|
|
|
116. |
Сергієнко, |
І. В. |
Виклик |
часу |
в |
кібернетичному вимірі |
/ І. В. Сергієнко. – К.: Академперіодика, 2007. |
|
|
|
|
117. |
Симович, |
С.В. |
Общая |
информатика. |
Новое |
издание |
/С. В. Симович. – СПб.: Питер, 2008.
118.Скотт, Д. Набросок математической теории вычислений / Д. Скотт // Кибернетический сборник. – М.: Мир, 1977. – Вып. 24. – С. 107-121.
119. Скотт, Д. Теория решеток, типы данных и семантика / Д. Скотт
//Данные в языках программирования. – М.: Мир, 1982. – С. 25-53.
120.Соммервилл, И. Инженерия программного обеспечения / И. Соммервилл
– 6-е изд. – М.: Вильямс, 2002.
121. |
Справочная книга |
по математической логике : |
в 4 т. |
/ под ред. |
Дж. Барвайса. – М.: Наука, 1982-83. |
|
|
|
122. |
Ставровський, |
А. Б. |
Програмування. |
Перші |
кроки |
/А. Б. Ставровський, Т. О. Карнаух. – М.: Вільямс, 2005.
123.Стол, Р. Р. Множества. Логика. Аксиоматические теории / Р. Р. Стол.
– М.: Просвещение, 1968.
124.Страуструп, Б. Язык программирования С++. Специальное издание
/Б. Страуструп. – СПб.: Невск. Диалект, 2006.
125.Сэджвик, Р. Фундаментальные алгоритмы на С++ / Р. Сэджвик; пер. с англ. – М.: ООО "ДиаСофтЮП", 2002.
126. Тарасов, С.М. Игры для всех: азартные и неазартные
/С. М. Тарасов, С. П. Попов. – М.: Профиздат, 1991.
127.Тассел, Д. Стиль, разработка, эффективность, отладка и испытание программ / Д. Тассел; пер. с англ. – М.: Мир, 1985.
128. Тестирование на основе моделей / А. Петренко, Е. Бритвина, С. Грошев и др. // Открытые системы. – 2003. – № 9.
129.Успенский, В. А. Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. – М.: Наука; гл. ред. физ.-мат.
лит., 1987.
130.Факультету кібернетики – 30 / за ред. проф. О. К. Закусила. – К., 1999.
131.Фреге, Г. Основи арифметики / Г. Фреге. – К.: Port-Royal, 2001.
132.Фьюэр, А. Задачи по языку Си / А. Фьюэр. – М.: Финансы и
статистика, 1985.
133. Харбисон, С. П. Язык программирования C / С. П. Харбисон, Г. Л. Стил. – 5-е изд. – М.: БИНОМ, 2004.
134.Хоменко, Л. Г. История отечественной кибернетики и информатики
/Л. Г. Хоменко. – К.: Ин-т кибернетики им. В. М. Глушкова НАН Украины, 1998.
135.Шахматный словарь. – М.: Физкультура и спорт.
136.Шилдт, Г. Полный справочник по С / Г. Шилдт. – М.: Вильямс, 2006.
137.Ющенко, Е. Л. Адресное программирование и особенности решения задач на машине "Урал" / Е. Л. Ющенко. – К.: КВИРТУ, 1960.
138. |
Арt, К. R. Verification of |
Sequential |
and |
Concurrent Programs |
/ К. R. Арt, E. V. Olderog. – Berlin: Springer-Verlag, 1991. |
139. |
Bauer, F. L. Algorithmic |
Language |
and |
Program Development |
/F. L. Bauer, H. Woussner. – NY: Springer-Verlag, Inc., 1982.
140.Fejer, P. A. Mathematical foundation of computer science / P. A. Fejer, D. A. Simovici. – Vol. 1: Sets, Relations and Induction. – NY: Springer-Verlag, Inc., 1991.
141.Hoffman, U. Stack Based Dynamic Languages for Intelligent Systems
/U. Hoffman, A. Protasov, V. Zubenko // УСиМ. – 1997. – № 3. – C. 59-65.
142.Kalmar, L. An Argument Against the Plausibility of Church's Thesis
/L. Kalmar // Constructivity in Mathematics. Proceed. of Colloq. held at Amsterdam, 1957. – Amsterdam: North-Holland, 1963.
143.Levine, J. Flex & Bison / J. Levine. – O'Reilly Media, August 2009.
СПИСОК ЛІТЕРАТУРИ
144.Levine, J. LEX & YACC / J. Levine, T. Mason, D. Brown.– 2 ed. – O'Reilly, 1992.
145.Manna, Z. The Logical Basis for Computer Programming / Z. Manna, R. Waldinger. – Vol. 1: Deductive Reasoning. – Addison-Wesley Publishing Company, Inc., 1985.
146. McCarthy, J. A Basis for a Mathematical Theory of Computation / J. McCarthy // Computer Programming and Formal Systems. – Amsterdam: North-Holland, 1963. – P. 33-70.
147.Newel, A. Computer Science / A. Newel, A. Perlis, H. Simon // Science.
–1967. – № 157. – P. 1373-1374.
148.Stoy, J. E. The Scott-Sterachey Aproach to Programming Language Theory / J. E. Stoy. – Cambridge, Massachusetts: The MIT Press, 1979.
149.The Munich Project CIP. – Vol. 1: The Wide Spectrum Language CIP-L
//Lecture Notes in Computer Science. – № 183.
150.Zubenko, V. Applied Program Algebras / V. Zubenko. – Kiel: CAU Kiel, Bericht. – № 8504.
151.http://alglib.sources.ru/articles/zeromatr.php
152.http://comsys.ntu-kpi.kiev.ua/science/first_department.shtml
153.www.icfcst.kiev.ua/museum
