Заказ работы

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

Самые новые

Значок файла Основы микропроцессорной техники: Задания и методические указания к выполнению курсовой работы для студентов специальности 200400 «Промышленная электроника», обучающихся по сокращенной образовательной программе: Метод. указ./ Сост. Д.С. Лемешевский. – Новокузнецк: СибГИУ, 2003. – 22 с: ил. (4)
(Методические материалы)

Значок файла Организация подпрограмм и их применение для вычисления функций: Метод. указ./ Сост.: П.Н. Кунинин, А.К. Мурышкин, Д.С. Лемешевский: СибГИУ – Новокузнецк, 2003. – 15 с. (2)
(Методические материалы)

Значок файла Оптоэлектронные устройства отображения информации: Метод. указ. / Составители: Ю.А. Жаров, Н.И. Терехов: СибГИУ. –Новокузнецк, 2004. – 23 с. (2)
(Методические материалы)

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

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

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

Значок файла Моделирование электротехнических устройств и систем с использованием языка Си: Метод указ. /Сост. Т.В. Богдановская, С.В. Сычев (7)
(Методические материалы)

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

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

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

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

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



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

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


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