Заказ работы

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

Самые новые

Значок файла Методические рекомендации по оценке статистических характери-стик результатов эксперимента /Сост.: Т.Н. Осколкова: СибГИУ. - Новокузнецк, 2003.- 9 с. (3)
(Методические материалы)

Значок файла Оценка дисперсии в задачах статистического контроля качества: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ». - Новокузнецк, 2003, - 11 с. (2)
(Методические материалы)

Значок файла Определение индексов возможности процесса при статистиче-ском управлении качеством: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ». - Новокузнецк, 2003, - 9 с. (3)
(Методические материалы)

Значок файла Методы непосредственного вычисления вероятностей случайных событий: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ». - Новокузнецк, 2003, - 9 с. (4)
(Методические материалы)

Значок файла Материаловедение: Методическое указание к изучаемому курсу: «Материаловедение. Неметаллические материалы» / Сост. И.А. Синяв-ский СибГИУ. - Новокузнецк , 2004. – 65с. (4)
(Методические материалы)

Значок файла Исследование зависимости между парами случайных переменных: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ». - Новокузнецк, 2003, - 9 с (2)
(Методические материалы)

Значок файла Исследование особенностей распределения выборочных средних арифметических: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ. - Новокузнецк, 2003, - 7 с., (2)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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