квантор
81ОБРАЩЕНИЕ конверсия () — ОБРАЩЕНИЕ конверсия (в логике) в силлогистике операция преобразования суждений видов: Все S суть Р , Ни одно S не есть Р , Нек рые S суть P , связанная со взаимным обменом местами терминов S и Р. Обычно О. рассматривается как непосредственное… …
82ОБЪЁМНОСТИ ПРИНЦИП — или принцип экстенсиональности (от лат. extentio протяжение) один из главных принципов, лежащих в основе теории множеств: два множества (или класса), состоящие из одних и тех же элементов (т.е. имеющие один и тот же объем), равны (совпадают). При …
83ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ — парадоксы (антиномии), обусловленные неограничиваемым употреблением нек рых лингвистич. и семантич. понятий, напр. истинный , самоприменимый или самоотносимый , определяемый и др. П. с. называются также иногда синтаксическими или эпистемоло г и ч …
84ПРЕДВАРЁННАЯ ФОРМА — нормальная форма представления формул предикатов исчисления, имеющая (в общем случае) вид: ФОРМА > где Qι (0 ≤ ι ≤ n) – квантор общности (∀) или существования (∃); (...) формула, не содержащая кванторов и находящаяся в области действия каждого… …
85РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …
86СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… …
87Мариуполь — (в 1948 1989 Жданов), город (с 1779) в Украине, порт на Азовском море. Железнодорожная станция. 510 тыс. жителей (1996). 2 металлургических комбината (в том числе «Азовсталь»); машиностроительный (заводы: тяжёлого машиностроения,… …
88ЗБАРАЖ — ЗБАРАЖ, город (с 1939) на Украине, Тернопольская область (см. ТЕРНОПОЛЬСКАЯ ОБЛАСТЬ). Население 14,6 тыс человек (2001). Расположен на реке Гнезна, 23 км к северо востоку от Тернополя (см. ТЕРНОПОЛЬ). Железнодорожная станция. Заводы: «Квантор»,… …
89Список советских компьютерных систем — Содержание 1 1950 е  начало 1970 х 2 Конец 1970 х  начало 1990 х …
90КР580ВМ80А — Центральный процессор …
