секвенция
31СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — (от лат. sequentia последовательность) введенная в рассмотрение нем. математиком Г. Генценом (1934 35) разновидность понятия формальной системы (исчисления). В отличие от наиболее распространенного типа гильбертовских формальных систем, в… …
32ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… …
33МУЗЫКАЛЬНАЯ ФОРМА — Под формой в музыке подразумеваются организация музыкального целого, способы развития музыкального материала, а также жанровые обозначения, которые авторы дают своим произведениям. Композитор в процессе творчества неизбежно приходит к некоей… …
34Хильдегарда Бингенская — Hildegard von Bingen …
35Берио, Лучано — У этого термина существуют и другие значения, см. Берио. Лучано Берио Luciano Berio …
36Духовная музыка — музыкальные произведения, связанные с текстами религиозного характера, предназначенные для исполнения во время церковной службы или в быту. Под духовной музыкой в узком смысле подразумевают церковную музыку христиан; в широком смысле духовная… …
37Фон Бинген, Хильдегард — Хильдегарда Бингенская обретает божественное вдохновение и диктует своему писцу (справа). Миниатюра из рукописи Liber Scivias, которая хранится в монастыре Рупертсберг (Rupertsberg) Хильдегарда Бингенская (нем. Hildegard von Bingen, 1098,… …
38Хильдегард фон Бинген — Хильдегарда Бингенская обретает божественное вдохновение и диктует своему писцу (справа). Миниатюра из рукописи Liber Scivias, которая хранится в монастыре Рупертсберг (Rupertsberg) Хильдегарда Бингенская (нем. Hildegard von Bingen, 1098,… …
39СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода. С. и. было предложено Г. Генценом в 1934 (см. [1]). Ниже… …
40месса — ы; ж. [итал. messa] 1. Католическая обедня. В церкви началась м. Заупокойная м. 2. Многоголосое хоровое произведение для церковной службы, исполняемое обычно в сопровождении органа или оркестра. М. Баха. * * * месса (позднелат. missa, итал. messa …
