СЕКВЕНЦИЯ
Секвенция
(позднелат. sequentia, букв. — то, что идёт вслед; следование, от лат. sequor — следую).
1) Жанр ср.-век. монодии, песнопение, исполнявшееся в мессе после Alleluia перед чтением Евангелия. Происхождение термина "С.
Музыкальная энциклопедия
Секвенция
Звук
Восходящее или нисходящее перемещение мелодического материала.
Словарь компьютерных терминов
секвенция
Секвенции, ж. [латин. sequentia – следование] (муз. устар.). Повторение мотива в один или два такта в восходящем или нисходящем порядке.
Большой словарь иностранных слов
секвенция
Секвенция, секвенции, секвенции, секвенций, секвенции, секвенциям, секвенцию, секвенции, секвенцией, секвенциею, секвенциями, секвенции, секвенциях
Грамматический словарь Зализняка
секвенция
-и, ж.
1. муз.
Повторение какого-л. мотива на различных ступенях восходящей или нисходящей гаммы.
2.
Разновидность средневековых католических песнопений.
[От лат. sequentia — следование]
Малый академический словарь
секвенция
секвенция ж.
1. Перемещение одного и того же напева по ступеням гаммы вверх или вниз.
2. Название некоторых древнейших католических церковных песнопений.
Толковый словарь Ефремовой
СЕКВЕНЦИЯ
СЕКВЕНЦИЯ (от средневекового лат. sequentia — последовательность) ,1) проведение мелодического оборота или многоголосного музыкального построения на определенный интервал выше или ниже первоначального или (в последующих звеньях) предыдущего.
Большой энциклопедический словарь
секвенция
сущ., кол-во синонимов: 3 повторение 73 прогрессия 2 стабат матер 2
Словарь синонимов русского языка
секвенция
орф.
секвенция, -и
Орфографический словарь Лопатина
секвенция
СЕКВ’ЕНЦИЯ, секвенции, ·жен. (·лат. sequentia — следование) (муз.). То же, что прогрессия во 2 ·знач.
Толковый словарь Ушакова
Секвенция
Выражение вида где A1,. . ., А n, B1, . . ., В т- формулы. Читается: "при допущениях A1, . . ., А n имеет место В 1 или B2, или . . ., или В т". Часть С., стоящая слева от стрелки, наз. а н т е ц е д е н т о м; часть С., стоящая справа от стрелки, наз.
Математическая энциклопедия
Секвенция
В музыке постепенное повторение мотива, от одного до четырех тактов, в восходящем или нисходящем порядке. При таком повторении выбирается интервал, на который мотив должен перестанавливаться при своем повторении. С. бывает точная и неточная.
Энциклопедический словарь Брокгауза и Ефрона
секвенция
СЕКВЕНЦИЯ -и; ж. [от лат. sequentia — следование] Муз.
1. Повторение какого-л. мотива на различных ступенях восходящей или нисходящей гаммы.
2. Разновидность средневековых католических песнопений.
Толковый словарь Кузнецова
Секвенций исчисление
объектами преобразования являются не формулы, а т. н. секвенции, т. е. выражения вида A1,..., Al
первые — образующие антецедент секвенции, вторые — её сукцедент. При l, m ≥ 1 секвенция A1,..., Al → B1
⊃ — импликации, ∨ — дизъюнкции, см. Логические операции), секвенция с пустым антецедентом
интерпретируется как истина, а секвенция с пустым сукцедентом — как ложь (и, следовательно, секвенция →, состоящая
из одной стрелки, — как противоречие). Аксиомами (исходными секвенциями) в С. и. являются
Большая советская энциклопедия
Секвенций Исчисление
ц и е й наз. фигура вида , где Г и D — наборы формул, Г наз. а н т е ц е д е н т о м секвенции, а D
и вводят логич. связки в антецедент или сукцедент секвенции: Здесь в правилах предполагается
тогда и только тогда, когда секвенция выводима в С. и. Для доказательства этого утверждения существенна основная теорема Генцена
если в С. и. выводимы секвенции и , то выводима и секвенция Правило вывода наз. правилом сечения, и теорема
правила сечения не изменяет объема выводимых секвенций. Ввиду этого теорему Генцена наз. также
Математическая энциклопедия
ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ
ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ – одна из основных форм представления логических систем, применяемая в логике
вывода. Термин «секвенция» происходит от слова sequent (последовательность). Он введен в логику
П.Герцем (1929) и заимствован Г.Генценом, который впервые сформулировал в форме исчисления секвенций
классическую и интуиционистскую логику предикатов первого порядка.
Секвенция – это формальная запись
выводимости. Левую часть секвенции называют антецедентом, а правую – сукцедентом. Содержательно в исходном
Новая философская энциклопедия
стабат матер
сущ., кол-во синонимов: 2 гимн 13 секвенция 3
Словарь синонимов русского языка
прогрессия
сущ., кол-во синонимов: 2 ряд 49 секвенция 3
Словарь синонимов русского языка
Ноткер
теоретик. Монах Санкт-Галленского монастыря (Швейцария). Разрабатывал жанр секвенции (его поэтические
Большая биографическая энциклопедия
Gradazione
музыкальной фразы, связанной с повышением мелодии и аккомпанемента. Один из способов G. есть секвенция.
Н. С.
Энциклопедический словарь Брокгауза и Ефрона
Генцена Формальная Система
с. могут использовать секвенции, а секвенциальные Г. ф. с. иногда оформляют в виде исчисления формул
а не секвенций; иногда все Г. ф. с. считают натуральными, т. к. все они в той пли иной степени отражают
правилами: (сокращение повторений), (перестановка). Секвенция, находящаяся под чертой, наз. заключением
правила, а секвенции, находящиеся над чертой,- посылками. Аксиома изображает введение допущения
правило иллюстрирует освобождение от допущения: формула Вверхней секвенции зависит от допущения А, формула
Математическая энциклопедия
прогрессия
перемещение одноголосного или многоголосного музыкального построения в восходящем или нисходящем направлении; секвенция.
Толковый словарь Ефремовой
СТАБАТ МАТЕР
") — средневековая секвенция, а также гимн римско-католического обихода. Известны многоголосные композиции
Большой энциклопедический словарь
триольный
Зап. краеведов 151. Секвенция из нисходящих трезвучий в триольном движении. Октябрь 2002 2 8. — Лекс. САН 1847: триольный.
Словарь галлицизмов русского языка
прогрессия
или краткая прогрессия.
2. Повторение мотива в один или два такта в восходящем или нисходящем порядке, то же, что секвенция (муз. ·устар. ).
Толковый словарь Ушакова
прогрессия
в один или два такта в восходящем или нисходящем порядке, то же, что секвенция (муз. устар.).
Большой словарь иностранных слов
Двойной канон
Разновидностью бесконечных канонов на 2 темы являются двойные бес конечные каноны-секвенции, также
бесконечный канон-секвенция I разряда. Ю. А. Шапорин. Пассакалия для фортепиано.
Канон в обращении. Палестрина. Каноническая месса.
Т. Ф. Мюллер.
Музыкальная энциклопедия
Ход
не имеет четного числа тактов. Преобладающий характер Х. — секвенция. Иногда X. состоит из небольшого
из предложений. Если же предложение построено и в виде секвенций или, иначе говоря
Энциклопедический словарь Брокгауза и Ефрона
Юбиляция
подтекстовал их так, что на каждую ноту приходился слог текста. Отсюда возникли секвенции (вид церковных песнопений).
Большая советская энциклопедия
ФУГА
интермедиями (как правило, в виде секвенций) — в которых тема не проходит. Количество голосов от 2 до 6
Большой энциклопедический словарь
Прогрессия в музыке
допускаются отступления от точной величины интервалов мотива и интервала, на которой мотив перестанавливается. П. называется также секвенцией.
Н. С.
Энциклопедический словарь Брокгауза и Ефрона
Адам Сен-Викторский
из них известно, что они возникли в аббатстве Сен-Виктор. В творчестве А. секвенция, как жанр
у А. образами в.-з. истории. Среди наиболее известных стихов А. — секвенции на праздник Св. Троицы
и на Пасху, о св. Стефане Первомученике и ряд секвенций, посвященных Пресвятой Деве Марии, самая
Католическая энциклопедия
ЭЛИМИНАЦИОННАЯ ТЕОРЕМА
» (Hauptsatz) для исчисления секвенций [ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ]классической и интуиционистской логики
в классическом или интуиционистском исчислении секвенций можно преобразовать в вывод с той же конечной
секвенцией, не содержащий применений правила сечения.
Идейно устранение сечения связано со следующей
в результат вывода (конечную секвенцию). Поэтому уже по структуре формул данной секвенции, фактически
и заканчиваются одной и той же секвенцией. В классическом варианте доказательства Генцена ключевую
Новая философская энциклопедия
Стабат матер
сокращенное от лат. Stabat mater dolorosa — стояла мать скорбящая)
одна из средневековых секвенций
Большая советская энциклопедия
Проведение
в виде канонич. секвенции у разных инструментов).
2) Полное или относительно полное первоначальное
Музыкальная энциклопедия
Пропоста
и канонич. секвенциях). Реже термин "П." относится к имитируемой части начинающего голоса простой (не канонической) имитации, иногда — к теме фуги.
В. П. Фраёнов.
Музыкальная энциклопедия
валетный
шесть секвенций. Терцет < терц> — 6 видов: Дамский: Дама, валет, десятка. Валетный: валет
Словарь галлицизмов русского языка
Ноткер
на заикание, пользовался славой прекрасного учителя. Как композитор выработал муз. форму секвенций
строки), для к-рых частично взял известные мелодии, частично сочинил сам.
Н. разработал жанр секвенций
и в области поэзии. Сочинённые им в 860-880-х гг. 4 десятка секвенций (годовой цикл) объединил
ecclesiasticis", не сохранился).
Начало секвенции "На праздник Пятидесятницы".
Трактаты о музыке
Музыкальная энциклопедия
Титов В. П.
использование имитаций и секвенций, разнообразные эффекты хор. звучания. Среди его соч. — партесные
Музыкальная энциклопедия
Барраке Ж.
"Секвенция" для певца, ударных и др. инструментов (1955), "Песнь за песней" для певца, ударных и фп. ("Chant
Музыкальная энциклопедия
Экзерсис
иногда проводится в виде секвенции. Примерами Э. могут служить сб-к Ганона "Пианист-виртуоз..." ("Pianiste-virtuose
Музыкальная энциклопедия
секанс
1779. Г. Комов Карт. игры 40. Еэжели есть у вас секвенция короля, крали и хлапа .. с них ход верной
Словарь галлицизмов русского языка
СЕРЕБРЯННИКОВ
построения исчисления секвенций [ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ]и систем натурального вывода, которые особенно
Новая философская энциклопедия
Логическое исчисление
наименование подпадают и различные модификации введённых немецким логиком Г. Генценом секвенций
исчисления (См. Секвенций исчисление) и натурального исчисления (См. Натуральное исчисление). «Л
Большая советская энциклопедия
Dies irae
века в пепел) — ср.-век. католич. песнопение (секвенция). Выражает идею страшного суда. Происходит
Томмазо ди Челано (ум. 1255). D. i. — одна из 5 секвенций, узаконенных Тридентским собором в Риме
Музыкальная энциклопедия
повторение
секвенция 3 симплока 3 сказка про белого бычка 6 скалывание 17 сколок 10 слепок 13 словесный мусор
Словарь синонимов русского языка
Транспонирование
Транспонировка часто применяется в точной секвенции (см.), в которой данный мотив транспонируется
Энциклопедический словарь Брокгауза и Ефрона
секвенция
Жен. sequence
Полный русско-английский словарь
секвенция
Ж mus. sekvensiya (hər hansı bir motivin, qalxan ya enən qammanın müxtəlif pillələrində təkrarı).
Русско-азербайджанский словарь
секвенция
ж. муз.
repetición f, gradación melódica
Большой русско-испанский словарь
секвенция
сущ. жен. рода
секвенція
Русско-украинский словарь
секвенция
Секвенцыя
Русско-белорусский словарь
неявная секвенция
Мат. implicit sequent
Полный русско-английский словарь
средняя секвенция
Мат. mean sequence, midsequent
Полный русско-английский словарь
нижняя секвенция
Мат. lower sequent
Полный русско-английский словарь
секвенция (муз.)
Секвенция (муз.)
מַעֲקוֹבֶת נ'
Русско-ивритский словарь
позитивная секвенция
Мат. positive sequent
Полный русско-английский словарь
общезначимая секвенция
Мат. valid sequence
Полный русско-английский словарь
несходные секвенция
Мат. incognate sequents
Полный русско-английский словарь
регулярная секвенция
Мат. regular sequent
Полный русско-английский словарь
сходная секвенция
Cognate sequent
Полный русско-английский словарь
явная секвенция
Мат. explicit sequent
Полный русско-английский словарь
доказуемая секвенция
Мат. provable sequent
Полный русско-английский словарь
предваренная секвенция
Мат. prenex sequent
Полный русско-английский словарь
сходные секвенции
Cognate sequents
Полный русско-английский словарь
истинная секвенция
Мат. true sequent
Полный русско-английский словарь
заключительная секвенция
Мат. terminal sequence
Полный русско-английский словарь
верхняя секвенция
Мат. upper sequent
Полный русско-английский словарь
негативная секвенция
Мат. negative sequent
Полный русско-английский словарь
выводимая секвенция
Мат. derivable sequent
Полный русско-английский словарь
midsequent
Средняя секвенция
Полный англо-русский словарь
midsequent
Средняя секвенция
Англо-русский морской словарь
cognate sequent
Сходная секвенция
Полный англо-русский словарь
cognate sequents
Сходные секвенции
Полный англо-русский словарь
מַעֲקוֹבֶת נ'
מַעֲקוֹבֶת נ'
секвенция (муз.)
Иврит-русский словарь
explicit sequent
Мат. явная секвенция
Полный англо-русский словарь
sequent
1
секвенция
2
вытекающий
Англо-русский морской словарь
prenex sequent
Мат. предваренная секвенция
Полный англо-русский словарь
derivable sequent
Мат. выводимая секвенция
Полный англо-русский словарь
incognate sequents
Мат. несходные секвенция
Полный англо-русский словарь
mean sequence
Мат. средняя секвенция
Полный англо-русский словарь
regular sequent
Мат. регулярная секвенция
Полный англо-русский словарь
terminal sequence
Мат. заключительная секвенция
Полный англо-русский словарь
provable sequent
Мат. доказуемая секвенция
Полный англо-русский словарь
lower sequent
Мат. нижняя секвенция
Полный англо-русский словарь
negative sequent
Мат. негативная секвенция
Полный англо-русский словарь
секвенція
імен. жін. роду
секвенция
Украинско-русский словарь
upper sequent
Мат. верхняя секвенция
Полный англо-русский словарь
valid sequence
Мат. общезначимая секвенция
Полный англо-русский словарь
true sequent
Мат. истинная секвенция
Полный англо-русский словарь
positive sequent
Мат. позитивная секвенция
Полный англо-русский словарь
implicit sequent
Мат. неявная секвенция
Полный англо-русский словарь
sequência
f
1) продолжение
2) последовательность
3) муз секвенция
Португальско-русский словарь
Sequenz
Sequenz f =, -en
1. муз. секвенция
2. карт. карты одной масти
3. эпизод (кинофильма)
Большой немецко-русский словарь
sequence
sequence в исторической (или хронологической) последовательности
2) (по)следствие, результат
3) кино последовательный ряд кинокадров, эпизод
4) муз. секвенция
Англо-русский словарь Мюллера
período
секвенция
7) хим периодическая система элементов
8) браз менструация
••
- período arqueano
- período axial
Португальско-русский словарь
sequence
естественный результат 3) муз. секвенция 4) а) серия, ряд; цикл б) кино последовательный ряд кинокадров
punishment преступление неизбежно влечет за собой наказание (музыкальное) секвенция (кинематографический
~ ряд ~ муз. секвенция ~ (по) следствие, результат ~ упорядочивать ~ устанавливать последовательность
Полный англо-русский словарь
progression
* арифметическая прогрессия (музыкальное) прогрессия (музыкальное) секвенция geometric ~ мат
Полный англо-русский словарь