Заказ работы

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

Самые новые

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

Значок файла Банковское дело: Программа, вопросы для самопроверки, экзаменационные вопросы по дисциплине «Банковское дело»: Метод. указ./ Сост.: Е.В. Иванова: СибГИУ. – Новокузнецк, 2001. – 49 с. (26)
(Методические материалы)

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

Значок файла Усилители электрических сигналов: Метод. указ./ Сост.: Ю.А.Жаров: СибГИУ. – Новокузнецк, 2002. – 21с (24)
(Методические материалы)

Значок файла Управление качеством: Методические указания к выполнению раздела «Управление качеством» дипломного проекта для студентов специальностей 180400 «Электропривод и автоматика промышленных установок и технологических комплексов» и 200400 «Промышленная электроника» (27)
(Методические материалы)

Значок файла Методические указания и задания к контрольной работе по дисци-плине «Теория бухгалтерского учета». / Сост. Т.А Залышкина, О.А. Надеева.- Новокузнецк. - СибГИУ, 2003. – 31с (29)
(Методические материалы)

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

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

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

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

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

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



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

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


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