Заказ работы

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

Самые новые

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

Значок файла Методические указания по дипломному и курсовому проектированию к расчету материального баланса кислородно-конвертерной плавки при переделе фосфористого чугуна с промежуточным удалением шлака / Сост.: В.А._Дорошенко, И.П _Герасименко: ГОУ ВПО «СибГИУ». – Новокузнецк, 2003. – с. (8)
(Методические материалы)

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

Значок файла Исследование особенностей гидродинамики конвертерной ванны: Метод. указ. / Сост. Е.В. Протопопов, Н.А. Чернышева: СибГИУ. – Новокузнецк, 2003. – 16 с., 4 ил (8)
(Методические материалы)

Значок файла Изучение особенностей прокатки сортовых профилей. Метод. указ. / Сост.: А.Р. Фастыковский, В.Н. Кадыков, В.М. Нефедов: СибГИУ. – Новокузнецк, 2004. – 18 с (7)
(Методические материалы)

Значок файла ХИМИЯ ДЛЯ СТУДЕНТОВ ЗАОЧНОГО ФАКУЛЬТЕТА Методические рекомендации, программа и контрольные задания для студентов заочного факультета (8)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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

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



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

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


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