RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Пробл. передачи информ.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Пробл. передачи информ., 1996, том 32, выпуск 3, страницы 82–96 (Mi ppi348)  

Теория языков

О некоторых применениях метода семантического оценивания

В. А. Любецкий


Аннотация: Предлагается компьютерно ориентированная система семантического оценивания суждений. Изучаются ее свойства и доказываются соответствующие утверждения. В частности, показана возможность конструирования объекта по доказательству его существования; показана возможность переносить свойства упорядоченных полей (в том числе теорем Гильберта и Артина, включая верхние числовые оценки в этих теоремах) на упорядоченные кольца специального вида.

Полный текст: PDF файл (1936 kB)

Англоязычная версия:
Problems of Information Transmission, 1996, 32:3, 290–302

Реферативные базы данных:

УДК: 621.391.1:51
Поступила в редакцию: 29.12.1994

Образец цитирования: В. А. Любецкий, “О некоторых применениях метода семантического оценивания”, Пробл. передачи информ., 32:3 (1996), 82–96; Problems Inform. Transmission, 32:3 (1996), 290–302

Цитирование в формате AMSBIB
\RBibitem{Lyu96}
\by В.~А.~Любецкий
\paper О~некоторых применениях метода семантического оценивания
\jour Пробл. передачи информ.
\yr 1996
\vol 32
\issue 3
\pages 82--96
\mathnet{http://mi.mathnet.ru/ppi348}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1441517}
\zmath{https://zbmath.org/?q=an:1039.03506}
\transl
\jour Problems Inform. Transmission
\yr 1996
\vol 32
\issue 3
\pages 290--302


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ppi348
  • http://mi.mathnet.ru/rus/ppi/v32/i3/p82

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Проблемы передачи информации Problems of Information Transmission
    Просмотров:
    Эта страница:159
    Полный текст:52
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019