1. Гимн в честь бога войны или по случаю войны (в Древней Греции).
2. Восхваление, прославление кого -либо , чего -либо 2. То же, что: пеон (1*).
1. Пеана, ( греческое paian и paion). 1. В древней Греции - гимн в честь бога или по случаю войны. Победный пеан. 2. Четырехсложная стихотворная стопа из трех неударяемых и одного ударяемого слога, при чем пеан называется первым, вторым, третьим или четвертым в зависимости от того, на каком слоге стопы стоит ударение (л (итальянское) ), например стих Лермонтова: кочующие караваны может быть разложен на второй и четвертый пеаны.
ПЕАН
( греческое ). Торжественный гимн в честь лица или события.
ПЕАН
греческое Paian. а) Врач богов. b) Прозвание Аполлона, как бога медицины. с) Торжественное пение по случаю юбилея, празднества и проч.
ПЕАН или ПЕОН
( греческое ). Врач олимпийских богов. 2) прозвище Эскулапа.
-а, м.
1.
В древней Греции: гимн в честь бога или по случаю войны.
И ахеяне, устроя Свой на родину возврат, На судах своих сидели, Вдоль эгейских берегов, И пеан хвалебный пели, Громко славя всех богов. Тютчев, Поминки.
2. Л (итальянское)
То же, что пеон 1.
{Греч. παιάν}
... Коши :. где Пусть правая часть является непрерывной функцией в. В этих предположениях имеет место теорема Пеано , устанавливающая локальную разрешимость . задачи Коши : Пусть a>0 и b>0 таковы , что.замкнутый прямоугольник принадлежит ... ... D, тогда на отрезке , где , , существует решение задачи . Коши Указанный отрезок называется отрезком Пеано Заметим , что, локальный характер теоремы Пеано не зависит от гладкости . правой части ... (Математический анализ. Дифференциальные уравнения)
... ) - самой ранней , романтической стадии аналитической философии Вдохновленные достижениями Г Кантора , Г Фреге и Д Пеано в математической логике , Б Рассел и А Н Уайтхед с ее помощью строго доказали , что вся математика выводится ... (Философия)
... доказал полноту интуиционистского исчисления предикатов , а в 1936 году - доказал . непротиворечивость аксиоматики Пеано для целых чисел , расширив ее с помощью .секвенциального варианта трансфинитной индукцией до ординала ... ... Часть таких исчислений наследует построение Генцена , примененное при доказательстве непротиворечивости . арифметики Пеано , и включает элементы систем натурального вывода , среди таковых -.система Саппса (англ ... (Теория цифровых автоматов)
... .программирования Однако общая теория натуральных чисел первого порядка , выраженная ваксиомах .Пеано , не может быть решена спомощью алгоритма Практические процедуры принятия решений ... (Языки и методы программирования. Теория трансляции)
... Аксиоматизация теории - явное указание конечного или счетного , рекурсивно перечислимого (как., например , в аксиоматике Пеано ) набора аксиом и правил вывода После того как даны названия изучаемым объектам и их основным ... (введение в математику. основы)
... . Индуктивные типы создают новые константы для функции-преемника и нуля , что. очень напоминает аксиомы Пеано . Теория типов имеет простую связь с конструктивной математикой через интерпретацию . BHK Это может ... (Структуры данных)
Комментарии
Оставить комментарий