Заказ работы

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

Самые новые

Значок файла Смирнова Г.Н. Учебное пособие по дисциплине “Электронные системы управления документооборотом” / Московский международный институт эконометрики, информатики, финансов и права – М., 2003. – 168с (2)
(Методические материалы)

Значок файла Вопросы по Бухгалтерскому учету к Государственной аттестации сту-дентов специальности "Бухгалтерский учет и аудит" (2002/2003) (11)
(Статьи)

Значок файла Густав Лебон. Психология народов и масс (8)
(Книги)

Значок файла Норкин С.П., Кузнецов О.Ф. Н 82 Инженерная геодезия: Учебное пособие. - Оренбург: ГОУ ОГУ, 2003 – 111 с. (29)
(Методические материалы)

Значок файла Ситнов А.А. Международные стандарты аудита / Московский международный институт эконометрики, информатики, финансов и права. – М., 2003. – 53 с. (17)
(Методические материалы)

Значок файла Изучение студенческого коллектива с помощью графа «дружбы» в социальной сети (12)
(Статьи)

Значок файла Соколова Е.С., Бебнева Е.В. Бухгалтерская (финансовая) отчетность. / М.: Московский международный институт эконометрики, информатики, финансов и права, 2003. – 81 с. (18)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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