СЕКВЕНЦИЯ



  1. Секвенция

    (позднелат. sequentia, букв. — то, что идёт вслед; следование, от лат. sequor — следую).

    1) Жанр ср.-век. монодии, песнопение, исполнявшееся в мессе после Alleluia перед чтением Евангелия. Происхождение термина "С.


    Музыкальная энциклопедия




  2. Секвенция

    Звук

    Восходящее или нисходящее перемещение мелодического материала.


    Словарь компьютерных терминов




  3. секвенция

    Секвенции, ж. [латин. sequentia – следование] (муз. устар.). Повторение мотива в один или два такта в восходящем или нисходящем порядке.


    Большой словарь иностранных слов




  4. секвенция

    Секвенция, секвенции, секвенции, секвенций, секвенции, секвенциям, секвенцию, секвенции, секвенцией, секвенциею, секвенциями, секвенции, секвенциях


    Грамматический словарь Зализняка




  5. секвенция

    -и, ж.

    1. муз.

    Повторение какого-л. мотива на различных ступенях восходящей или нисходящей гаммы.

    2.

    Разновидность средневековых католических песнопений.

    [От лат. sequentia — следование]


    Малый академический словарь




  6. секвенция

    секвенция ж.

    1. Перемещение одного и того же напева по ступеням гаммы вверх или вниз.

    2. Название некоторых древнейших католических церковных песнопений.


    Толковый словарь Ефремовой




  7. СЕКВЕНЦИЯ

    СЕКВЕНЦИЯ (от средневекового лат. sequentia — последовательность) ,1) проведение мелодического оборота или многоголосного музыкального построения на определенный интервал выше или ниже первоначального или (в последующих звеньях) предыдущего.


    Большой энциклопедический словарь




  8. секвенция

    сущ., кол-во синонимов: 3 повторение 73 прогрессия 2 стабат матер 2


    Словарь синонимов русского языка




  9. секвенция

    орф.

    секвенция, -и


    Орфографический словарь Лопатина




  10. секвенция

    СЕКВ’ЕНЦИЯ, секвенции, ·жен. (·лат. sequentia — следование) (муз.). То же, что прогрессия во 2 ·знач.


    Толковый словарь Ушакова




  11. Секвенция

    Выражение вида где A1,. . ., А n, B1, . . ., В т- формулы. Читается: "при допущениях A1, . . ., А n имеет место В 1 или B2, или . . ., или В т". Часть С., стоящая слева от стрелки, наз. а н т е ц е д е н т о м; часть С., стоящая справа от стрелки, наз.


    Математическая энциклопедия




  12. Секвенция

    В музыке постепенное повторение мотива, от одного до четырех тактов, в восходящем или нисходящем порядке. При таком повторении выбирается интервал, на который мотив должен перестанавливаться при своем повторении. С. бывает точная и неточная.


    Энциклопедический словарь Брокгауза и Ефрона




  13. секвенция

    СЕКВЕНЦИЯ -и; ж. [от лат. sequentia — следование] Муз.

    1. Повторение какого-л. мотива на различных ступенях восходящей или нисходящей гаммы.

    2. Разновидность средневековых католических песнопений.


    Толковый словарь Кузнецова




  14. Секвенций исчисление

    объектами преобразования являются не формулы, а т. н. секвенции, т. е. выражения вида A1,..., Al

    первые — образующие антецедент секвенции, вторые — её сукцедент. При l, m ≥ 1 секвенция A1,..., Al → B1

    ⊃ — импликации, ∨ — дизъюнкции, см. Логические операции), секвенция с пустым антецедентом

    интерпретируется как истина, а секвенция с пустым сукцедентом — как ложь (и, следовательно, секвенция →, состоящая

    из одной стрелки, — как противоречие). Аксиомами (исходными секвенциями) в С. и. являются


    Большая советская энциклопедия




  15. Секвенций Исчисление

    ц и е й наз. фигура вида , где Г и D — наборы формул, Г наз. а н т е ц е д е н т о м секвенции, а D

    и вводят логич. связки в антецедент или сукцедент секвенции: Здесь в правилах предполагается

    тогда и только тогда, когда секвенция выводима в С. и. Для доказательства этого утверждения существенна основная теорема Генцена

    если в С. и. выводимы секвенции и , то выводима и секвенция Правило вывода наз. правилом сечения, и теорема

    правила сечения не изменяет объема выводимых секвенций. Ввиду этого теорему Генцена наз. также


    Математическая энциклопедия




  16. ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ

    ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ – одна из основных форм представления логических систем, применяемая в логике

    вывода. Термин «секвенция» происходит от слова sequent (последовательность). Он введен в логику

    П.Герцем (1929) и заимствован Г.Генценом, который впервые сформулировал в форме исчисления секвенций

    классическую и интуиционистскую логику предикатов первого порядка.

    Секвенция – это формальная запись

    выводимости. Левую часть секвенции называют антецедентом, а правую – сукцедентом. Содержательно в исходном


    Новая философская энциклопедия




  17. стабат матер

    сущ., кол-во синонимов: 2 гимн 13 секвенция 3


    Словарь синонимов русского языка




  18. прогрессия

    сущ., кол-во синонимов: 2 ряд 49 секвенция 3


    Словарь синонимов русского языка




  19. Ноткер

    теоретик. Монах Санкт-Галленского монастыря (Швейцария). Разрабатывал жанр секвенции (его поэтические


    Большая биографическая энциклопедия




  20. Gradazione

    музыкальной фразы, связанной с повышением мелодии и аккомпанемента. Один из способов G. есть секвенция.

    Н. С.


    Энциклопедический словарь Брокгауза и Ефрона




  21. Генцена Формальная Система

    с. могут использовать секвенции, а секвенциальные Г. ф. с. иногда оформляют в виде исчисления формул

    а не секвенций; иногда все Г. ф. с. считают натуральными, т. к. все они в той пли иной степени отражают

    правилами: (сокращение повторений), (перестановка). Секвенция, находящаяся под чертой, наз. заключением

    правила, а секвенции, находящиеся над чертой,- посылками. Аксиома изображает введение допущения

    правило иллюстрирует освобождение от допущения: формула Вверхней секвенции зависит от допущения А, формула


    Математическая энциклопедия




  22. прогрессия

    перемещение одноголосного или многоголосного музыкального построения в восходящем или нисходящем направлении; секвенция.


    Толковый словарь Ефремовой




  23. СТАБАТ МАТЕР

    ") — средневековая секвенция, а также гимн римско-католического обихода. Известны многоголосные композиции


    Большой энциклопедический словарь




  24. триольный

    Зап. краеведов 151. Секвенция из нисходящих трезвучий в триольном движении. Октябрь 2002 2 8. — Лекс. САН 1847: триольный.


    Словарь галлицизмов русского языка




  25. прогрессия

    или краткая прогрессия.

    2. Повторение мотива в один или два такта в восходящем или нисходящем порядке, то же, что секвенция (муз. ·устар. ).


    Толковый словарь Ушакова




  26. прогрессия

    в один или два такта в восходящем или нисходящем порядке, то же, что секвенция (муз. устар.).


    Большой словарь иностранных слов




  27. Двойной канон

    Разновидностью бесконечных канонов на 2 темы являются двойные бес конечные каноны-секвенции, также

    бесконечный канон-секвенция I разряда. Ю. А. Шапорин. Пассакалия для фортепиано.



    Канон в обращении. Палестрина. Каноническая месса.

    Т. Ф. Мюллер.


    Музыкальная энциклопедия




  28. Ход

    не имеет четного числа тактов. Преобладающий характер Х. — секвенция. Иногда X. состоит из небольшого

    из предложений. Если же предложение построено и в виде секвенций или, иначе говоря


    Энциклопедический словарь Брокгауза и Ефрона




  29. Юбиляция

    подтекстовал их так, что на каждую ноту приходился слог текста. Отсюда возникли секвенции (вид церковных песнопений).


    Большая советская энциклопедия




  30. ФУГА

    интермедиями (как правило, в виде секвенций) — в которых тема не проходит. Количество голосов от 2 до 6


    Большой энциклопедический словарь




  31. Прогрессия в музыке

    допускаются отступления от точной величины интервалов мотива и интервала, на которой мотив перестанавливается. П. называется также секвенцией.

    Н. С.


    Энциклопедический словарь Брокгауза и Ефрона




  32. Адам Сен-Викторский

    из них известно, что они возникли в аббатстве Сен-Виктор. В творчестве А. секвенция, как жанр

    у А. образами в.-з. истории. Среди наиболее известных стихов А. — секвенции на праздник Св. Троицы

    и на Пасху, о св. Стефане Первомученике и ряд секвенций, посвященных Пресвятой Деве Марии, самая


    Католическая энциклопедия




  33. ЭЛИМИНАЦИОННАЯ ТЕОРЕМА

    » (Hauptsatz) для исчисления секвенций [ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ]классической и интуиционистской логики

    в классическом или интуиционистском исчислении секвенций можно преобразовать в вывод с той же конечной

    секвенцией, не содержащий применений правила сечения.

    Идейно устранение сечения связано со следующей

    в результат вывода (конечную секвенцию). Поэтому уже по структуре формул данной секвенции, фактически

    и заканчиваются одной и той же секвенцией. В классическом варианте доказательства Генцена ключевую


    Новая философская энциклопедия




  34. Стабат матер

    сокращенное от лат. Stabat mater dolorosa — стояла мать скорбящая)

    одна из средневековых секвенций


    Большая советская энциклопедия




  35. Проведение

    в виде канонич. секвенции у разных инструментов).

    2) Полное или относительно полное первоначальное


    Музыкальная энциклопедия




  36. Пропоста

    и канонич. секвенциях). Реже термин "П." относится к имитируемой части начинающего голоса простой (не канонической) имитации, иногда — к теме фуги.

    В. П. Фраёнов.


    Музыкальная энциклопедия




  37. валетный

    шесть секвенций. Терцет < терц> — 6 видов: Дамский: Дама, валет, десятка. Валетный: валет


    Словарь галлицизмов русского языка




  38. Ноткер

    на заикание, пользовался славой прекрасного учителя. Как композитор выработал муз. форму секвенций

    строки), для к-рых частично взял известные мелодии, частично сочинил сам.

    Н. разработал жанр секвенций

    и в области поэзии. Сочинённые им в 860-880-х гг. 4 десятка секвенций (годовой цикл) объединил

    ecclesiasticis", не сохранился).



    Начало секвенции "На праздник Пятидесятницы".

    Трактаты о музыке


    Музыкальная энциклопедия




  39. Титов В. П.

    использование имитаций и секвенций, разнообразные эффекты хор. звучания. Среди его соч. — партесные


    Музыкальная энциклопедия




  40. Барраке Ж.

    "Секвенция" для певца, ударных и др. инструментов (1955), "Песнь за песней" для певца, ударных и фп. ("Chant


    Музыкальная энциклопедия




  41. Экзерсис

    иногда проводится в виде секвенции. Примерами Э. могут служить сб-к Ганона "Пианист-виртуоз..." ("Pianiste-virtuose


    Музыкальная энциклопедия




  42. секанс

    1779. Г. Комов Карт. игры 40. Еэжели есть у вас секвенция короля, крали и хлапа .. с них ход верной


    Словарь галлицизмов русского языка




  43. СЕРЕБРЯННИКОВ

    построения исчисления секвенций [ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ]и систем натурального вывода, которые особенно


    Новая философская энциклопедия




  44. Логическое исчисление

    наименование подпадают и различные модификации введённых немецким логиком Г. Генценом секвенций

    исчисления (См. Секвенций исчисление) и натурального исчисления (См. Натуральное исчисление). «Л


    Большая советская энциклопедия




  45. Dies irae

    века в пепел) — ср.-век. католич. песнопение (секвенция). Выражает идею страшного суда. Происходит

    Томмазо ди Челано (ум. 1255). D. i. — одна из 5 секвенций, узаконенных Тридентским собором в Риме


    Музыкальная энциклопедия




  46. повторение

    секвенция 3 симплока 3 сказка про белого бычка 6 скалывание 17 сколок 10 слепок 13 словесный мусор


    Словарь синонимов русского языка




  47. Транспонирование

    Транспонировка часто применяется в точной секвенции (см.), в которой данный мотив транспонируется


    Энциклопедический словарь Брокгауза и Ефрона





  1. секвенция
    Жен. sequence

    Полный русско-английский словарь




  2. секвенция
    Ж mus. sekvensiya (hər hansı bir motivin, qalxan ya enən qammanın müxtəlif pillələrində təkrarı).

    Русско-азербайджанский словарь




  3. секвенция
    ж. муз.

    repetición f, gradación melódica

    Большой русско-испанский словарь




  4. секвенция
    сущ. жен. рода

    секвенція

    Русско-украинский словарь




  5. секвенция
    Секвенцыя

    Русско-белорусский словарь




  6. неявная секвенция
    Мат. implicit sequent

    Полный русско-английский словарь




  7. средняя секвенция
    Мат. mean sequence, midsequent

    Полный русско-английский словарь




  8. нижняя секвенция
    Мат. lower sequent

    Полный русско-английский словарь




  9. секвенция (муз.)
    Секвенция (муз.)

    מַעֲקוֹבֶת נ'


    Русско-ивритский словарь




  10. позитивная секвенция
    Мат. positive sequent

    Полный русско-английский словарь




  11. общезначимая секвенция
    Мат. valid sequence

    Полный русско-английский словарь




  12. несходные секвенция
    Мат. incognate sequents

    Полный русско-английский словарь




  13. регулярная секвенция
    Мат. regular sequent

    Полный русско-английский словарь




  14. сходная секвенция
    Cognate sequent

    Полный русско-английский словарь




  15. явная секвенция
    Мат. explicit sequent

    Полный русско-английский словарь




  16. доказуемая секвенция
    Мат. provable sequent

    Полный русско-английский словарь




  17. предваренная секвенция
    Мат. prenex sequent

    Полный русско-английский словарь




  18. сходные секвенции
    Cognate sequents

    Полный русско-английский словарь




  19. истинная секвенция
    Мат. true sequent

    Полный русско-английский словарь




  20. заключительная секвенция
    Мат. terminal sequence

    Полный русско-английский словарь




  21. верхняя секвенция
    Мат. upper sequent

    Полный русско-английский словарь




  22. негативная секвенция
    Мат. negative sequent

    Полный русско-английский словарь




  23. выводимая секвенция
    Мат. derivable sequent

    Полный русско-английский словарь




  24. midsequent
    Средняя секвенция


    Полный англо-русский словарь




  25. midsequent
    Средняя секвенция


    Англо-русский морской словарь




  26. cognate sequent
    Сходная секвенция


    Полный англо-русский словарь




  27. cognate sequents
    Сходные секвенции


    Полный англо-русский словарь




  28. מַעֲקוֹבֶת נ'
    מַעֲקוֹבֶת נ'

    секвенция (муз.)


    Иврит-русский словарь




  29. explicit sequent
    Мат. явная секвенция


    Полный англо-русский словарь




  30. sequent
    1

    секвенция

    2

    вытекающий


    Англо-русский морской словарь




  31. prenex sequent
    Мат. предваренная секвенция


    Полный англо-русский словарь




  32. derivable sequent
    Мат. выводимая секвенция


    Полный англо-русский словарь




  33. incognate sequents
    Мат. несходные секвенция


    Полный англо-русский словарь




  34. mean sequence
    Мат. средняя секвенция


    Полный англо-русский словарь




  35. regular sequent
    Мат. регулярная секвенция


    Полный англо-русский словарь




  36. terminal sequence
    Мат. заключительная секвенция


    Полный англо-русский словарь




  37. provable sequent
    Мат. доказуемая секвенция


    Полный англо-русский словарь




  38. lower sequent
    Мат. нижняя секвенция


    Полный англо-русский словарь




  39. negative sequent
    Мат. негативная секвенция


    Полный англо-русский словарь




  40. секвенція
    імен. жін. роду

    секвенция


    Украинско-русский словарь




  41. upper sequent
    Мат. верхняя секвенция


    Полный англо-русский словарь




  42. valid sequence
    Мат. общезначимая секвенция


    Полный англо-русский словарь




  43. true sequent
    Мат. истинная секвенция


    Полный англо-русский словарь




  44. positive sequent
    Мат. позитивная секвенция


    Полный англо-русский словарь




  45. implicit sequent
    Мат. неявная секвенция


    Полный англо-русский словарь




  46. sequência
    f

    1) продолжение

    2) последовательность

    3) муз секвенция


    Португальско-русский словарь




  47. Sequenz
    Sequenz f =, -en

    1. муз. секвенция

    2. карт. карты одной масти

    3. эпизод (кинофильма)


    Большой немецко-русский словарь




  48. sequence
    sequence в исторической (или хронологической) последовательности

    2) (по)следствие, результат

    3) кино последовательный ряд кинокадров, эпизод

    4) муз. секвенция


    Англо-русский словарь Мюллера




  49. período
    секвенция

    7) хим периодическая система элементов

    8) браз менструация

    ••

    - período arqueano

    - período axial

    Португальско-русский словарь




  50. sequence
    естественный результат 3) муз. секвенция 4) а) серия, ряд; цикл б) кино последовательный ряд кинокадров

    punishment преступление неизбежно влечет за собой наказание (музыкальное) секвенция (кинематографический

    ~ ряд ~ муз. секвенция ~ (по) следствие, результат ~ упорядочивать ~ устанавливать последовательность

    Полный англо-русский словарь




  51. progression
    * арифметическая прогрессия (музыкальное) прогрессия (музыкальное) секвенция geometric ~ мат

    Полный англо-русский словарь



№2 (2460)№2 (2460)№3 (2404)№3 (2404)№4 (2359)№5 (2354)№6 (2331)№7 (2318)№8 (2316)№9 (2314)№10 (2310)№10 (2310)