Заказ работы

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

Самые новые

Значок файла Конструкции и проектирование электрических печей: Метод.указ. / Сост.: И.Д. Рожихина: СибГИУ. – Новокузнецк, 2003. – 26 с (2)
(Методические материалы)

Значок файла Комплекс упражнений для студентов, занимающихся атлетической гимнастикой / сост: В.И. Пикалов; СибГИУ – Новокузнецк, 2003 – 32с (2)
(Методические материалы)

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

Значок файла Колебания и волны. Варианты задач по дисциплине “Физика”. /Сост.: Шарафутдинов Р.Ф., Ерилова Т.В.: ГОУ ВПО «СибГИУ».- Новокузнецк, 2003. – 48 (6)
(Методические материалы)

Значок файла Квантовые явления и физика конденсированного состояния. Варианты задач по дисциплине “Физика”. / Сост.: Шарафутдинов Р.Ф., Ерилова Т.В.: ГОУ ВПО «СибГИУ».- Новокузнецк, 2004. – 35с (3)
(Методические материалы)

Значок файла Квантовые явления и физика конденсированного состояния. Варианты задач по дисциплине “Физика”. / Сост.: Шарафутдинов Р.Ф., Ерилова Т.В.: ГОУ ВПО «СибГИУ».- Новокузнецк, 2004. – 36с (3)
(Методические материалы)

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

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

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

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

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

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



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

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


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