Заказ работы

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

Самые новые

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

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

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

Значок файла Правоведение: Рекомендации к самостоятельному изучению дисциплины «Правоведение» студентами очной и заочной форм обучения /сост.: Н.Е. Анохина: СибГИУ.- Новокузнецк, 2002.- 7с (3)
(Методические материалы)

Значок файла Основные экологические термины: Метод. разработка / Сост.: С.А.Лежава, Е.Б. Серебряная: СибГИУ. – Новокузнецк, 2000.- 32 с (3)
(Методические материалы)

Значок файла НОРМАТИВНО-ПРАВОВОЕ ОБЕСПЕЧЕНИЕ ОХРАНЫ ТРУДА Методическая разработка для студентов очного и заочного обучения всех специальностей (13)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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

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



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

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


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