Дипломная работа на тему: Исследовательская часть. Роль реляционных языков в развитии вычислительной техники

Введение

5.2. Анализ характера загрязнения окружающей среды при производстве вычислительной техники. 48

5.2.1. Источники загрязнения. 48

5.2.2. Очистка воздуха от вредных примесей. 50

5.3. Анализ влияния опасных и вредных факторов, при эксплуатации программы интерпретатора Пролог. 52

5.3.1. Повышенный уровень шума на рабочем месте. 53

5.3.2. Опасный уровень напряжения электрической цепи, замыкание которой может произойти через человека. 54

5.3.3. Пожарная опасность. 55

5.3.4. Повышенный уровень электромагнитных излучений. 56

5.3.5 Повышенная яркость света. 57

5.3.6. Прямая и отраженная блеклость. 58

5.3.7. Нарушение микроклимата рабочих помещений. 58

5.3.8. Защита от психофизиологических факторов. 59

5.4. Анализ использования защитных экранов для снижения влияния опасных и вредных факторов, во время работы на автоматизированном рабочем месте. 60

5.4.1 Основные функции защитных экранов, необходимые для снижения влияния вредных и опасных факторов, во время работы с программным средством. 60

Оглавление

- Введение.

- Исследовательская часть.

- Роль реляционных языков в развитии вычислительной техники.

- Основные механизмы дедукции.

- Исчисление предикатов как язык для решения задач.

- Унификация и принцип резольвенции в исчислении предикатов.

- Методы поиска доказательства в исчислении предикатов.

- Исчисление предикатов при решении задач.

- Стратегии перебора.

- Стратегии упрощения.

- Стратегии очищения.

- Формы доказательства с отфильтровыванием предшествующих вершин.

- Стратегии поддерживающего множества.

- Стратегии упорядочения.

- Анализ характеристик существующих интерпретаторов.

- Необходимость разработки интерпретатора языка Пролог.

- Выбор языка программирования.

- Конструкторская часть.

- Синтаксис программ на Прологе в нотации Бэкуса-Наура.

- Общая структура интерпретатора.

- Принцип работы предкомпилятора.

- Работа лексического анализатора.

- Синтаксический анализатор.

- Анализ арифметического выражения.

- Анализ параметров предикатов.

- Проверка типов параметров.

- Работа