Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS
А.М.Федотов

Темы курса "Информатика"

Тема 05 : ЯВУ – языки высокого уровня

Контрольные вопросы:

Темы докладов

  1. Новосибирский вклад в программирование.
  2. Отдел программирования А. П. Ершова.
  3. Система программирования TE X.
  4. Обзор ЯВУ.
  5. Операторный метод Ляпунова.
  6. Технология крупноблочного программирования.
  7. Свойства ЭВМ как исполнителей.
  8. Программирующие программы.
  9. Язык программирования РЕФАЛ.
  10. Новое поколение С-образных языков программирования
  11. Проблемно-ориентированные языки (DSL) и методы их реализации
  12. Clang-LLVM технология реализации языков программирования
  13. Сравнение принципов структурного и функционального программирования: сходство и отличия.
  14. Интеллектуальная программирующая система DINAMO.
  15. Парадигмы программирования.
  16. Императивный стиль и Декларативный стиль.

Презентации по теме "ЯВУ – языки высокого уровня" :

Ссылка на презентацию.

Словарь терминов по теме:

Литература

Основная:

  1. Керниган Б., Ритчи Д., Язык программирования С / Kernighan B., Ritchie D., The C Programming Language. 2-е издание./ Вильямс, 2009 - 292 с.
  2. Кнут Д., Программирование как искусство // В кн.: Из истории кибернетики. Редактор-составитель Я.И. Фет. – Новосибирск:. - Академическое издательство «Гео». - 2006. - С. 95-109.
  3. Лавров С.С. Что изучает информатика? // Компьютерные инструменты в образовании. - СПб.: Изд-во ЦПО "Информатизация образования" , 2000, №1, С.13-17.
  4. Ляпунов А.А. О математических проблемах кибернетики // Изв. вузов. Матем., 1958, № 5, с. 166–174
  5. Федотов А. М., Парадоксы информационных технологий // Вестник НГУ. Серия: Информационные технологии. - 2008. - Том 6, - Выпуск № 2. - С. 3 - 14. - ISSN 1818-7900.
  6. Федотов А. М., Фет Я. И., А.А. Ляпунов и становление информатики в России // Вестник НГУ: серия "Информационные технологии". - 2008. - Том 6, - Выпуск № 3. - С. 3 - 14. - ISSN 1818-7900.

Дополнительная:

  1. Грем П. Языки программирования через сто лет // Журнал «Компьютерра» |http://www.computerra.ru/|, 2004.
  2. Дал У., Дейкстра Э., Хоор К. Структурное программирование / пер. с англ. С.Д. Зеленцкого, В.В. Мартынюка, Л.В. Ухова ; под ред. Э.З. Любимского, В.В. Мартынюка. — М.: Мир, 1975. — С. 247.
  3. Дейкстра Э. В., Дисциплина программирования [Главы из книги] / A discipline of programming. - М.: Мир. - 1978. - С. 275.
  4. Джон Харрисон (John Harrison) Введение в функциональное программирование // [Электронный ресурс] http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh/
  5. Ершов А. П., Шура-Бура М. Р. Пути развития программирования в СССР // Кибернетика, 1976, № 6, с. 141-160.
  6. Канторович Л.В. Перспективы развития и использования электронных счетных машин // В кн.: «Очерки истории информатики в России» // Составители – Д.А. Поспелов, Я.И. Фет. - Новосибирск, Научно-издательский центр ОИГГМ, 1998. - с. 429-437.
  7. Китов А.И., Криницкий Н.А. Электронные вычислительные машины // Изд-во АН СССР, Москва - 1958. - 64 с.
  8. Китов А.И., Криницкий Н.А. Электронные цифровые машины и программирование // Изд-во физ.-мат. лит., М. - 1959. - 295 с.
  9. Китов А.И. Программирование информационно-логических задач // Советское радио, М. 1967. - 124 с.
  10. Пальмер С.З., Фелсинг Дж.М. Практическое руководство по функционально-ориентированной разработке ПО // М.: "Вильямс", 2002. - 304 с. ISBN 5-8459-0365-3.
  11. Петрова Л.Т. Комментарий к работам Л. В. Канторовича по крупноблочному программированию // В кн.: «Очерки истории информатики в России» // Составители – Д.А. Поспелов, Я.И. Фет. - Новосибирск, Научно-издательский центр ОИГГМ, 1998. - с. 446-449
  12. Подловченко Р. И., Святослав Сергеевич Лавров в отечественном программировании // VII международная конференция памяти академика А.П. Ершова "Перспективы систем информатики" (Новосибирск, 15-19 июня 2009). - Новосибирск, ИСИ СО РАН. - 2009. - С. 15 - 19.

