Описание - множество
Cтраница 2
Трудно придумать более удобное описание множества, не правда ли. [16]
Такой способ описания множеств заставляет нас использовать термы, в которых присутствуют связанные переменные и формулы: в терме х ( р ( х) переменная х связана, а фигурные скобки играют здесь роль квантора с тем лишь отличием, что в итоге мы получаем не формулу, а терм. Поскольку языки первого порядка имеют несколько преимуществ ( с точки зрения простоты их изучения) перед остальными языками, то в § 1.1 мы построим теорию множеств в языке первого порядка - без использования подобных термов. [17]
С проблемой описания множества решений уравнений в группах тесно связана проблема классификации эпиморфизмов, которая имеет связи также с некоторыми вопросами топологии. [18]
Настоящая Энциклопедия содержит описание множества вопросов и опасностей, на которые необходимо обращать внимание, а также перечень различного персонала, требующегося для реализации комплексной программы по безопасности и гигиене труда. [19]
В литературе имеются описания множества конструкций криостатов, пригодных для экспериментов при температурах от нескольких сотых до нескольких сотен градусов. Исчерпывающий обзор криостатов для мессба-уэровских экспериментов был сделан Кальвиусом [176] на Первом симпозиуме по методологии эффекта Мессбауэра в Нью-Йорке в 1965 г. Ниже мы попытаемся сформулировать общие требования, предъявляемые к устройству сосудов Дюара, а также дать сводку наиболее важных сведений, относящихся ( как с криогенной, так и с механической точек зрения) к конструкциям криостатов для мессбауэровских спектрометров и измерению температур. [20]
 |
Типовая структура ПАСУ. [21] |
Функциональная часть содержит описание множества взаимосвязанных задач управления, охватывающих все виды производственно-хозяйственной деятельности. [22]
В полученных выше описаниях множеств необратимых элементов кольца Кр каждый из параметров hi принимает два значения. [23]
Надо отметить, что описание множества Q обычно не представляет трудностей: это просто множество всех возможных исходов эксперимента. Но задача определения Р ( о) часто яз-ляется трудной. [24]
Решению проблем упорядочения и описания множества альтернатив и связей между ними в конкретных приложениях посвящена специальная область знания, которую по аналогии с наукой описания множеств животных и растений в биологии можно назвать систематикой. [25]
Поставим задачу: дать описание множества & - ( 7-функций. [26]
Структурная модель предназначена для описания множества взаимосвязанных элементов системы ( подсистемы) с указанием временных отношений их следования. Если под элементами системы подразумевать объекты проектирования, то эта модель должна отразить состав объектов, проектируемых в данной системе ( подсистеме), а также порядок их последовательного рассмотрения для выделения и классификации тех групп задач, которые решаются на различных уровнях при участии проектировщиков разных специальностей. [27]
 |
Взаимосвязь ППП функциональной части САПР АСУП. [28] |
Настоящий параграф и посвящен описанию множества альтернатив каждого функционального пакета, входящего в систему. Разумеется, здесь нашли отражение не все возможные экономико-математические модели, которые можно вытащить из ППП, так как привести полный перечень таких моделей просто невозможно. Поэтому альтернативные модели такого рода следует рассматривать как пример, иллюстрацию нестандартного использования возможностей предлагаемых ППП. [29]
Основной логической формулой при описании множеств является формула вида х е у, где переменные х у могут быть заменены любыми другими переменными. Из основной, а далее мы будем называть ее атомарной, формулы можно при помощи логических связок и кванторов строить новые формулы, описывающие различные свойства множеств. [30]
Страницы: 1 2 3 4