Заказ работы

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

Самые новые

Значок файла Построение однофакторных регрессионных моделей для прогноза Мето-дические указания к выполнению практических занятий по дисциплине «Планирование на предприятии» Специальность «Экономика и управле-ние на предприятии (горной промышленности и геологоразведки)» (060800) (4)
(Методические материалы)

Значок файла Оценка основных метрологических характеристик: Метод. указ. / Сост.: Ю.В. Пожидаев, Н.В. Ознобихина: СибГИУ. – Новокузнецк, 2003. – 31 с., ил.12 (5)
(Методические материалы)

Значок файла ОПРЕДЕЛЕНИЕ ПЛОЩАДИ ПОВЕРХНОСТЕЙ КОНТАКТА ФАЗ В СИСТЕМАХ МЕТАЛЛ-ШЛАК-ГАЗ В УСЛОВИЯХ ЗНАЧИТЕЛЬНОЙ ИХ ДЕФОРМАЦИИ МЕТОДАМИ ФИЗИЧЕСКОГО МОДЕЛИРОВАНИЯ (3)
(Методические материалы)

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

Значок файла НАГРЕВ СТАЛЬНОЙ ЗАГОТОВКИ ПРИ ПО-СТОЯННОЙ ТЕМПЕРАТУРЕ ПЕЧИ Мето-дические указания к лабора-торной работе по основам теп-ломассообмена (6)
(Методические материалы)

Значок файла Варианты задач по курсу “Физика”. Часть 1: Механика, молекулярная физика. Часть 2: Электростатика, магнетизм. Метод. указ. /Сост.: Шарафутдинов Р.Ф., Ерилова Т.В.: ГОУ ВПО “СибГИУ”.- Новокузнецк, 2003. -45 с (2)
(Методические материалы)

Значок файла МЕТОДЫ ТЕРМИЧЕСКОГО АНАЛИЗА Методические ука-зания к выполнению лабораторной работы по дисциплине «Ме-тоды и средства измерений, испытаний и контроля». Специальность «Стандартизация и сертификация» (072000) (7)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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