Заказ работы

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

Самые новые

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

Значок файла Исследование особенностей распределения случайных событий с помощью шариковой модели: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ. - Новокузнецк, 2003, - 7 с., (1)
(Методические материалы)

Значок файла Деформация и рекристаллизация металлов: Метод. Указ. / Сост.: Л.А. Стародубцева, Д.Г. Татарников: СибГИУ. – Новокузнецк, 2002. - с., ил. (2)
(Методические материалы)

Значок файла Дефекты кристаллического строения металлов. Рекомендации к практическим занятиям. / Сост. В.П. Морозов, А.Ф. Софрошенков; СибГИУ. – Новокузнецк, 1999. - с. ил. (1)
(Методические материалы)

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

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

Значок файла Выбор и расчёт потребного количества оборудования: Ме-тодические указания к изучаемому курсу: “Оборудование и проекти-рование термических цехов” / Сост.А.Ф. Синявский: СибГИУ. - Новокузнецк , 2004. – 11с. (0)
(Методические материалы)

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

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

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

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

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



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

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


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