аксиоматизируемый класс
-
Аксиоматизируемый Класс
Класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели...
Математическая энциклопедия
-
класс
Кузнецы. 1 класс во всяком десятке десятники. 2 класс ординарные кузнецы. 3 класс работники у кузнецов
Словарь галлицизмов русского языка
Класс (тираж) лотереи. Наст. Гранат. Мы разделим салаты на классы. 1773. ТВЭО 25 75.
Рыбы составляют класс хордовых. Класс папоротниковых. БАС-1.
РЦ 1771: класс (общий для всех); СЛ. 18: клас(с) 1724.
IV.
КЛАСС IV classe f. Межд.
Спектакль класс! МК 25. 5. 1993. Вот это класс. МК 25. 5. 1993. // Розина 1999.
-
класс
Один из высших систематических таксонов, объединяющий родственные отряды или порядки.
Микробиология. Словарь терминов
-
класс
Класс млекопитающих. Класс земноводных. Класс двудольных растений.
Малый академический словарь
в) мат.
Рабочий класс. Класс капиталистов. Антагонистические классы. Борьба классов.
3.
Третий класс. Ученик девятого класса.
Класс рояля.
классы, -ов).
-
Класс
совокупностей объектов, обладающих каким-либо определенным свойством или признаком (напр., в алгебре-классы
Математическая энциклопедия
совокупности, элементами которых являются множества (напр., в рекурсивной теории — перечислимые классы
совокупность оказывается собственно К., а не множеством в узком смысле (напр., в алгебре — примитивные классы
что элементами К. и множеств, рассматриваемых в данной теории, могут быть только множества, но не классы
погружения класса С 2 в Е 3.
-
КЛАСС
КЛАСС (от лат. classis — разряд, группа) — англ. class; нем. Klasse. 1.
Социологический словарь
КЛАСС СОЦИАЛЬНЫЙ. 3.
зависимости от к-рых определяют место предмета в ряду себе подобных (напр., драгоценные камни первого класса
-
КЛАСС В СЕБЕ
КЛАСС "В СЕБЕ" — англ. class "in-itself"; нем. Klasse "an sich". По К.
Социологический словарь
Марксу — определенная стадия развития класса, объективно возникшего, но еще не осознавшего своих особых
-
КЛАСС ДЛЯ СЕБЯ
КЛАСС "ДЛЯ СЕБЯ" — англ. dass "for-itself"; нем. Klasse "fur sich". По К.
Социологический словарь
Марксу — определенная стадия развития соц. класса — активного субъекта истор. процесса, осознающего свои
-
класс
Класс/.
Морфемно-орфографический словарь
-
Классом
(Claesson)
Большая советская энциклопедия
Стиг (р. 5.2.1917, Кумла), шведский физико-химик, член Королевской шведской АН (1946). В 1937 окончил Упсальский университет. Работает в этом же университете (с 1946 профессор, с 1949 директор Института физической химии).
-
Классы
существовали классы-сословия, а в последнем классы бессословные» (Ленин В.
Большая советская энциклопедия
Ядро рабочего класса составляет фабрично-заводской пролетариат.
слои, которые не образуют единого класса.
И., Общественные классы, 2 изд., Л., 1923; Семенов В.
и классы, М., 1969; Грант Э., Социализм и средние классы, пер. с англ., М., 1960; Варга Е., Капитализм
-
Класс
элемент класса А»).
Большая советская энциклопедия
и только тех элементов, которые содержатся в обоих классах А и В; объединение классов А и В — класс
которые не входят в класс А.
Логика классов).
Классы.
-
класс
орф.
Орфографический словарь Лопатина
класс, -а
-
классы
орф.
Орфографический словарь Лопатина
классы, -ов (игра)
-
класс
В различных классификациях: категория, подразделение.
Толковый переводоведческий словарь
Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003
-
класс
КЛАСС (от лат. classis — разряд, группа), одна из высших таксономич. категории (рангов) в систематике
Ветеринарный энциклопедический словарь
-
класс
КЛАСС
Словарь спортивных терминов
- класс "470". Швертбот-двойка. Олимпийский класс с 1976 г.
м над уровнем моря.
- класс дистанции.
Заключение о дистанции всесоюзного класса, а также классов мастеров спорта и кандидатов в мастера спорта
класс "Звездный".
Олимпийский класс с 1960 г.
-
Класс
Таксономическая категория, рангом выше отряда и ниже типа.
Физическая антропология
-
класс
• высокий ~
Словарь русской идиоматики
-
Класс
Класс-комплект — учащиеся одного или нескольких (до 4) классов, занимающиеся с одним учителем в малокомплектной
Педагогический терминологический словарь
Начальное обучение наиболее целесообразно организовывать только в отдельных классах.
-
класс
КЛАСС, -а, м.
Толковый словарь русского арго
1. Что-л. отличное, высококачественное.
2. в зн. межд. Выражает положительную эмоцию.
См. также:
першинг класс
-
класс
КЛАСС — одна из высших таксономических (систематических) категорий растений.
Ботаника. Словарь терминов
-
класс
см. >> комната, разряд, сословие
Словарь синонимов Абрамова
-
класс
класса, чему? классу, (вижу) что? класс, чем? классом, о чём? о классе; мн. что?
Толковый словарь Дмитриева
классы, (нет) чего? классов, чему? классам, (вижу) что? классы, чем? классами, о чём? о классах
1.
Класс рыб. | Класс земноводных.
2.
Рабочий класс. | Класс интеллигенции. | Средний класс — основа малого бизнеса.
3.
Поступить в первый класс. | Младшие, старшие классы. | Ученик выпускного класса.
4.
-
класс
Класс буквально — «созванные, собранные» (для решения своих «групповых» дел).
Этимологический словарь Шанского
-
класс
(classis), одна из высших таксономич. категорий в биол. систематике. К. объединяет родственные отряды (животных) или порядки (растений). Напр., отряды грызунов, насекомоядных, хищных и др. объединяют в К. млекопитающих.
Биологический энциклопедический словарь
-
КЛАСС
КЛАСС, в биологии — ступень КЛАССИФИКАЦИИ живых организмов, расположенная между ТИПОМ и ОТРЯДОМ.
Научно-технический словарь
Названия классов пишут по-латыни с заглавной буквы, например, Mammalia — это класс млекопитающих.
-
класс
Примерами классов могут быть у растений – мхи, плауновые, саговниковые, хвойные, у грибов – сумчатые
Биология. Современная энциклопедия
Классы иногда разбивают на более мелкие единицы – подклассы.
-
Класс
(classis)
Медицинская энциклопедия
в биологии — таксономическая категория, объединяющая родственные отряды животных или порядки растений.
-
класс
Плавать на судах различных классов.
Толковый словарь Кузнецова
Ученик девятого класса. Ученики младших классов. // кого-чего.
Просторные, светлые классы.
4.
Каюта первого класса. Ехать в третьем классе.
5. Степень некоторых гражданских званий.
Начертить классы. Играть в классы.
◁ Классный; Классовый (см.).
-
класс
[ас], класса, м. [латин. classis]. 1.
Большой словарь иностранных слов
Рабочий класс. 2.
Пианисты класса Игумнова. Класс декламации.
Показать класс. 9.
Билет первого класса. Вагон третьего класса. 11.
-
класс
[ас], класса, ·муж. (·лат. classis).
Толковый словарь Ушакова
1.
Рабочий класс. Ликвидировать кулака как класс.
2.
Пианисты класса Игумнова. Класс декламации.
«Было воскресенье, и классов не было.» Достоевский. Ходить в классы (на уроки).
| только мн.
Билет первого класса. Вагон третьего класса.
11.
-
класс
класс
Толковый словарь Ефремовой
I м.
-
классы
классы
Толковый словарь Ефремовой
I мн. устар.
Специальная школа; училище.
II мн. устар.
-
КЛАСС
Все опционы на покупку и продажу одной и той же ценной бумаги (одного вида ценных бумаг).
Экономический словарь терминов
-
КЛАСС
КЛАСС — в логике и математике — то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность
Большой энциклопедический словарь
Предметы, образующие класс, называются его элементами; понятие класса возникает как абстракция от природы
Абстрактные классы и операции над ними изучаются в логике классов и в ее математической модификации —
В классы (иногда — сначала в подклассы) объединяют родственные отряды (животных) или порядки (растений
Напр., отряды грызунов, насекомоядных, хищных и т. д. составляют класс млекопитающих.
-
класс
Начиная с эпохи Петра I; см. Смирнов 142. Из франц. classe от лат. classis "разряд, сословие, порядок".
Этимологический словарь Макса Фасмера
-
класс
сущ., кол-во синонимов...
Словарь синонимов русского языка
-
классы
сущ., кол-во синонимов: 1 игра 318
Словарь синонимов русского языка
-
Классен, В. Я.
Классен, В. Я.
Большая биографическая энциклопедия
автор книги о Лассале (СПб., 1896).
{Венгеров}
-
класс
КЛАСС м. отдел, раздел, отделенье, разряд, порядок, круг однородного; || степень; || сословие.
Толковый словарь Даля
Животное царство делится на классы, а классы на разряды, разряды же на роды, состоящие из видов.
Чины в России распределены на 14 классов. || Ученики в заведеньях делятся на классы, для облегченья преподаванья
как время ученья, так и самые учебные комнаты называются классами.
Классный, к классу в различных знач. относящ. Классное ученье, противополагается одиночному.
-
Классен
(Johns Classen) — немецкий филолог-эллинист (1805-1892). Важную услугу изучению Фукидида К. оказал изданием "Thukydides" (Б., 1862-78). В издании К. особенно ценны примечания к тексту, грамматические и реальные.
Энциклопедический словарь Брокгауза и Ефрона
-
КЛАСС
КЛАСС (лат. classls — разряд, группа) — конечная или бесконечная совокупность выделенных по некоторому
Новейший философский словарь
-
класс
Классовое общество (разделённое на классы).
Толковый словарь Ожегова
2.
КЛАСС2, а, м.
1.
Ресторан первого, второго класса. Классы морских судов.
3.
Начальные, старшие классы. Ученик первого класса.
Окончить консерваторию по классу вокала.
4. Школьная комната для занятий. Просторные классы.
Уборка класса.
5. Степень, уровень чего-н., ранг (в 1 знач.). Специалист высшего класса.
-
классы
КЛАССЫ, ов. Детская играпрыжки по расчерченным на земле клеткам.
Толковый словарь Ожегова
-
КЛАССЫ КРИСТАЛЛОВ
То же, что точечные группы симметрии (см. (см. СИММЕТРИЯ КРИСТАЛЛОВ).
Физический энциклопедический словарь
-
КЛАССЫ ТОЧНОСТИ
Средств измерений, обобщённая хар-ка средств измерений (мер, измерительных приборов), служащая показателем установленных для них гос. стандартами пределов осн. и дополнит. погрешностей и др. параметров, влияющих на точность. Напр.
Физический энциклопедический словарь
-
ТОЧНОСТИ КЛАССЫ
КЛАССЫ ТОЧНОСТИ).
Физический энциклопедический словарь
-
Примитивный Класс
Алгебраических систем — то же, что многообразие (см. Алгебраических систем многообразие).
Математическая энциклопедия
-
Поста Класс
Класс А 1 состоит из всех монотонных ф. а. л.; . Класс D3 состоит из всех ф. а. л. ; .
Математическая энциклопедия
Класс L1 состоит из всех ф. а. л. f(x1, х 2, . . ., х n) = х 1+х 2+. . .
образованная этими классами, изображена на рисунке.
На нем классы изображены точками.
классе (т. е. между ними нет промежуточных классов).
-
Отображении Классы
Важнейшие классы непрерывных отображений, рассматриваемые в общей топологии и ее приложениях.
Математическая энциклопедия
Дан класс пространств , целесообразность выделения к-рого не вызывает сомнений, и пусть — нек-рый класс
при всевозможных отображениях из класса .
из класса .
Особую роль среди различных классов непрерывных отображений занимает класс, факторных отображений.
-
Орлича Класс
Множество функций LM, удовлетворяющее условию где G — ограниченное замкнутое множество в , — мера Лебега, М(и) — четная выпуклая функция, возрастающая при положительных и, и Такие функции наз. N-функциями. Функция М(и).
Математическая энциклопедия
-
Чжэня Класс
Характеристический класс, определенный для комплексных векторных расслоений.
Математическая энциклопедия
Напр., ряд определяет характеристич. класс с рациональными коэффициентами, наз. классом Тодда и обозначается
отличаются от классов, построенных М.
Стонг [1] определил классы к-рые удовлетворяют условию Расхождение вызвано тем, что у Стонга С классами
Образ класса в U2d(MU) определяет когомологическую операцию в U* -теории.
-
Харди Классы
Hp, р> 0,-классы аналитич. в круге функций f(z), для к-рых где -нормированная мера Лебега на окружности
Математическая энциклопедия
К X. к. причисляют также класс ограниченных аналнтич. функций в D. Введенные Ф.
Если то (обратное верно не для любой аналитич. ции f(z))и Классы Н р, — это в точности классы аналитических
Однолистные функции в Dпринадлежат всем классам Н р, р <1/2.
задач; в случае жордановых областей Gсо спрямляемой границей последние классы наз. классами Смирнова
-
Характеристический Класс
Естественное сопоставление с каждым расслоением (как правило, векторным) определенного типа нек-рого класса
Математическая энциклопедия
расслоения, индуцированного отображением совпадает с образом при X. к. расслоения над В. многообразия — класс
к-рый наз. первым классом IIIтифеля — Уитни расслоения здесь — когомологий с коэффициентами в пучке
когомологий базы В, наз. первым классом Чжэня расслоения и обозначаемый Иными словами, если -функции
Связывающее отображение соответствующей когомологич. последовательности наз. вторым классом Штифеля —
-
Противоречивый Класс
Класс Кформул языка узкого исчисления предикатов (УИП) такой, что существует такая формула j, что средствами
Математическая энциклопедия
-
Понтрягина Класс
Характеристический класс).
Математическая энциклопедия
Другой важный для приложений характеристич. класс получается, если положить Класс, задаваемый четным
классом. Аналогично, А-классом наз. характеристич. класс, задаваемый рядом Пf(xi). где .
Обобщенные классы Понтрягина.
Характеристич. классы pi в K- теорииопределяются следующей формулой: где s=t-t2, здесь gi- — Чжзня классы
-
Фундаментальный Класс
образуют базис группы С п(X), тем самым определена n-мерная коцепь из Эта коцепь является коциклом, класс
Математическая энциклопедия
когомологий к-рого и есть Ф. к. 2) Ф. к., ориентационный класс, связного ориентируемого n-мерного многообразия
Если многообразие Мтриангулируемо, то Ф. к. представляет собой класс гомологии цикла, являющегося суммой
-
Уитни Класс
См. Штифеля — .
Математическая энциклопедия
-
аксиоматизируемый класс
Мат. axiomatizable classПолный русско-английский словарь
-
аксиоматизируемость
Axiomatizability, axiomatizationПолный русско-английский словарь
-
аксиоматизируемый
AxiomatizableПолный русско-английский словарь
-
универсальная аксиоматизируемость
Мат. universal axiomatizabilityПолный русско-английский словарь
-
вычислительная аксиоматизируемость
Мат. calculable axiomatizabilityПолный русско-английский словарь
-
аксиоматизируемая теория
Мат. axiomatizable theorПолный русско-английский словарь
-
аксиоматизируемый тип
Мат. axiomatizable typeПолный русско-английский словарь
-
класс классов
Мат. class of classesПолный русско-английский словарь
-
класс
м.Большой русско-испанский словарь
1) (социальная группа) clase f
рабочий класс — clase obrera
борьба классов — lucha de clases
2) (группа
разряд) clase f
класс млекопитающих — clase de mamíferos, mamíferos m pl
команда класса "А" спорт.
equipo de la clase "A"
каюта первого класса — camarote de primera clase
3) (в школе) clase f, grado
m
ученик пятого класса — alumno del quinto grado
4) (школьная комната) clase f, aula f
5) уст.
чин, ранг) categoría f, grado m, rango m
••
показать класс разг. — demostrar la clase
-
класс
см. делиться на категорииРусско-английский научно-технический словарь
-
класс
I. м sinif; борьба классов siniflər mübarizəsi; рабочий класс fəhlə sinfi.Русско-азербайджанский словарь
II. м 1. sinif (məktəbdə): ученик пятого класса beşinci sinif şagirdi; 2. sinif (məktəbdə otaq); ученики
вышли из класса şagirdlər sinifdən çıxdılar; 3. dərəcə, sinif: лётчик первого класса birinci dərəcəli
təyyarəçi; 4. biol. sinif; класс млекопитающих məməlilər sinfi.
-
Класс
SınıfРусско-турецкий словарь
-
класс
и-= (сорт) جنسРусско-арабский словарь
ааа= (степень) درجة
(учащихся):
а= (ряд) صفّ
ааа= (слой) طبقة
у-а= (звание) رتبة
а-= (раздел) فصل
-
класс
• в т.ч социальныйРусско-венгерский словарь
osztály
• помещение
tanterem
-
классы
младшие ~Русско-венгерский словарь
tagozat alsó ~
-
класс
kidato (vi-)Русско-суахили словарь
2) (помещение для занятий) darasa (-; ma-)
3) (степень, разряд , ранг) gredi (-);
класс
и т п. — cheo (vy-), daraja (-; ma-)
4) (единица в классификации) jinsi (-)
5) (грам.) ngeli (-);
класс
-
класс
1) (социальная группа) sınıfРусско-крымскотатарский словарь
рабочий класс — işçiler sınfı
2) (в школе) sınıf
девятый класс — doquzıncı
sınıf
3) (комната в школе) sınıf, sınıf odası
войти в класс — sınıfqa kirmek
4) биол. türküm
класс рыб
-
класс
1. gruppРусско-эстонский словарь
2. klass
3. liik
4. rühm
5. tase
-
классы
1. keksРусско-эстонский словарь
2. keksumäng
-
класс
• místnostРусско-чешский словарь
• oddělení
• posluchárna
• ročník
• sk .
• stupeň
• tř.
• třída
• učebna
• vyučování
• řád
-
класса
• oddělení (2.p.)Русско-чешский словарь
• sk .
• třídy
-
классах
• třídáchРусско-чешский словарь
-
классе
• jakosti (6.p.)Русско-чешский словарь
• oddělení (6.p.)
• třídě (6.p.)
-
классу
• oddělení (3.p.)Русско-чешский словарь
-
класс
1) (категория) classe ж., categoria ж.Русско-итальянский словарь
каюта первого класса — cabina di prima classe
2) (группа учеников
classe ж.
учиться в пятом классе — fare la quinta
3) (школьная комната) aula ж., classe ж.
просторные
классы — aule spaziose
убрать класс — fare le pulizie in classe
4) (в социологии) classe ж.
борьба классов
lotta di classe
5) (степень, уровень) classe ж., livello м., qualità ж.
специалист высокого класса
-
классы
игра) gioco м. della campana, campana ж.Русско-итальянский словарь
играть в классы — giocare alla campana
-
класс
обученияРусско-украинский словарь
3. помещение для занятий в школе
4. категория, подразделение, уровень качества
¤ 1. правящий класс
правлячий клас
¤ 2. выпускной класс -- випускний клас
¤ 3. сидеть в классе -- сидіти у класі
¤ 4.
каюта первого класса -- каюта першого класу
-
класс
мРусско-португальский словарь
classe f; categoria f; (в школе) turma f; (помещение) aula f port, sala de aula bras
-
класс
mРусско-финский словарь
1) luokka
он спортсмен высокого класса — hän on korkean luokan urheilija, hän on huippu-urheilija
каюта
первого класса 1. — luokan hytti
туристический класс — turistiluokka
2) luokka
рабочий класс — työväenluokka
3) luokka; luokka[huone]
ученик первого класса — ensiluokkalainen, ekaluokkalainen
старшие классы —
yläluokat
сидеть в классе — istua luokassa
-
класс
klasa;Русско-польский словарь
-
класс
Клас, ученик десятого класса — вучань дзесятага класа класс млекопитающих — клас млекакормячых классРусско-белорусский словарь
игры — клас гульні клас, рабочий класс — рабочы клас антагонистические классы — антаганістычныя класы
дружественные классы рабочих и колхозного крестьянства — дружалюбныя класы рабочых і калгаснага сялянства
-
класс
социальная группа) Klasse fРусско-немецкий словарь
рабочий класс — Arbeiterklasse f
II м.
1) (разряд, категория, тж. биол.)
-
класс
Classe fРусско-французский словарь
-
Класс
KlasseРусско-нидерландский словарь
-
класс
м.Русско-испанский словарь
1) (социальная группа) clase f
рабочий класс — clase obrera
борьба классов — lucha de clases
2) (группа
разряд) clase f
класс млекопитающих — clase de mamíferos, mamíferos m pl
команда класса "А" спорт.
equipo de la clase "A"
каюта первого класса — camarote de primera clase
3) (в школе) clase f, grado
m
ученик пятого класса — alumno del quinto grado
4) (школьная комната) clase f, aula f
5) уст.
чин, ранг) categoría f, grado m, rango m
••
показать класс разг. — demostrar la clase
-
между классами
InterclassПолный русско-английский словарь
-
класс
Klass, divisionРусско-шведский словарь
-
класс
Муж. 1) class господствующий/правящий класс — ruling class рабочий класс — the working class 2) (категорияПолный русско-английский словарь
class ехать первым классом — to travel first class показать класс (работы) разг. — to do some first-rate
work, to do a first-class job 3) class, form; grade амер.; class(-)room (комната) класс оживился — the
class came alive быть в третьем классе — to be in the third grade натурный класс староста класса lass
-
классы
Только мн. (детская игра)hopscotch ед. мн. (детская игра) hopscotch sg.Полный русско-английский словарь
-
axiomatizable class
Мат. аксиоматизируемый классПолный англо-русский словарь
-
axiomatizable
Аксиоматизируемый finitely axiomatizable class — конечно аксиоматизируемый класс finitely axiomatizableПолный англо-русский словарь
quasivariety — конечно аксиоматизируемое квазимногообразие finitely axiomatizable system — конечно аксиоматизируемая
система finitely axiomatizable theor — конечно аксиоматизируемая теория finitely axiomatizable variety
конечно аксиоматизируемое многообразие recursively axiomatizable theor — рекурсивно аксиоматизируемая
теория universally axiomatizable class — универсально аксиоматизируемый класс universally axiomatizable