Tver State University

Tver State University Repository
Not a member yet
    13858 research outputs found

    Ограниченные псевдоконечная однородность и изолированность

    No full text
    В [8] я предложил специализированную версию достаточных условий для того, чтобы использование общих знаний, собранных в основных операциях и отношениях универсума, не увеличивало выразительных возможностей языка запросов. Это усиление результатов работы [2] позволило охватить и теории без независимой формулы, справедливость трансляционной теоремы для которых была доказана в [1]. Здесь я предлагаю усовершенствованное и более аккуратное изложение этой версии. Вместе с замечательной теоремой С.М. Дудакова о том, что любая Р-сводимая теория является Р-ограниченной. это даёт короткое доказательство трансляционной теоремы для Р-сводимых теорий и, в частности, для теорий без независимой формулы, которые, как доказано в [1], все являются Р-сводимыми. В [10] указано много примеров обогащений арифметики Пресбургсра одной одноместной операцией с разрешимой элементарной теорией. Там же замечено, что для всех этих примеров имеет место трансляционная теорема. Принципиально другой такой пример предложен в [5]. Я предлагаю некоторое усовершенствование этого примера и замечаю, что свойство ограниченной изолированности для него не выполняется. Остаётся открытым вопрос, справедлива ли для этого примера трансляционная теорема

    Особенности понимания крылатых слов современными носителями языка

    Get PDF
    Работа посвящена изучению особенностей понимания крылатых слов современными носителями языка

    Инерция

    No full text
    Опираясь на гипотезу возникновения сил инерции в результате деформации гравитационных волн поля пронизывающих тело, внешними силами, даётся интерпретация принципа пропорциональности mu и mт ,как следствия дуализма свойств гравитационной волны. Выявлена зависимость величины mu от напряжённости гравитационного поля gсумxi и в соответствии с этим дан более общий анализ результатов экспериментов Л.Этвеша, Р.Дикке, В.Брагинского. Сформулировано понятие времени. На основе выдвинутой гипотезы и систематизированных данных о планетах приводятся причины "ускоренного" расширения галактик в Метагалактике

    Нормированные конформные вложения круга в круг с к-квазиконформными продолжениями до р-кратно симметричных отображений кругов

    No full text
    В статье исследуется модель оптимизации инвестиционного портфеля при нечетких случайных данных в постановке, предполагающей достижение приемлемого уровня доходности по мере возможности (необходимости). Предложен метод решения задачи, основанный на ее редукции к эквивалентному детерминированному аналогу - задаче нелинейного программирования. При некоторых предположениях эта задача может быть сведена к задаче сепарабельного программирования

    Коммуникативные стратегии вербального утешения

    Get PDF
    Работа посвящена изучению вопросов вербального утешения, т.е. воздействия словом на человека для изменения его внутреннего состояния

    Использование топологических индексов в количественных корреляциях "Структура-Свойство" (на примере органических соединений разных классов)

    Get PDF
    В работе проводится систематическое исследование и анализ корреляционных возможностей топологических индексов на примере различных физико-химических свойств и биологической активности органических соединений разных классов

    Проблемы синонимии в современной терминологии (на материале лингвистической терминосистемы)

    No full text
    Работа посвящена исследованию синонимических отношений в лингвистической терминосистеме как частной подсистеме научного стиля

    Сравнительные конструкции с wie и gleich в современном немецком языке

    Get PDF
    Работа посвящена сравнительным конструкциям со служебными словами wie и gleich в составе простого предложения

    13,605

    full texts

    13,858

    metadata records
    Updated in last 30 days.
    Tver State University Repository
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