терма
81Лонгченпа — или Лонгчен Рабжампа (Longchenpa, Longchen Rabjampa) (1308 1364, возможно 1369) родился в десятый день одиннадцатого месяца года Земляной Обезьяны (2 марта 1308 года) в деревне Тодтронг в Центральном Тибете. Его отец, буддийский практик Тен… …
82Чоклинг Терсар — (англ. Chokling Tersar, тиб. mchog gling gter gsar)  цикл скрытых учений (терма), открытых Чогьюром Лингпой, собранных и записанных держателями линии. Учения  теры Чокгьюра Лингпы составляют тридцать три тома. Его собственные… …
83Дзонгсар Кьенце Чоки Лодро — Дзонгсар Джамьянг Кхьенце Чокьи Лодро Дзонгсар Джамьянг Кхьенце Чокьи Лодро (англ. Jamyang Khyentse Chökyi Lodrö, тиб. རྫོང་གསར་མཁྱེན་བརྩ་ཆོས་ཀྱི་བློ་གྲོས་) (1893 1959) был одним из величайших мастеров и держателем многих традиций прошлого века.… …
84Спектральный терм — или электронный терм атома, молекулы или иона  конфигурация (состояние) электронной подсистемы, определяющая энергетический уровень. Иногда под словом терм понимают собственно энергию данного уровня. Переходы между термами определяют спектры …
85Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …
86Джамьянг Кхьенце Вангпо — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей …
87Джамьянг Кхьенце Чокьи Лодро — Дзонгсар Джамьянг Кхьенце Чокьи Лодро (англ. Jamyang Khyentse Chökyi Lodrö, тиб. རྫོང་གསར་མཁྱེན་བརྩ་ཆོས་ཀྱི་བློ་གྲོས་) (1893 1959) буддийский мастер тибетской традиции Кагью, держатель линий передач всех 4 основных школ тибетского буддизма,… …
88Император Гай Юлий Цезарь Дивус — Гай Юлий Цезарь; GAIUS IULIUS CAESAR; Диктатор Римской республики …
89Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
90Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …
