аксе
-
аксе
АКСЕ несл. АКСЕС accès m. мед. Приступ болезни, припадок, вспышка. Я через Тира к тебе, батюшка, писала о болезни своей, что жестокая лихорадка <�у> меня, четыре аксе было. Румянцева Письма 234.
Словарь галлицизмов русского языка
-
Аксу
В 1993 г. переименован в Аксу по названию протекающей в его окрестностях речки Аксу (казах., 'белая вода
Топонимический словарь
-
Аксу
I
Большая советская энциклопедия
Аксу́
река в СССР и Китае. См. Сарыджаз.
II
Аксу́ (тюрк. — белая вода)
река в Талды-Курганской области Казахской ССР. Длина 316 км, площадь бассейна 5040 км2. Берёт начало из ледников хребта Джунгарский Алатау.
-
АКСЫЛ
Беловатая; с беловатым лицом.
Словарь татарских женских имён
-
акс
АКС axe m. 1372. Лексис. архит.
Словарь галлицизмов русского языка
Акс. Цилиндрическая поверхность волюты или балюстры. Плужников. || Ось, вал. Ганшина.
Маленький токарный станок у часовщиков для изготовления акс. Коренблит 1934 3 2381.
-
Аксён
Аксён, муж. имя (Аксёнович, Аксёновна)
Орфографический словарь Лопатина
-
Аксу
(буквально "белая вода"), река на В. Казахстана. Длина 316 км, пл. басс. 5040 км². Берёт начало на ледниках Джунгарского Алатау. Протекает по Балхаш-Алакольской котловине, впадает в оз. Балхаш. Дельта заболочена. Питание снегодождевое.
Словарь географических названий
-
Аксён
А, муж. Разг. к (см. Авксентий).
Словарь личных имен
Отч.: Аксёнович, Аксёновна; разг. Аксёныч.
-
Акс
Цилиндрическая поверхность волюты или балюстры.
Архитектурный словарь
(Термины российского архитектурного наследия. Плужников В.И., 1995)
-
Аксо-
(греч. axōn, лат. axis ось)
Медицинская энциклопедия
составная часть сложных слов, означающая «относящийся к аксону».
-
аксен
сущ., кол-во синонимов: 1 имя 1104
Словарь синонимов русского языка
-
АКСУ
АКСУ — река в Казахстане. 316 км, площадь бассейна 5040 км2. Впадает в оз. Балхаш.
Большой энциклопедический словарь
-
Аксим
Форт в земле негров Аганти (см. это сл.).
Энциклопедический словарь Брокгауза и Ефрона
-
Аксу
или в Малой Бухаре, лежит (под 41° 7' сев. шир., 96° 47' вост. долг. от Ферро) близко на восток от Аксу
Энциклопедический словарь Брокгауза и Ефрона
Аксу был завоеван в 1867 году Якуб-ханом из Кашгара, в 1877 году опять был взят китайцами.
-
Аксиом Схема
Единый способ задания аксиом, обладающих одной и той же синтаксич. структурой.
Математическая энциклопедия
языку, в к-ром записываются аксиомы) и правил, позволяющих, исходя из выражения получить произвольную аксиому
В контекстах с заранее сформулированными или однозначно подразумеваемыми правилами порождения аксиом
Примером схемы нелогических аксиом является следующий вариант схемы индукции в традиционных аксиоматизациях
только в аксиомы, что позволяет эквивалентным образом модифицировать такое исчисление, заменив каждую аксиому
-
Хову-Аксы
Посёлок городского типа в Тандинском районе Тувинской АССР. Расположен в долине р. Элегест (левый приток Енисея), у подножия северного склона хребта Восточный Танну-Ола, в 115 км к Ю.-З. от г. Кызыл. Комбинат «Тува-кобальт».
Большая советская энциклопедия
-
Аль-Акса
Масджид аль-Акса.
Ислам. Энциклопедический словарь
-
Аксу-Джабаглы
Назван по рекам Аксу и Джабаглы (притоки р. Арысь). Создан в 1921 г.
Словарь географических названий
Аксу, обозрение которого возможно с окрестного плато (подходит автодорога из г. Шымкент).
-
АКСИЙ Соловецкий
АКСИЙ Соловецкий — Кашкаренский (17 в.) — преподобный.
Большой энциклопедический словарь
-
Акс, город
(Acqs) — город во франц. департ. Ланд (см. Дакс).
Энциклопедический словарь Брокгауза и Ефрона
-
Акс, курорт
озаботился устроить тут в 1200 г. лечебное заведение для прокаженных; но своими минеральными водами Акс
Энциклопедический словарь Брокгауза и Ефрона
-
Элементарная Система Аксиом
Система аксиом, записанная на языке узкого исчисления предикатов.
Математическая энциклопедия
Системы аксиом арифметики формальной, теории множеств Цермело — Френкеля (см.
-
Гильберта Система Аксиом
Г. с. а. содержит 20 аксиом, к-рые разбиты на пять групп.
Математическая энциклопедия
V группа содержит одну аксиому о параллельных.
Если в Г. с. а. заменить аксиому о параллельных ее отрицанием, то полученная новая система аксиом тоже
остальных аксиом Г. с. а.
Можно установить независимость нек-рых других аксиом Г. с. а. от остальных аксиом этой системы.
-
Категоричная Система Аксиом
Всякая система аксиом 2 , для к-рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам
Математическая энциклопедия
теоремы Мальцева — Тарского об элементарном расширении следует, что модели категоричной системы е аксиом
Верно и обратное: для любой конечной алгебраич. системы Асуществует категоричная система е аксиом 1-го
Пусть е 0 — множество универсальных замыканий формул где j(х).- любая формула сигнатуры Система аксиом
Пусть система е 1 получается из е 0 заменой схемы элементарной индукции 7) на аксиому полной индукции
-
Независимость Системы Аксиом
Свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой
Математическая энциклопедия
т. е. не является логическим следствием из множества остальных аксиом этой теории.
Система аксиом, обладающая этим свойством, наз. независимой.
Независимость той или иной аксиомы данной аксиоматич. теории означает, что эту аксиому можно без противоречия
виде понятия выводимости, аксиома считается независимой, если она не может быть выведена из других аксиом
-
Аксу-Джабаглинский заповедник
Аксу (глубиной до 500 м).
Большая советская энциклопедия
-
Масджид аль-Акса
Согласно хадису пророка Мухаммада, Аль-Акса была самым древним Божьим храмом на земле после мекканской
Ислам. Энциклопедический словарь
709-714 годах на этом месте омейядский халиф аль-Валид ибн Абд аль-Малик построил новую мечеть Аль-Акса
-
СУСЕЕВ Аксен Илюмджинович
СУСЕЕВ Аксен Илюмджинович (р. 1905) — калмыцкий поэт, народный поэт Калмыкии (1967).
Большой энциклопедический словарь
-
Сусеев, Аксен Илюмджинович
Сусеев, Аксен Илюмджинович
Большая биографическая энциклопедия
(1905—1995), поэт, народный поэт Калмыцкой АССР (1967).
-
Кызылшнрпы
Аксу
Топонимический словарь
-
Аксолемма
[axolemma, LNH; Аксо- + (цито)лемма (Аксо-)] — часть клеточной оболочки нейрона, покрывающая аксон.
Медицинская энциклопедия
-
Ермак
Аксу
Топонимический словарь
-
Ермаковское волостное селение
Аксу
Топонимический словарь
-
аксиоматика
Аксиом/а́т/ик/а.
Морфемно-орфографический словарь
-
аксиоматичный
Аксиом/ат/и́чный.
Морфемно-орфографический словарь
-
аксиоматический
Аксиом/ат/и́ческ/ий.
Морфемно-орфографический словарь
-
аксиоматика
Совокупность аксиом, лежащих в основе какой-либо науки.
Толковый словарь Ефремовой
-
аксиоматика
Совокупность аксиом, лежащих в основе той или иной науки.
Малый академический словарь
Аксиоматика геометрии.
-
Ичкерия
Аксая в Веденском округе Терской области.
Энциклопедический словарь Брокгауза и Ефрона
-
АВКСЕНТЬЕВ
Аксен, Аксентий, Аксюта — различные формы этого имени . Была пословица: «Всяк Аксен про себя умен».
Словарь русских фамилий
-
Аксоплазма
[axoplasma; Аксо- + (цито)плазма (Цитоплазма)] — часть цитоплазмы нейрона, входящая в состав аксона.
Медицинская энциклопедия
-
аксес
АКСЕ несл. АКСЕС accès m. мед. Приступ болезни, припадок, вспышка.
Словарь галлицизмов русского языка
через Тира к тебе, батюшка, писала о болезни своей, что жестокая лихорадка <�у> меня, четыре аксе
-
аксиоматика
Совокупность аксиом, лежащих в основе той или иной науки.
Толковый словарь Кузнецова
◁ Аксиоматический, -ая, -ое.
-
Минимальное Функциональное Исчисление,
Минимальное исчисление предикатов,- исчисление предикатов, задаваемое всеми схемами аксиом минимального
Математическая энциклопедия
пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е.
-
рефлексивность, транзитивность, симметричность
Рефлексивность – эквивалентность элемента самому себе, транзитивность – переходность в рамках аксиом
Словарь лингвистических терминов Жеребило
-
АКСИОМАТИЧЕСКИЙ МЕТОД
Основания для применения аксиоматического метода могут быть разными, что обычно приводит к различению аксиом
Новая философская энциклопедия
теорий среди всех аксиом выделяют часто т.н. постулаты значения, выражающие лингвистические соглашения
теории [АКСИОМАТИЧЕСКАЯ ТЕОРИЯ], не изменив при этом ни формулировку, ни семантику аксиом, а поменяв
В частности, к нему восходит толкование аксиом как необходимых общих начал доказательства.
– все это способствовало осознанию двух новых, по сравнению с античным, статусов аксиом: аксиом как описаний
-
АКСИОМАТИЧЕСКИЙ МЕТОД
МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом
Научно-технический словарь
системе некоторые неопределяемые единицы (термины) берутся в качестве исходных и описываются набором аксиом
-
ТАРИМ
Образуется слиянием рек Аксу, Хотан и Яркенд. Длина (от истока р.
Большой энциклопедический словарь
Аксу 167 м3/с. Летнее половодье. Используется для орошения.
-
ТЕОРЕМА
Утверждение, истинность к-рого устанавливается с помощью системы бесспорных доказательств (аксиом, ранее
Социологический словарь
-
Бестобе
д. станции Аксу. 13,1 тыс. жителей (1968). Добыча золота.
Большая советская энциклопедия
-
АКСИОМАТИЧЕСКИЙ МЕТОД
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории в виде системы аксиом (постулатов) и правил
Большой энциклопедический словарь
-
Богембай
Аксу. 4,5 тыс. жителей (1968). Добыча каменного угля.
Большая советская энциклопедия
-
Паша Аксиома
Одна из аксиом порядка в Гильберта системе аксиом евклидовой геометрии.
Математическая энциклопедия
Понятие "между" (лежать между) описывается группой аксиом порядка, куда входит и П. а., к-рая формулируется
С помощью других гильбертовых аксиом порядка можно доказать, что прямая ане может пересечь оба отрезка
-
Непрерывности аксиомы
Архимеда аксиому (См.
Большая советская энциклопедия
Архимеда аксиома) и аксиому о невозможности присоединения к прямой новых точек с сохранением аксиом упорядоченности
-
Масджид аль-Киблатайн
которой во время намаза аср пророку было приказано Аллахом повернуть направление киблы с Масджид аль-Аксы
Ислам. Энциклопедический словарь
-
Эригон
• Erigōnus, Έριγών
Словарь классических древностей
правый приток Аксия в македонской области Пеонии, н. Црна. Arr. 1, 5, 5.
-
пересечься
Одна из аксиом Эвклидовой геометрии утверждает, что параллельные линии никогда не могут пересечься.
Толковый словарь Ушакова
-
Лисаневич
На другой день после боя под Гертель-аулом (близ Аксая), где горцы были наголову разбиты, Л. был смертельно
Энциклопедический словарь Брокгауза и Ефрона
-
аксиома
Сознал ты эту аксиому?
Фразеологический словарь Михельсона
Некрасов. Современники. Герои времени.
Ср.
Известно и даже за аксиому всеми принято, что знание освещает не только того, кто непосредственно его
-
Инцидентность
Свойства И. характеризуются так наз. аксиомами принадлежности (см., например, Гильберта система аксиом
Математическая энциклопедия
-
Кантора аксиома
Одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность
Большая советская энциклопедия
-
Магреб
В этом смысле Марокко — "крайний запад", "Аль-Магреб аль-акса".
Энциклопедический словарь Брокгауза и Ефрона
-
Боттиэя
• Βοττιαία
Словарь классических древностей
округ в Македонии, на правом берегу Аксия, по его нижнему течению (Hdt. 7, 185. 8, 127.),
-
аксиома
Он хорошо усвоил одну из аксиом военной стратегии: нельзя быть сильным везде. Чаковский, Блокада.
Малый академический словарь
-
Паскалева Геометрия
Hilbert, см. [1]), к-рый устанавливал доказуемость предложения Паскаля при различных наборах аксиом из
Математическая энциклопедия
системы аксиом евклидова пространства.
Опираясь же на пространственные аксиомы системы Гильберта, теорему Паскаля можно доказать без аксиом
конгруэнтности, но обязательно с применением аксиом непрерывности (исключение аксиом непрерывности в
аксиом Гильберта евклидовой геометрии.
-
Недезаргова Геометрия
Теорема Дезарга не может быть доказана в плоскости на основе лишь проективных аксиом плоскости без привлечения
Математическая энциклопедия
аксиом конгруэнтности (метрических аксиом) или без привлечения пространственных аксиом.
Напр., в геометрии плоскости, построенной на основе всех плоскостных аксиом системы Гильберта, за исключением
Возможность построения Н. г. плоскости позволяет выяснить независимость различных групп аксиом системы
-
Матай
Расположен на реке Аксу (бассейн озера Балхаш). 6,6 тысячи жителей (1970).
Большая советская энциклопедия
-
Музарт
Кульджа и Аксу.
Большая советская энциклопедия
-
стало
► -Сознал ты эту аксиому? Так. стало, не о чем тужить! Некрасов.
Фразеологический словарь Волковой
-
давать много воли
[Аксен:] Однако, Улитушка-душенька, мы много воли нашему Иванушке даём (Фонвизин. Недоросль.
Фразеологический словарь Фёдорова
-
дать много воли
[Аксен:] Однако, Улитушка-душенька, мы много воли нашему Иванушке даём (Фонвизин. Недоросль.
Фразеологический словарь Фёдорова
-
ПОСТУЛАТ
хотя и недоказуемое ее средствами, и поэтому играющее в ней роль аксиомы.
Большой энциклопедический словарь
2) Общее наименование для аксиом
-
Гипотеза
Во второй аналитике Аристотеля, кроме истин, не требующих доказательства (аксиом), различаются два рода
Энциклопедический словарь Брокгауза и Ефрона
-
Минимальное Пропозициональное Исчисление,
получающееся из позитивного пропозиционального исчисления П добавлением новой связки (отрицание) и схемы аксиом
Математическая энциклопедия
добавлением к языку вместо связки новой пропозициональной константы (ложь) без добавления новых схем аксиом
-
Акдарья
Аксу, Ак-Су, Аксу-Дарья, Туртмоглык, Китабдарья, Ханакасу, Хонакасу, река в Кашкадарьинской обл.
Словарь географических названий
-
Кантора Аксиома
Одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность
Математическая энциклопедия
-
аксиома
Одна из аксиом военной стратегии гласит: нельзя быть сильным везде.
Толковый словарь Кузнецова
-
аксит
м. устар. axiteРусско-английский медицинский словарь
-
аксиом
AxiomПолный русско-английский словарь
-
пучок аксиом
Мат. bundle of axiomsПолный русско-английский словарь
-
независимость аксиом
Мат. independence of axiomsПолный русско-английский словарь
-
набор аксиом
Мат. axiom setПолный русско-английский словарь
-
непротиворечивость аксиом
Мат. consistency of axiomsПолный русско-английский словарь
-
система аксиом
Axiom schemeПолный русско-английский словарь
-
аксо-аксональный синапс
axoaxonic synapse, synapsis axoaxonalis [NH]Русско-английский медицинский словарь
-
аль-Акса (мечеть на Храмовой горе)
Аль-Акса (мечеть на Храмовой горе)Русско-ивритский словарь
אֶל-אַקצָה ז'
-
axiom scheme
Система аксиомПолный англо-русский словарь
-
аксиома
Аксиом, илт үнэнРусско-монгольский словарь
-
axoaxonic synapse
аксо-аксональный синапсАнгло-русский медицинский словарь
-
axiom set
Мат. набор аксиомПолный англо-русский словарь
-
bundle of axioms
Мат. пучок аксиомПолный англо-русский словарь
-
set of axioms
Мат. система аксиомПолный англо-русский словарь
-
independence of axioms
Мат. независимость аксиомПолный англо-русский словарь
-
system of axioms
Мат. система аксиомПолный англо-русский словарь
-
consistency of axioms
Мат. непротиворечивость аксиомПолный англо-русский словарь
-
nonelementary system
Мат. неэлементарная система (аксиом)Полный англо-русский словарь
-
אֶל-אַקצָה ז'
אֶל-אַקצָה ז'Иврит-русский словарь
аль-Акса (мечеть на Храмовой горе)
-
axiom
[ˈæksɪəm] сущ. аксиома, постулат to lay down an axiom — сформулировать аксиому, выдвинуть постулат weПолный англо-русский словарь
accept the axiom that a straight line is the shortest distance between two points — мы принимаем аксиому
-
axiomatic method
доказательства, в основу которого кладутся аксиомы.Англо-русский социологический словарь
аксиоматический метод; построение научной теории на основе аксиом
-
синапс
м. synapse, synapsis [NH]Русско-английский медицинский словарь
— аксо-аксональный синапс - аксодендритический синапс - аксосоматический синапс