Заказ работы

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

Самые новые

Значок файла Скляревская В.А. Управление персоналом: учебно-практическое пособие. -М.: МГУТУ, 2004 (8)
(Методические материалы)

Значок файла Теория корпоративной безопасности (9)
(Методические материалы)

Значок файла Канидьев Д.Ю. Таможенные пошлины и расчеты. Учебно-практическое пособие. – М.,МГУТУ, 2004 (6)
(Методические материалы)

Значок файла ТАМОЖЕННЫЕ ПОШЛИНЫ И РАСЧЕТЫ Рабочая программа, темы контрольных работ и методические указания по их выполнению для студентов факультета «Экономики и предпринимательства» специальности 060400, 060500, 061100, 351000 всех форм обучения (7)
(Методические материалы)

Значок файла Стратегический менеджмент. Часть 1.Учебное пособие для сту-дентов специальности 0611.-.М. : МГТА,2001,102с (8)
(Методические материалы)

Значок файла ПОЛИТОЛОГИЯ Часть I Учебно-практическое пособие для студентов всех специальностей и всех форм обучения (9)
(Методические материалы)

Значок файла ПОЛИТОЛОГИЯ Часть II Учебно-практическое пособие для студентов всех специальностей и всех форм обучения (8)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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