Гитари́ст — музыкант, играющий на гитаре. Профессиональные гитаристы могут исполнять сольные произведения или играть в составе ансамблей или групп в широком диапазоне музыкальных жанров. В ансамбле гитарист может выполнять роль ритм-гитары или соло-гитары. Также гитарист может аккомпанировать себе во время пения. В настоящее время гитаристы играют с применением новейшего гитарного оборудования, применяя всевозможные процессы и способы извлечения звука, от синтетических до электронных звуков акустических, электро, классических, басовых и др.
Электронная музыка — группа музыкальных жанров, в которых при создании музыки используются электронные музыкальные инструменты, технологии и программное обеспечение на основе электронных схем, а также электроника общего назначения, такая как персональные компьютеры. Воспроизведение электронной музыки осуществляется с использованием громкоговорителей. К электронной относится музыка, созданная с использованием как электронных, так и электромеханических средств. Как специфическое направление в мире музыки оформилась во второй половине XX века и к началу XXI века широко распространилась в академической и массовой культуре.
Хильдега́рда Би́нгенская — немецкая монахиня, настоятельница-аббатиса возведённого под её руководством бенедиктинского монастыря Рупертсберг. Автор мистических книг видений, первая из которых «Путеведение, или Познание путей Господних», духовных стихов, песнопений, трудов по естествознанию и медицине, лексикона «Неизвестный язык». Пророчица. В 2012 году канонизирована Римско-католической Церковью в лике «Учитель Церкви».
Темп — мера времени в музыке, упрощённо — «скорость исполнения музыки».
Музыка барокко — период развития классической музыки конца XVI — первой половины XVIII века.
Антифо́нное пе́ние — хоровое (ансамблевое) пение, в котором попеременно звучат два хора. Антифонное пение применялось в древнегреческой трагедии и, возможно, в древнееврейском богослужении. По данным греческого историка V века Сократа Схоластика, в христианское богослужение введено Игнатием Антиохийским. Другие древние авторы относят появление антифонного пения к IV—V векам от н. э., иногда также указывая в качестве источника традиции Антиохию. На Западе окончательно закрепляют семантику антифонного пения Исидор Севильский (VII в.) и Аврелиан из Реоме (IX в.), которые, употребляя термин антифон, имеют в виду не форму (жанр) богослужебной монодии, а именно способ исполнения (распева) стиха: «Antiphona <…> vox reciproca duobus scilicet choris alternatis psallentibus». В византийском обиходе антифонно распевались псалмы и библейские песни. У католиков антифонно поются псалмы, причём стихи распеваются поочерёдно двумя группами певчих. В русском православном богослужении антифонное пение, предусмотренное Уставом, ныне почти не соблюдается. Понятно, что при наличии только одного хора исполнение положенных песнопений антифонным способом невозможно.
Попурри́ — музыкальная инструментальная пьеса, составленная из популярных мотивов других сочинений, нескольких произведений одного жанра или определенного композитора. Произведение для хора, вокального ансамбля или солиста, составленное из песен, объединённых одной темой, написанных в одной или одноимённых тональностях, а в разных тональностях связанных модулирующей последовательностью аккордов.
Теория доказательств — раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики. Теория доказательств использует точное определение понятия доказательства при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории.
Духо́вная му́зыка — музыкальные произведения, связанные с текстами религиозного характера, предназначенные для исполнения как во время церковной службы, так и в быту. Под духовной музыкой в узком смысле подразумевают церковную музыку христиан; в широком смысле духовная музыка не исчерпывается сопровождением богослужения и не ограничивается христианством. Тексты сочинений духовной музыки могут быть как каноническими, так и свободными, написанными на основе или под влиянием священных книг.
Секве́нция в технике музыкальной композиции — последовательное повторение мелодической фразы или гармонического оборота на другой высоте. Полное проведение секвенцируемого оборота именуется звеном.
Секве́нция — текстомузыкальная форма и литургический жанр григорианской монодии.
Луча́но Бе́рио — итальянский композитор.
Ритм-гита́ра — гитара, предназначенная для исполнения ритмических партий и получившая широкое распространение в различных жанрах современной популярной музыки, включая кантри, регги, блюз, рок-н-ролл, пауэр-поп, метал.
Правило вывода — эффективная процедура для проверки того, что одна заданная формула в рассматриваемой теории непосредственно за один шаг выводится из других заданных формул.
Пиани́ст, пиани́стка — музыкант, исполнитель на фортепиано. Пианисты могут выступать сольно, играть в составе ансамбля или оркестра, а также аккомпанировать другим музыкантам. Лишь немногие пианисты становятся концертирующими, сольно или в составе ансамблей, большинство пианистов занято другой работой: аккомпанированием, выступлением в фойе отелей и ресторанов, работой на музыкальных студиях, преподаванием музыки.
Сечение в теории доказательств — правило вывода, позволяющее удалить («высечь») промежуточное высказывание 
:
.
Устранимость сечений — свойство логических исчислений, согласно которому всякую секвенцию, выводимую в данном исчислении, можно вывести без применения правила сечений. Играет фундаментальную роль в теории доказательств и важную методологическую роль в математической логике в целом в связи с тем, что предоставляет конструктивный метод доказательства непротиворечивости, в частности, для классической и интуиционистской логик первого порядка.
Ба́рбара То́рнтон — американская певица (сопрано), один из крупнейших интерпретаторов средневековой музыки в 1980-е и 1990-е годы.
Victimae paschali — пасхальная секвенция, текст которой приписывается поэту и историку Випо Бургундскому; автор музыки неизвестен. Древнейшие рукописи, содержащие секвенцию, относятся к XI веку. Автор текста описывает знаменитые евангельские события, воспевает Воскресение Христово, победу жизни над смертью.
Исчисление секвенций — вариант логических исчислений, использующий для доказательства утверждений не произвольные цепочки тавтологий, а последовательности условных суждений — секвенций. Наиболее известные исчисления секвенций — 
и 
для классического и интуиционистского исчислений предикатов — построены Генценом в 1934 году, позднее сформулированы секвенциальные варианты для широкого класса прикладных исчислений, теорий типов, неклассических логик.
