Заказ работы

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

Самые новые

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

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

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

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

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

Значок файла Дифференциальные уравнения и их системы./ Составители: Н.Г.Бердова, А.Н.Береснев, В.И.Зимин, Л.М.Калинина, И.В. Касымова, В.А.Панамарев, О.Л.Прошина, К.Ю.Сарычев, Л.Н.Хохлова. – ГОУ ВПО «СибГИУ», Новокузнецк, 2005.-33с. (9)
(Методические материалы)

Значок файла Дифференциальные уравнения: Метод. указ. / сост. В.В. Варламов; ГОУ ВПО «СибГИУ». – Новокузнецк (10)
(Методические материалы)

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

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

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

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

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



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

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


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