Заказ работы

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

Самые новые

Значок файла Производственная специальная практика: Метод. указ. и рабочая программа / Сост.: Н.И. Швидков, В.Б. Деев, А.В. Феоктистов: СибГИУ. – Новокузнецк, 2002. – 14 с (0)
(Методические материалы)

Значок файла Программа и методические указания по проведению преддипломной практики на металлургических предприятиях.: Метод. указ. / Сост.: И.К.Коротких, А.А.Усольцев, А.И.Куценко: СибГИУ - Новокузнецк, 2004- 20 с (0)
(Методические материалы)

Значок файла Программа и методические указания по проведению производственной практики на металлургических предприятиях. : Метод. указ / Сост.: И.К. Коротких, Б.А. Кустов, А.А. Усольцев, А.И. Куценко: СибГИУ - Но-вокузнецк 2003- 22 с. (0)
(Методические материалы)

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

Значок файла Преддипломная практика: Метод. указ. и рабочая программа / Сост.: Н.И. Швидков, В.Б. Деев, А.В. Феоктистов: СибГИУ. – Новокузнецк, 2002. – 9 с. (0)
(Методические материалы)

Значок файла Неразрушающие методы контроля Ультразвуковая дефектоскопия отливок Методические указания к выполнению практических занятий по курсу «Метрология, стандартизация и сертификация» Специальность «Литейное производство черных и цветных металлов» (110400), специализации (110401) и (110403) (6)
(Методические материалы)

Значок файла Муфта включения с поворотной шпонкой кривошипного пресса: Метод. указ. / Сост. В.А. Воскресенский, СибГИУ. - Новокуз-нецк, 2004. - 4 с (9)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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