Заказ работы

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

Самые новые

Значок файла Определение показателя адиабаты воздуха методом Клемана-Дезорма: Метод, указ. / Сост.: Е.А. Будовских, В.А. Петрунин, Н.Н. Назарова, В.Е. Громов: СибГИУ.- Новокузнецк, 2001.- 13 (4)
(Методические материалы)

Значок файла ОПРЕДЕЛЕНИЕ ОТНОШЕНИЯ ТЕПЛОЁМКОСТИ ГАЗА ПРИ ПОСТОЯННОМ ДАВЛЕНИИ К ТЕПЛОЁМКОСТИ ГАЗА ПРИ ПОСТОЯННОМ ОБЪЁМЕ (3)
(Методические материалы)

Значок файла Лабораторная работа 8. ОПРЕДЕЛЕНИЕ ДИСПЕРСИИ ПРИЗМЫ И ДИСПЕРСИИ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ СТЕКЛА (8)
(Методические материалы)

Значок файла ОПРЕДЕЛЕНИЕ УГЛА ПОГАСАНИЯ В КРИСТАЛЛЕ С ПО-МОЩЬЮ ПОЛЯРИЗАЦИОННОГО МИКРОСКОПА Лабораторный практикум по курсу "Общая физика" (4)
(Методические материалы)

Значок файла Лабораторная работа 7. ПОЛЯРИЗАЦИЯ СВЕТА. ПРОВЕРКА ЗАКОНА МАЛЮСА (8)
(Методические материалы)

Значок файла Лабораторная работа № 7. ИЗУЧЕНИЕ ВРАЩЕНИЯ ПЛОЩАДИ ПОЛЯРИЗАЦИИ С ПОМОЩЬЮ САХАРИМЕТРА (6)
(Методические материалы)

Значок файла Лабораторная работа 6. ДИФРАКЦИЯ ЛАЗЕРНОГО СВЕТА НА ЩЕЛИ (9)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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