Абстрактные типы данных (АТД)
Лекция из курса Основы объектно-ориентированного программирования
Критерии
Различные реализации
Представления стеков
Опасность излишней спецификации
Какова длина второго имени?
К абстрактному взгляду на объекты
Использование операций
Политика невмешательства в обществе модулей
Согласованность имен
Можно ли обойтись без абстракций?
Формализация спецификаций
Специфицирование типов
Универсализация (Genericity)
Перечисление функций
Категории функций
Раздел АКСИОМЫ
Две или три вещи, которые мы знаем о стеках
Частичные функции
Предусловия
Полная спецификация
Ничего кроме правды
Учебник по HTML
HyperText Markup Language (HTML) является стандартным языком, предназначенным для создания гипертекстовых документов в среде WEB. HTML-документы могут просматриваться различными типами WEB-броузеров. Когда документ создан с использованием HTML, WEB-броузер может интерпретировать HTML для выделения различных элементов документа и первичной их обработки. Использование HTML позволяет форматировать документы для их представления с использованием шрифтов, линий и других графических элементов на любой системе, их просматривающей.Продолжение
Содержание раздела
