Заказ работы

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

Самые новые

Значок файла SQL: SELECT-ЗАПРОСЫ -АГРЕГИРОВАНИЕ И ГРУППОВЫЕ ФУНКЦИИ Методические рекомендации к лабораторной работе по курсу «Автоматизированные информационно-управляющие системы» для студентов специальности 2101 по направлению Т-02 (7)
(Методические материалы)

Значок файла SQL: ИЗВЛЕЧЕНИЕ ДАННЫХ - команда SELECT Методические рекомендации к лабораторной работе по курсу «Автоматизированные информационно-управляющие системы» для студентов специальности 2101 по направлению Т-02 (9)
(Методические материалы)

Значок файла Основы архитектурно-конструктивного проектирования Часть 2 «Основы архитектурного проектирования» (6)
(Методические материалы)

Значок файла Осипов Ю.К. Архитектурные конструкции. Часть I. Фундаменты. Учебное посо-бие / СибГИУ, Новокузнецк, 2003 – 130 стр. (7)
(Методические материалы)

Значок файла Ряды: методические указания /Сост.: М.С.Волошина, С.Ф.Гаврикова: СибГИУ. – Новокузнецк, 2005. – 42 с. (17)
(Методические материалы)

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

Значок файла Предел. Непрерывность: Метод. указ. / Сост.: Л.А. Кильман: СибГИУ. – Новокузнецк, 2005. - с. (12)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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