Заказ работы

Заказать
Каталог тем

Самые новые

Значок файла Методические указания к научно-исследовательской работе студентов по курсу “Социология”. Ч. 1/ Сост.: Е. А. Сафонова: СибГИУ. - Новокузнецк, 2003. – 45 (2)
(Методические материалы)

Значок файла Методические рекомендации для практических занятий по психологии: Метод. указ./ Сост.: С. Г. Колесов: СибГИУ. – Новокузнецк, 2002. – 29 (2)
(Методические материалы)

Значок файла Методические указания по проведению производственной практики (первой). Специальность «Промышленное и гражданское строительство» (290300) (2)
(Методические материалы)

Значок файла Контроль качества бетона. Определение прочности бетона неразру-шающими методами. Методические указания к выполнению лабора-торных работ по курсу «Технология строительных процессов». Специ-альность «Промышленное и гражданское строительство» (290300) (2)
(Методические материалы)

Значок файла Динамика. Тема 6. ПРИНЦИП ВОЗМОЖНЫХ ПЕРЕМЕЩЕНИЙ: Расч. прак./ Сост.: Г.Т. Баранова, Н.И. Михайленко: СибГИУ.-Новокузнецк, 2003.- с (2)
(Методические материалы)

Значок файла Семенихин А.Я. С 30 Технология подземных горных работ: Учебное пособие / А.Я. Семенихин, В.И. Любогощев, Ю.А. Златицкая. – Новокузнецк: СибГИУ, 2003. - 91 с (17)
(Методические материалы)

Значок файла Огнев С.П., Ляховец М.В. Основы теории управления: методические указания. – Новокузнецк: ГОУ ВПО «СибГИУ», 2004. – 45 с (13)
(Методические материалы)

Каталог бесплатных ресурсов

Исчисление высказываний Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга

I Формальные системы (ФС)

A – алфавит имён

З – алфавит специальных разделительных знаков

ППФ – правильно построенные формулы из имён и знаков

А Î ППФ – формулы, которые называются аксиомами

ПВ – правила вывода на множестве ППФ вида «если , то »

Исчисление , такое что I конструктивно порождается из множества аксиом применением ПВ.

Пример 1. Формальные грамматики. , где A – терминальный алфавит; V – вспомогательный алфавит; Р – правила вывода, вида , где  (все слова из объединённого алфавита); S – начальный вспомогательный символ (начало порождения) суть аксиома.

Грамматика G порождает (исчисляет) язык , который является множеством слов, выделенных для целей синтаксического описания моделей некоторых объектов (например, языка программирования ALGOL).



Размер файла: 599 Кбайт
Тип файла: doc (Mime Type: application/msword)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров