секвенции

См. также в других словарях:

• Секвенция (музыка) — У этого термина существуют и другие значения, см. Секвенция. Секвенция (позднелат. sequentia последовательность)[1] в технике музыкальной композиции приём, который сводится к последовательному повторению данной мелодической фразы или… …   Википедия

• Секвенция (жанр) — У этого термина существуют и другие значения, см. Секвенция. Секвенция (позднелат. sequentia последование, от sequens следующий), текстомузыкальная форма и жанр в богослужебном обиходе католической церкви (см. Григорианский хорал).… …   Википедия

• ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… …   Математическая энциклопедия

• ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ —     ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин “секвенция” происходит от… …   Философская энциклопедия

• Секвенций исчисление — (позднелатинское sequentia последовательность, следствие)         секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… …   Большая советская энциклопедия

• ГРИГОРИАНСКОЕ ПЕНИЕ — [григорианский распев, григорианика, григорианский хорал (устар.); лат. cantus gregorianus; англ. gregorian chant; франц. chant grégorien; нем. gregorianischer Gesang, gregorianischer Choral, Gregorianik; итал. canto gregoriano], традиц.… …   Православная энциклопедия

• Гармония —         (греч. armonia связь, стройность, соразмерность) выразительные средства музыки, осн. на объединении тонов в созвучия и последовательности созвучий. Подразумеваются созвучия в условиях лада и тональности. Г. проявляется не только в… …   Музыкальная энциклопедия

• Секвенция —         (позднелат. sequentia, букв. то, что идёт вслед; следование, от лат. sequor следую).         1) Жанр ср. век. монодии, песнопение, исполнявшееся в мессе после Alleluia перед чтением Евангелия. Происхождение термина С. связано с обычаем… …   Музыкальная энциклопедия

• Церковная музыка —         (нем. Kirchenmusik, итал. musica sacra, musica da chiesa, франц. musique d eglise, musique sacrйe, англ. church music) музыка христианской церкви, предназначенная для сопровождения службы или исполнения в т. н. внеслужебные часы. Понятия… …   Музыкальная энциклопедия

• ГИМНОГРАФИЯ — [греч. ὑμνογραφία песнотворчество, от ὕμνος гимн, песнь и γράφω писать], в христ. богослужении небиблейские поэтические тексты, предназначенные для исполнения (в первую очередь певч.) в определенные моменты служб. Жанры церковной Г. разнообразны… …   Православная энциклопедия

• СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода. С. и. было предложено Г. Генценом в 1934 (см. [1]). Ниже… …   Математическая энциклопедия