ИНТУИТ:

Стили и методы программирования

: Литература по курсу
[+]
Опубликован: 11.02.2005 | Доступ: платный | Студентов: 19518 / 47 | Оценка: 4.19 / 3.88 | Длительность: 16:12:00
ISBN: 978-5-9556-0023-X
Тема: Программирование
Специальности: Программист, Системный архитектор
Теги: algol, CNT, common lisp, lisp, object pascal, pascal, prolog, автоматное программирование, автоматы, алгоритмы, архитектуры, вычисления, компоненты, модель вычислений, очередной символ, программирование, процедуры, РЕФАЛ, сентенциальное программирование, событийное программирование, структуры данных, теория, трансляторы, функтор
  • 1.
    Алагич С., Арбиб М.
    Проектирование корректных структурированных программ.
    М.: Радио и связь, 1984. - 264 с.
  • 2.
    Анисимов С.Н., Пупышев В.В.
    1001 задача по программированию.
    Открытые системы, 2004.
  • 3.
    Бабаев И.О., Герасимов М.А., Косовский Н.К. и др.
    Интеллектуальное программирование. Турбо Пролог и Рефал на персональных компьютерах.
    СПб.: СПбГУ, 1992. - 167 с.
  • 4.
    Бежанова М.М., Поттосин И.В.
    Современные понятия и методы программирования.
    М.: Научный мир, 2000.
  • 5.
    Бельтюков А.П.
    Язык программирования Рефал (учебное пособие для студентов-математиков).
    Ижевск, УдГУ. 1989. - 62 с.
  • 6.
    Братко И.
    Программирование на языке ПРОЛОГ для искусственного интеллекта.
    М.: Мир, 1990. - 560 с.
  • 7.
    Брудно А.Л.
    Программирование в содержательных обозначениях.
    М.: Наука, 1968. - 144 с.
  • 8.
    Ворссидес Дж., Гамма Э., Джонсон Р., Хелм Р.
    Приемы объектно-ориентированного проектирования. Паттерны проектирования.
    СПб: Питер, 2001. - 368 с.
  • 9.
    Грис Д.
    Наука программирования.
    М.: Мир, 1984.
  • 10.
    Рутен Ф. Гурин, Сергей А. Романенко
    ЯЗЫК ПРОГРАММИРОВАНИЯ РЕФАЛ ПЛЮС
  • 11.
    Дейкстра Э.
    Дисциплина программирования.
    М.: Мир, 1978. - 278 с.
  • 12.
    Ковальски Р.
    Логика в решении проблем.
    М.: Наука, 1990. - 280с.
  • 13.
    Кормен Т., Лейзерсон Ч., Ривест Р.
    Алгоритмы: построение и анализ.
    М.: МЦНМО, 1999.
  • 14.
    Корнеев В.Д.
    Параллельное программирование в МPI.
    М. - Ижевск: ИКИ, 2003. - 303 с.
  • 15.
    Котельников И., Чеботаев П
    Издательская система LАTEX2e.
    Новосибирск: Сибирский хронограф, 1998.
  • 16.
    Котов В.Е.
    Введение в теорию схем программ.
    М.: Наука, 1978. - 257 с.
  • 17.
    Котов В.Е. Сабельфельд В. К.
    Теория схем программ.
    М.: Наука, 1991. - 248 с.
  • 18.
    Леоненков А.А.
    Самоучитель UML.
    СПб.: БХВ-Петербург, 2001. - 304 с.
  • 19.
    Мартин Д. и др.
    XML для профессионалов.
    М.: Лори, 2001.
  • 20.
    Непейвода Н.Н.
    Прикладная логика
    Новосибирск: НГУ, 2000. - 491 с.
  • 21.
    Непейвода Н.Н.
    Основания программирования. Лекции 2004 г
    М.: ИНТУИТ, 2004.
  • 22.
    Непейвода Н.Н., Скопин И.Н.
    Основания программирования.
    Москва-Ижевск, РХД, 2003. - 880 с.
  • 23.
    Рассел Л., Ренделл Б.
    Реализация АЛГОЛА 60.
    М.: Мир, 1967. - 475 с.
  • 24.
    Базисный Рефал и его реализация на вычислительных машинах.
    М.: ЦНИПИАСС, 1977. - 258 с.
  • 25.
    Скопин И.Н.
    Языковая среда для разработки программ непрофессиональными пользователями ЭВМ / Под ред. И.М. Бобко.
    Новосибирск: НИИ ИВТ АПН СССР,1991. - 94 с.
  • 26.
    Турчин В.Ф.
    Базисный Рефал. Описание языка и основные приемы программирования. (Методические рекомендации).
    М.:ЦНИПИАСС, 1974. - 96 с.
  • 27.
    Тыугу Э.Х.
    Концептуальное программирование.
    М. Наука. 1984. - 256 с.
  • 28.
    Хоар Ч.
    Взаимодействующие последовательные процессы.
    М.: Мир, 1989.
  • 29.
    Ли Р., Чень Ч.
    Математическая логика и автоматическое доказательство теорем.
    М.: Наука, 1983. - 358 с.
  • 30.
    Цейтин Г.С.
    На пути к сборочному программированию
    Программирование, №1, 1990. - С. 78-92.
  • 31.
    Шалыто А.А.
    SWITCH-технология. Алгоритмизация и программирование задач логического управления.
    СПб.: Наука, 1998. - 628 с.
  • 32.
    Шалыто А.А.
    Логическое управление Методы аппаратной и программной реализации алгоритмов
    СПб.: Наука, 2000. - 780 с.
  • 33.
    Шалыто А.А.
    Новая инициатива в программировании. Движение за открытую проектную документацию
    Мир ПК, №9, 2003. - с.52-56.
  • 34.
    Bacus J.
    Can programming be liberated from the von Neuman style?
    Comm. ACM, 21,1978,
  • 35.
    Deransart P., Ed-Dbali A. and Cervoni L.
    Prolog: The Standard
    Springer-Verlag, New York, 1996.
  • 36.
    Rational Unified Process
    Copyright c 2001 Rational Software Corporation.
  • 37.
    Turchin V.F.
    Refal-5, Programming Guide and Reference Manual.
    New England Publishing Co., Holyoke, 1989.

Вопросы и ответы

вопросов: 12
Федор Антонов
Федор Антонов

Здравствуйте!

Записался на ваш курс, но не понимаю как произвести оплату.

Надо ли писать заявление и, если да, то куда отправлять?

как я получу диплом о профессиональной переподготовке?

ответить
Илья Ардов
Илья Ардов

Добрый день!

Я записан на программу. Куда высылать договор и диплом?

ответить