Факультативная:

  1. Анатолий Иванович Китов. Очерк о жизни и творчестве
  2. Богатырев Руслан, Никлаус Вирт — патриарх надежного программирования // Мир ПК. - 2004. - Том Студия программирования, - Выпуск № 3.
  3. Вирт Н. Модула-2 и Оберон // Труды третьей конференции ACM SIGPLAN по истории языков программирования, Pages 3-1 - 3-10, ACM New York, NY, USA 2007, ISBN: 978-1-59593-766-7, doi 10.1145/1238844.1238847
  4. ГОСТ 28397-89 Языки программирования. Термины и определения/Государственный комитет СССР по управлению качеством продукции и стандартам, Москва
  5. Грэм Пол, Lisp: побеждая посредственность
  6. Дейкстра Э. В., Избранные статьи // [Электронное издание]. - OberonCore.ru. - 2000.
  7. Дейкстра Эдсгер Вибе, Программисткие басни // -1982.
  8. Езерова Г. Н., Луховицкая Э. С., К вопросу об истории информатики в России / Препринты ИПМ им. М.В.Келдыша. - 2012. - Выпуск № 49. - С. 12.
  9. Езерова Г. Н., Луховицкая Э. С., Первый компилятор // Открытые системы. СУБД. - 2013. - Выпуск № 7.
  10. Канторович Л. В., Перспективы развития и использования электронных счетных машин // Научно-издательский центр ОИГГМ. - 1988. - С. 429-437.
  11. Китов А. И., Криницкий Н. А., Комолов П.Н. Элементы программирования (для электронных цифровых машин). Ответственный редактор А.И. Китов. М.: изд-во Артиллерийской академии имени Дзержинского, 1956. – 288 С.
  12. Китов А. И., Криницкий Н. А., Электронные вычислительные машины / Академия наук СССР. - М.:АН СССР. - 1958. - С. 64.
  13. Китов А. И., Криницкий Н. А., Электронные цифровые машины и программирование / М:Изд-во физ.-мат. лит.. - 1959. - С. 295.
  14. Китов А.И. Программирование задач внешней баллистики ракет дальнего действия (Диссертация на соискание учёной степени кандидата технических наук). НИИ-4 МО СССР, 1952. 280 с.
  15. Крайнева И. А., Марчук А. Г., Игорь Васильевич Поттосин. Из истории Новосибирской школы программирования // Вестник НГУ. - 2013. - Том 13, - Выпуск № 1. - С. 3-12. - ISSN 1818-7897.
  16. Крайнева И.А., Черемных Н.А. Путь программиста / Новосибирск, Нонпарель, 2011. 222 с. ISBN:978-5-93089-033-4
  17. Кронрод А. С., Беседы о программировании / Предисл. Л. А. Кронрод. Послесл. В. Л. Арлазарова. Изд. 2-е, стереотипное. - М.: Едиториал УРСС. - 2004. - С. 248.
  18. Лавров С. С., Ленинградская школа программирования // Наука. - М.: Наука. - 2003. - С. 486.
  19. Луховицкая Э. С., Езерова Г. Н., Информатика в ИПМ им.М.В.Келдыша. 1960-е годы / Препринты ИПМ им. М.В.Келдыша. - 2013. - Выпуск № 29. - С. 33.
  20. Луховицкая Э.С., Езерова Г.Н. Информатика в ИПМ им. М.В. Келдыша. 1960-е годы // Препринты ИПМ им. М.В. Келдыша. 2013. № 29. 33 с.
  21. Ляпунов А. А., О математических проблемах кибернетики // Изв. вузов. Матем. - 1958. - Том 5, - Выпуск № 6. - С. 166–174.
  22. Нигиян С. А., Об ереванской школе программирования // М.: Наука. - 2003.
  23. Петрова Л. Т., Комментарий к работам Л. В. Канторовича по крупноблочному программированию // Очерки истории информатики в России. - 1998. - С. 446-449.
  24. Подловченко Р. И., А.А.Ляпунов и становление теоретического программирования в России // Proc. of International symposium on the contribution of Europeans to the evolution and the achievements of computer technology "Computer in Europe: past, present and future". - Ukraine, Kyiv. - 1998. - С. 88-93.
  25. Система Автоматизации Программирования АЛГЭМ. Под редакцией доктора технических наук, профессора А.И. Китова. // М.: Статистика, 1970. – 89 С.
  26. Фет Я. Неистовое творчество / Я. Фет, Ю. Молородов, Г. Шпак // Наука в Сибири. - 2001. - № 38.
  27. Фет Яков, Молородов Юрий, Шпак Галина, Неистовое творчество // Наука в Сибири. - 2001. - № 38. (5 октября 2001 г.).

Персоны, связанные с темой:

|А.М.Федотов| |Преподавание| |Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотова Ольга Анатольевна 		[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 2007-2024, Новосибирский государственный университет, Новосибирск
© 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2024, Федотов А.М.
    Дата последней модификации: 26.04.2024