Заказ работы

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

Самые новые

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

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

Значок файла ТЕОРИЯ ВЕРОЯТНОСТЕЙ И МАТЕМАТИЧЕСКАЯ СТАТИСТИКА. Методические указания и индивидуальные задания по дисциплине «Высшая математика» для заочников (3)
(Методические материалы)

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

Значок файла Рынок ценных бумаг: Программа, вопросы для самопроверки, экзаменационные вопросы по дисциплинам «Рынок ценных бумаг и биржевое дело», «Операции с ценными бумагами», «Рынок ценных бумаг»: Метод. указ./ Сост.: Е.В. Иванова, Ю.В.Лунева: СибГИУ. – Новокузнецк, 2001. – 49 с. (1)
(Методические материалы)

Значок файла Рынок ценных бумаг: задания и методические указания по выполнению контрольных работ по дисциплинам «Рынок ценных бумаг и биржевое дело», «Операции с ценными бумагами», «Рынок ценных бумаг»: Метод. указ./ Сост.: Е.В. Иванова, Ю.В.Лунева: СибГИУ. – Новокузнецк, 2002. – 50 с. (2)
(Методические материалы)

Значок файла РЕКОМЕНДАЦИИ К ВЫПОЛНЕНИЮ КОНТРОЛЬНЫХ РАБОТ ПО КУРСУ «ВЫСШАЯ МАТЕМАТИКА» 2 семестр для студентов-заочников (3)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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