Непейвода Н.Н., Скопин И.Н. - Основания программирования :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/13693
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 13:53:22 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

Непейвода Н.Н., Скопин И.Н. - Основания программирования

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Основания программирования

Авторы: Непейвода Н.Н., Скопин И.Н.

Аннотация:

Книга представляет собой первое издание в серии, предназначенной для студентов, готовящихся к работе по современным информационным технологиям, и специалистов в данной области. Рекомендуется как для первокурсников, уже имеющих начальное знакомство с программированием, так и для специалистов, имеющих лишь практический опыт и желающих получить более основательные теоретические знания.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2002

Количество страниц: 913

Добавлена в каталог: 08.07.2006

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

CSS      см. 'Таблицы стилей'
DLL      368 (см. 'Динамически загружаемая библиотека')
Rational Unified Process      180 829-830
WYSIWYG      778
Автомат      845
Автомат конечный      560 564 566 573 610 611 617 619 621 845
Автомат Мили      847
Автомат Мура      845 847
Автомат состояния      845
Автомат, входные символы      845
Адрес      16
Адресность      16
Алгоритм Маркова      729 849
Алгорифм Маркова      см. 'Алгоритм Маркова'
Анализ      201
Анализ осуществимости      194
Арность      839
Артефакт      181
Архитектура фон Неймановская      15
Атом      730 769
Атрибуты атома в LISP      792
Аттестация      189
База данных      752 814
База знаний      752 815
Библиотека      39-44
Библиотека динамически загружаемая      368
Библиотека периода исполнения      9 15
Библиотека периода трансляции      8 15
Библиотека среды программирования      14
Библиотека стандартная      13 15
Верификация      189
Выражение языка Рефал      730
Выражения      247
Вычисление квазипараллельное      51
Вычисление параллельное      51
Вычисление последовательное      51
Вычисление смешанное      170
Вычисление совместное      52 52-54
Вычисление совместное слабое      53
Вычисления гарантированные      503 900
Вычисления, точность      808
Гильберт, Д.      867
Глупость      884
Граф состояний и переходов      см. 'Диаграмма переходов'
Гроздь      529
Данные      877
Данные, изоморфизм      664
Дао      891
Декомпозиция программ      44
Детерминатив      751
Диаграмма переходов      567 610
Дизъюнкт Хорнов      748
Документ, объектная модель      786
Доступ к данным программируемый      511
Замена значения переменной      842
Записи вариантные      520
Запись      515
Запроцедуривание      417
Засылка      см. 'Присваивание'
Знания      877
Значение константное      59
Импликация Хорнова      747
Имя      60
Инициаторы работ      202
Интерпретатор      14
Интерпретация вычислительная      840
Исполнение неудачное      755
Исполнение при данной оценке      841
Исполнение схемы программ      841
Исполнение успешное      755 841
Использование      195
Исследования      194
История исполнения      842
Канал связи      17
Класс абстрактный      717
Клауза      752 (см. 'Предложение')
Кодирование      185 (см. 'Реализация')
Команда      16
Комментарий      38-39
Комментирование      110
Компилятор      14
Компиляция условная      84
Конкретизация      729
Константа      59 751
Конституента      600
Конструирование      194 201
Конструкция      7
Контейнер      59
Контекст предоставляемый      455
Кэш данных      19
Кэш команд      19
Литерал      59
Массив      524
Массив гибкий      525
Массив динамический      525
Массив статический      525
Машина потоков данных      21 763
Машина Тьюринга      848
Метавыражение      729 732
Метакодирование      733
Метод      888
Метод виртуальный      715
Метод конечный      716
Метод объекта      708
Метод статический      715
Методика      107
Методичность      884
Методология      107
Множество      534
Множество автоматно-разрешимое      847
Множество регулярное      см. 'Автоматно-разрешимое'
Модели нестандартные      866
Модели уровня анализа      203
Модели уровня конструирования      203
Моделирование пользовательского интерфейса      201
Модель жизненного цикла каскадная      188-189
Модель интерпретационная      840
Модель классическая      186-188
Модель общепринятая      184-186
Модель строгая каскадная      191
Модель фазы-функции      193-196
Модель Янова      844
Модуль      42
Модуль загрузочный      14
Наследование      714
Обзоры      189
Область экранная      642
Образец      733
Обратная польская запись      699
Объединение      519
Объединение неразмеченное      520
Объединение размеченное      519
Объединение тегированное      520
Объект      708
Объект искусственный      831
Объект квазиискусственный      831
Окружение      767
Операнд      16
Оператор      7 22
Описания      44
Определение требований      184 201
Ординалы      638
Откат      756
Отладчик      9 15
Отождествление      729
Оценка      195
Оценка переменных      841
Оценка результатов итерации      202
Ошибка задания      191
Память      15 59

