Заказ работы

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

Самые новые

Значок файла Основы микропроцессорной техники: Задания и методические указания к выполнению курсовой работы для студентов специальности 200400 «Промышленная электроника», обучающихся по сокращенной образовательной программе: Метод. указ./ Сост. Д.С. Лемешевский. – Новокузнецк: СибГИУ, 2003. – 22 с: ил. (5)
(Методические материалы)

Значок файла Организация подпрограмм и их применение для вычисления функций: Метод. указ./ Сост.: П.Н. Кунинин, А.К. Мурышкин, Д.С. Лемешевский: СибГИУ – Новокузнецк, 2003. – 15 с. (3)
(Методические материалы)

Значок файла Оптоэлектронные устройства отображения информации: Метод. указ. / Составители: Ю.А. Жаров, Н.И. Терехов: СибГИУ. –Новокузнецк, 2004. – 23 с. (3)
(Методические материалы)

Значок файла Определение частотных спектров и необходимой полосы частот видеосигналов: Метод указ./Сост.: Ю.А. Жаров: СибГИУ.- Новокузнецк, 2002.-19с., ил. (2)
(Методические материалы)

Значок файла Определение первичных и вторичных параметров кабелей связи: Метод. указ./ Сост.: Ю. А Жаров: СибГИУ. – Новокузнецк, 2002. – 18с., ил. (2)
(Методические материалы)

Значок файла Операционные усилители: Метод. указ. / Сост.: Ю. А. Жаров: СибГИУ. – Новокузнецк, 2002. – 23с., ил. (3)
(Методические материалы)

Значок файла Моделирование электротехнических устройств и систем с использованием языка Си: Метод указ. /Сост. Т.В. Богдановская, С.В. Сычев (8)
(Методические материалы)

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

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

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

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

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

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

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

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

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

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

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



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

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


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