Заказ работы

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

Самые новые

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

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

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

Значок файла Правоведение: Рекомендации к самостоятельному изучению дисциплины «Правоведение» студентами очной и заочной форм обучения /сост.: Н.Е. Анохина: СибГИУ.- Новокузнецк, 2002.- 7с (9)
(Методические материалы)

Значок файла Основные экологические термины: Метод. разработка / Сост.: С.А.Лежава, Е.Б. Серебряная: СибГИУ. – Новокузнецк, 2000.- 32 с (13)
(Методические материалы)

Значок файла НОРМАТИВНО-ПРАВОВОЕ ОБЕСПЕЧЕНИЕ ОХРАНЫ ТРУДА Методическая разработка для студентов очного и заочного обучения всех специальностей (20)
(Методические материалы)

Значок файла Практикум по курсу «Экология» и рекомендации к составлению раз-дела «Экологичность проекта» пояснительной записки при дипломном проектировании для студентов всех специальностей (17)
(Методические материалы)

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

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

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

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

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



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

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


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