Память ассоциативная      21 746
Парадокс      863
Парадокс Берри      864
Парадокс Брауэра      870
Парадокс изобретателя      868
Парадокс Карри      864
Парадокс лжеца      864
Парадокс Рассела      864
Паттерн      см. 'Шаблон'
Паттерны      163
Патч      165
Переаттестация      189
Переменная      59 751
Переменная анонимная      751
Переход      119
Перечисление      499 499-501
Пиксель      641
Планирование итерации      см. 'Определение требований'
Подпрограмма      23 362-481
Подпрограмма, клиент      369
Подпрограмма, сервер      369
Подстановка      729
Поле данных      752
Поле записи      515
Поле зрения      752
Поле зрения Рефал      730
Поле памяти Рефал      730
Полиморфизм      406
Понятие идеальное      867
Понятие реальное      867
Понятия внешние      122
Понятия внутренние      122
Порядок высказывания      869
Последовательное соединение      843
Постусловие      168
Поток данных      573
Предикат      751
Предикат отсечения      757
Предложение      752
Предусловие      168
Препроцессор      14
Прерывание      138
Приведение      23
Приоритет      142
Присваивание      16 22
Программа      181
Программа линейная      37
Программа старение      182
Программирование      194
Программирование восходящее      131
Программирование нисходящее      130
Программирование объектно-ориентированное      118 151-155
Программирование от образца      156
Программирование от образцов      164
Программирование от переиспользования      118 155
Программирование от приоритетов      118 142
Программирование от событий      118 135-142 359
Программирование от состояний      118-124 134 160 179 560-633
Программирование от шаблонов      118
Программирование сборочное      157
Программирование сентенциальное      118 132-134 567 728-789
Программирование специализирующее      155 167
Программирование структурное      118
Программирование функциональное      118 147-151 791-804
Проектирование      185
Проецирование      733 734
Противоречие проблемное      188
Процессор      16 59
Путь окольный      868
Разветвление      843
Развитие      186
Разметка      774
Разработка      184
Реализация      185 202
Реальность виртуальная      831
Регистры      19
Редактор      8
Редактор связей      15
Рубрикация      768
Связь вход = выход      168
Селектор      511
Семантика      102
Семантика алгебраическая      104
Семантика интерпретационная      103
Семантика логическая      103
Семантика трансляционная      103
Семантика функциональная      103
Сигнатура      839
Символы пробельные      39
Система аксиоматическая      115
Система ассоциативная      115
Система коммутационная      114
Система программирования      8
Система продукций      113
Система файловая      8
Система функций      114
Словарь      см. 'Сигнатура'
Слово      561
Смысл      102
Сообщение      341
Сопровождение      182 184 186
Состояние      119
Состояние памяти      841
Состояние схемы программ      841
Спецификация системы      184
Среда операционная      8
Стек контекстов      397-398
Схема программ      839 839
Схема программ структурированная      843
Схема программ Янова      см. 'Схема Янова'
Схема Янова      611 844
Таблицы стилей      777 783
Тег      62 619 774
Тегирование      62 774
Терм      839
Тестирование      186 202
Тип данных      59
Тип логический      869
Токен      769
Токен, раскрытие      769
Транслятор      8
Трассировка требования      219
ТРИЗ      188
Умения      878
Универс      840
Универс полных состояний      844
Унификация      748
Управляющее устройство      16
Условие корректности относительно ошибки      840
Успех      753
Факт      753
Формат ТеХ      769
Формат ТЕХа      766
Формула Хорнова      747
Функтор      751
Функция моделирования      203
Функция расстановки      529
Функция рекурсивная      856
Функция сигнализирующая      638
Хеширование      см. 'Функция расстановки'
Цель      752
Цикл Бема-Джакопини      129 843 845
Цикл Кнута      843
Чум фундированный      639
Шаблон      722
Эквивалентность схем логико-термальная      843
Эквивалентность схем функциональная      842
Эклектика      111
Эпименид      864
Язык Ada      31

1 2

О проекте