Синтеза Задачи

- теорема синтаксического языка, т. Е. Теорема о формализованной теории. Примеры С. Т. Теорема дедукции для исчисления предикатов, теорема Гёделя о неполноте арифметики. Эти теоремы относятся к элементарному синтаксису. Примером неэлементарной С. Т., то есть теоремы, доказательство к-рой существенно использует бесконечные совокупности, может служить теорема о непротиворечивости элементарной арифметики. В. Н. Гришин. ..

- язык, предназначенный для изучения формализованного языка в отвлечении от его главной интерпретации. Понятие о С. Я. Возникло в математич. Логике в связи с вопросами формализации и исследования содержательных математич. Теорий. Результатом формализации какой-либо содержательной теории является формальная система, к-рую можно рассматривать как самостоятельный объект исследования, забыв о ее происхождении. Для исследования формальных систем в таком плане служит С. Я. В С. Я. Дается описание яз..

- одна из тригонометрич. Функций. у = sinx. Область определения - вся числовая прямая, область значений - отрезок [-1. 1]. С.- функция нечетная, периодическая с периодом 2p. С. И косинус связаны формулой sin2 x +cos2 х =1, С. И косеканс связаны формулой Производная С. (sin x)' = cos x. Интеграл от С. С. Разлагается в степенной ряд. Функция, обратная С., наз. Арксинусом. С. И косинус комплексного аргумента z связаны с показательной функцией формулами Эйлера если z=ix (чи..

эллиптический синус,- одна из трех основных Якаби эллиптических функций, обозначаемая Синус амплитуды определяется через тета-функции или при помощи рядов следующим образом. где k - модуль С. А. (чаще всего ), v=u/2w, . При k=0, 1 соответственно sn(u, 0)= sin и, sn(u, 1)=th и. Лит.:[1]Гуряиц А., Курант Р., Теория функций, пер. С нем., М., 1968, ч. 2, гл. 3. Е. Д. Соломенцев. ..