Тоже самое что слово - певун,
1. Разг. То же, что: певец (1).
2. у старое То же, что: певец (3).
-а, м. Разг.
Тот, кто любит петь, кто много поет.
Жил в хижине бедняк Сапожник, но такой певун и весельчак, Что с утренней зари и до обеда, С обеда до ночи без умолку поет. И. Крылов, Откупщик и Сапожник.
Сидели за столом и такие, без которых не обходится ни одна свадьба, ни одно сколько-нибудь заметное гульбище, — это гармонист и два-три певуна. М. Алексеев, Ивушка неплакучая.
|
О певчей птице.
В траве трещала, позванивая, какая-то птица. — Что за певун? — спросил Сараев. Паустовский, Рождение моря.
... Коши :. где Пусть правая часть является непрерывной функцией в. В этих предположениях имеет место теорема Пеано , устанавливающая локальную разрешимость . задачи Коши : Пусть a>0 и b>0 таковы , что.замкнутый прямоугольник принадлежит ... ... D, тогда на отрезке , где , , существует решение задачи . Коши Указанный отрезок называется отрезком Пеано Заметим , что, локальный характер теоремы Пеано не зависит от гладкости . правой части ... (Математический анализ. Дифференциальные уравнения)
... ) - самой ранней , романтической стадии аналитической философии Вдохновленные достижениями Г Кантора , Г Фреге и Д Пеано в математической логике , Б Рассел и А Н Уайтхед с ее помощью строго доказали , что вся математика выводится ... (Философия)
... доказал полноту интуиционистского исчисления предикатов , а в 1936 году - доказал . непротиворечивость аксиоматики Пеано для целых чисел , расширив ее с помощью .секвенциального варианта трансфинитной индукцией до ординала ... ... Часть таких исчислений наследует построение Генцена , примененное при доказательстве непротиворечивости . арифметики Пеано , и включает элементы систем натурального вывода , среди таковых -.система Саппса (англ ... (Теория цифровых автоматов)
... .программирования Однако общая теория натуральных чисел первого порядка , выраженная ваксиомах .Пеано , не может быть решена спомощью алгоритма Практические процедуры принятия решений ... (Языки и методы программирования. Теория трансляции)
... Аксиоматизация теории - явное указание конечного или счетного , рекурсивно перечислимого (как., например , в аксиоматике Пеано ) набора аксиом и правил вывода После того как даны названия изучаемым объектам и их основным ... (введение в математику. основы)
... . Индуктивные типы создают новые константы для функции-преемника и нуля , что. очень напоминает аксиомы Пеано . Теория типов имеет простую связь с конструктивной математикой через интерпретацию . BHK Это может ... (Структуры данных)
Комментарии
Оставить комментарий