терма

  • 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Исчисления предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия