Заказ работы

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

Самые новые

Значок файла Неразрушающие методы контроля Ультразвуковая дефектоскопия отливок Методические указания к выполнению практических занятий по курсу «Метрология, стандартизация и сертификация» Специальность «Литейное производство черных и цветных металлов» (110400), специализации (110401) и (110403) (2)
(Методические материалы)

Значок файла Муфта включения с поворотной шпонкой кривошипного пресса: Метод. указ. / Сост. В.А. Воскресенский, СибГИУ. - Новокуз-нецк, 2004. - 4 с (2)
(Методические материалы)

Значок файла Материальный и тепловой баланс ваграночной плавки. Методические указания /Составители: Н. И. Таран, Н. И. Швидков. СибГИУ – Новокузнецк, 2004. – 30с (2)
(Методические материалы)

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

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

Значок файла Влияние времени перемешивания смеси на ее прочность в сыром состоянии и газопроницаемость: метод. указ./ Сост.: Климов В.Я. – СибГИУ: Новокузнецк, 2004. – 8 с. (2)
(Методические материалы)

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

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

Исчисление предикатов. Высказывания над предикатами. Кванторы. Теория классов

Вводится множество сущностей или предметов. Задается предметная переменная , которая содержит в качестве своих значений предметы  и т.д.

Х – конечное или бесконечное множество. Например, множество натуральных чисел. Само «Х» является уникальным именем.

Понятие сущности должно быть конструктивно, т.е. каждая сущность должна иметь либо алгоритм распознавания, либо алгоритм порождения. Например, каждое натуральное число «n» имеет десятичный (двоичный) код, отличающий его от другого числа.



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

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


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