Заказ работы

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

Самые новые

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

Значок файла Семина О.А. Учебное пособие «Неличные формы глагола» для студентов 1 и 2 курсов, изучающих английский язык (2)
(Методические материалы)

Значок файла Семина О.А. Компьютеры. Часть 1. Учебное пособие для студентов 1 и 2 курсов, изучающих английский язык. /О.А. Семина./ – ГОУ ВПО «СибГИУ». – Новокузнецк, 2005. – 166с. (2)
(Методические материалы)

Значок файла З. В. Егорычева. Инженерная геодезия: Методические указания для студентов специальности 170200 «Машины и оборудование нефтяных и газовых промыслов» дневной и заочной формы обучения. – Красноярск, изд-во КГТУ, 2002. – 60 с. (1)
(Методические материалы)

Значок файла СУЧАСНИЙ СТАН ДЕРЖАВНОЇ ПІДТРИМКИ РОЗВИТКУ АГРАРНОГО СЕКТОРА УКРАЇНИ (2)
(Статьи)

Значок файла ОРГАНІЗАЦІЙНО-ФУНКЦІОНАЛЬНІ ЗАСАДИ ДЕРЖАВНОГО ПРОТЕКЦІОНІЗМУ В АГРОПРОМИСЛОВОМУ КОМПЛЕКСІ УКРАЇНИ (5)
(Статьи)

Значок файла Характеристика контрольно-наглядових повноважень центральних банків романо-германської системи права (4)
(Рефераты)

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

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

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

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

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

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

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

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

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

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

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



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

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


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