
- •(Конспект лекций)
- •Список сокращений
- •Введение
- •Лекция 1. Языки штучного интеллекта и основы логического программирования Некоторые сведения о языках искусственного интеллекта
- •Введение в логическое программирование Историческая справка
- •Базовые объекты данных
- •Вопросы
- •Переменные
- •Правила
- •Зоны видимости имен
- •Логическая программа
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 2. Процедурная семантика интерпретатора Пролога
- •Метод резолюций
- •Унификация и подстановка
- •Композиция подстановок
- •Вычисление резольвенты
- •Алгоритмы Пролога
- •Стратегии доказательств
- •Процедура поиска доказательства в глубину
- •Пример выполнения логической программы с пошаговым анализом
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 3. Основы программирования в среде Турбо-Пролога
- •Разделы программы
- •Опции компилятора
- •Имена переменных
- •Раздел описаний доменов
- •Разделы описания предикатов и правил
- •Рекурсивные процедуры
- •Моделирование итеративных процедур
- •Основные сведения об арифметических предикатах
- •Внелогические предикаты
- •Работа с файлами
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 4. Списки и управление выводом в Турбо-Пролог-программах Списки
- •Описания списков
- •Шаблон для работы со списками
- •Примеры программ работы со списками
- •Управление формированием вывода Отсечение
- •«Зеленые» и «Красные» отсечения
- •Предикаты not и fail
- •«Циклы» управляемые отказом
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 5. Динамическая база данных в Турбо-Пролог-программах Составные области
- •Операции с динамической базой данных
- •Пример построения проекта с динамической базой данных
- •Ограничения Турбо-Пролога
- •«Циклы» с возвратами
- •Лисп – язык функционального программирования
- •Правильные выражения
- •Базовые предикаты и конструкторы
- •Определяющие выражения функций
- •Условные выражения
- •Выражения для представления циклов
- •Встроенные и определяемые пользователем функции
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 7. Функциональное программирование в среде Лиспа
- •Виды рекурсий Рекурсии по значению и по аргументам
- •Простая рекурсия
- •Параллельная рекурсия
- •Взаимная рекурсия
- •Рекурсии высших порядков
- •Метод накапливающих параметров
- •Функционалы
- •Применяющие функционалы
- •Отображающие функционалы
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 8. Функциональные абстракции и процедурное программирование в Лиспе Представление функции в процессе вычислений Понятие замыкания
- •Создание замыканий
- •Функции с функциональным результатом вычислений и частичные вычисления
- •Функциональные абстракции
- •Формы блоков и связывания переменных
- •Присваивание значений переменным
- •Прочие процедурные формы в Лиспе
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 9. Лисп-методы программирования Программирование, управляемое данными
- •Программирование, управляемое событиями
- •Сопоставление с образцом
- •Списочные образцы
- •Переменные в образцах
- •Образцы с предикатами
- •Продукционное и логическое программирование в Лисп-системах
- •Объектное программирование
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 10. Представление знаний в программах на Лиспе Процедурный подход к представлению знаний
- •Представление знаний на основе продукций
- •Представление продукций
- •Интерпретатор продукций
- •Методы поиска решений
- •Функция для загрузки
- •Разрыв командного цикла и отладка
- •Вычисление s-выражений
- •Функции и формы
- •Типы данных
- •Макросы ввода
- •Lambda-списки
- •Функции ввода/вывода
- •Вычисление форм catch и throw
- •Объектное программирование в Xlisp Создание класса
- •Добавление методов в интерактивном режиме
- •Вопросы для самоконтроля
- •Html-документ Инструментарий создания и редактирования
- •Структура документа
- •Html тэги
- •Информация игнорируемая браузерами
- •Свойства страницы в целом
- •Информация для поисковых систем и стандарты
- •Элементы управления размещением текста и графики
- •Ссылки и протоколы
- •Задание цвета в html
- •Подготовка графики и анимация Графические форматы
- •Подготовка изображений для применения в документе
- •Анимация
- •Вопросы для самоконтроля
- •Управление шрифтами
- •Физические текстовые стили
- •Специальные символы
- •Графика
- •Управление взаимным размещением текста и графики
- •Гипертекстовые и графические ссылки Организация ссылок
- •Графические ссылки
- •Расширенная работа с гиперссылками Типы ссылок в документе
- •Якоря (метки)
- •Атрибут target
- •Изображения-карты
- •Списки и таблицы Виды списков
- •Элементы таблиц
- •Вопросы для самоконтроля
- •Элементы создаваемые тэгом input
- •Простые и графические кнопки
- •Списки выбора
- •Текстовые области
- •Приемы для выравнивания элементов
- •Методы передачи данных к серверу
- •Дизайн web-сайтов Типы сайтов
- •Топология и распределение материала
- •Формат страницы
- •Заглавия и заголовки
- •Навигация
- •Блоки текста
- •Средства позиционирования
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 15. Элементы языка css Язык управления структурой и стилями
- •Размещение css-элементов
- •Адресная модель css
- •Содержимое css-файла или style-контейнера
- •Селекторы
- •Комментарии
- •Применение css в оформлении документов Управление визуализацией
- •Схемы позиционирования
- •Текст и шрифты
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 16. Основы языка Java Script Назначение языка программирования Java Script
- •Тэги для программ на Java Script
- •Основные конструкции языка JavaScript
- •Декларации функций
- •Операторы, операции и выражения
- •Массивы
- •Объектная модель документа
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 17. Объекты и скрипты в html-документах Объекты пользователя
- •Создание объектов
- •Добавление новых свойств и методов
- •Проверка наличия свойств и методов
- •Встроенные объекты языка программирования
- •Обработка особых ситуаций в документе
- •Классификация ситуаций
- •Установление реакции на ситуацию
- •Методы объекта String
- •Программирование работы с метками и гиперссылками
- •Динамическое создание меток и гиперссылок
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Лекция 18. Различные аспекты применения скриптов Управление окнами
- •Динамическое формирование документа
- •Управление слоями
- •Объект, соответствующий форме
- •Адресация и именование
- •Свойства и методы
- •Динамическое изменение надписей и изображений на кнопках
- •Форматы документов отличающиеся от html
- •Вопросы для самоконтроля
- •Вопросы на самостоятельную проработку
- •Литература
Навигация
Навигационная система есть необходимое каждому сайту средство ориентировки и перемещения в пространстве сайта. Простейшая разновидность навигационной панели для сайта с древовидной топологией – список текстовых ссылок на подчиненные страницы, с краткой аннотацией по каждой ссылке. В том случае, если навигационная панель занимает слишком большую площадь и ее слишком накладно дублировать на страницах, - следует применять навигационные панели с кнопками (обычно графическими) или выпадающие меню (JavaScript дает возможность программировать оба варианта). Для сайтов или фрагментов сайтов с линейной структурой необходимый минимум навигации – пара ссылок, ведущих к предыдущему и следующему документу в цепочке. Вместе с тем, для удобства навигации, необходимы ссылки к главной странице и/или строка ссылок на все страницы цепочки с выделением места текущей страницы. Возможно привлечение для целей навигации, также, изображений-карт.
Блоки текста
Блоки текста необходимо оформлять так, чтобы это не мешало чтению, восприятию текста. Для этого удобными средствами являются контейнеры p, div, span. В том случае, если текста много, лучше применить многоколоночный текст (например на основе таблиц с невидимыми границами). Таблицы выигрывают в том случае, если используется следующий оформительский прием – чередуются строки с закрашенным светлым и чуть темнее фоном. Для чтения более удобны шрифты с засечками (serif, пример Times New Roman, Garamond, Bodoni, Serifa), роль которых состоит в том, чтобы вести взгляд по строке. Для заголовков более удобны шрифты без засечек или рубленые (sans-serif, пример Arial, Verdana, Tahoma, Zurich), с их лаконичным геометрическим рисунком. Сильного разнообразия шрифтов в оформлении не должно быть, также как и разнообразия по параметрам (начертаниям и размерам). В том случае, если все же применяются 2 шрифта с засечками или 2 рубленых, то нельзя их выбирать слишком похожими по начертанию. Что касается выравнивания, то при большом количестве текста лучше не выполнять подгонку по ширине, а применить выравнивание по левому краю.
Средства позиционирования
Когда в процессе разработки web-страницы выполнено распределение ее элементов, возникает вопрос какими техническими средствами следует воспользоваться для размещения элементов на плоскости. Простейшие механизмы – таблицы и распорки. В ячейках таблицы можно размещать графику и текст, выравнивая их друг относительно друга подходящим образом. Если требуется, - ячейки можно объединять. Распорки были изобретены дизайнером Дэвидом Сигелем. Он учел тот факт, что броузер масштабирует графические файлы до необходимых размеров. В тэге img используется ссылка на прозрачный gif-файл размером 1х1 пиксел и указываются требуемые размеры вставки (атрибуты height, width). Такие вставки используются для сдвигов текста и изображений как по горизонтали, так и по вертикали. Их можно размещать как в пустых ячейках таблиц, обеспечивая требуемые параметры столбцов и строк, так и в ячейках, заполненных текстом и графикой.
Наилучшие результаты дает применение средств позиционирования языка CSS. В HTML различают блочные и in-line-элементы. Блочные элементы размещаются по вертикали - один под другим, а элементы in-line последовательно один за другим по горизонтали, пока помещаются в окне, а затем переносятся в следующую строку. В блочные элементы могут вкладываться другие блочные и in-line- элементы. Т.о., координаты элемента определяются 2 факторами: положением элемента-родителя и наличием предшествующих элементов в порядке отображения. В CSS для каждого элемента можно указать режим позиционирования: - относительное (relative), плавающее (float), абсолютное (absolute) и фиксированное (fixed). Относительное позиционирование позволяет смещать объект от той точки, которую он занимал бы по умолчанию с учетом обоих упомянутых только что факторов. Относительное позиционирование отдельных букв в абзаце позволяет, например, воспроизвести логотип системы ТЕХ, в котором буква Е смещена вниз не относительно какой-то точки на странице, а относительно своих соседей. Разновидностью относительного является плавающее позиционирование, при котором объект смещается относительно исходного положения до упора вправо или влево, отодвигая в этом месте текст (а не накладываясь на него). В HTML того же эффекта для изображений можно достичь с помощью атрибута align тэга img. При абсолютном позиционировании элемента снимается один из двух указанных факторов: положение объекта вычисляется относительно его «родителя», но без учета «братьев». Т.е., имеется одна и та же точка отсчета для всех «детей» данного элемента-родителя (левый верхний угол блока). При фиксированном позиционировании (разновидности абсолютного) элементом-«родителем» считается окно броузера.
Как относительное, так и абсолютное позиционирование могут приводить к наложению элементов друг на друга. По умолчанию видимым будет элемент расположенный текстуально дальше. Но выводом можно управлять, - задавая для элемента порядковый номер по координате z - «z-order».