Заказ работы

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

Самые новые

Значок файла Выемочно-погрузочные работы и транспортирование горной массы карьеров: Лабораторный практикум / Сост. Б.П. Караваев; ГОУ ВПО «СибГИУ». – 2003 (8)
(Методические материалы)

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

Значок файла Веревкин Г.И. Программа и методические указания по преддипломной практике. Методические указания. СибГИУ. – Новокузнецк, 2002. – 14 с. (5)
(Методические материалы)

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

Значок файла Определение величины опрокидывающего момента кон-вертера (6)
(Методические материалы)

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

Значок файла Методические указания по дипломному и курсовому проектированию к расчету материального баланса кислородно-конвертерной плавки при переделе фосфористого чугуна с промежуточным удалением шлака / Сост.: В.А._Дорошенко, И.П _Герасименко: ГОУ ВПО «СибГИУ». – Новокузнецк, 2003. – с. (10)
(Методические материалы)

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

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

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

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

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



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

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


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