Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «Метод схем программ для пропозициональных программных логик за 30 лет, "Программирование"»

Авторы:
  • Шилов Н.В.1
  • Шилова С.О.2
  • Бернштейн А.Ю.3
стр. 69-92
Платно
1 Институт систем, информатики им. А. П. Ершова, 2 Институт систем, информатики им. А. П. Ершова, 3 Институт систем, информатики им. А. П. Ершова
  • В выпуске: №4, 2016
  • В журнале: Программирование
  • Издательство: ФГУП «Издательство «Наука»
  • Рубрика ГРНТИ: Информатика. Информационные и вычислительные системы
  • Год выхода: 2016
  • SDI: 007.001.0132-3474.2016.000.004.69.92
  • ISSN: 0132-3474
Аннотация:
В настоящей статье представлен обзор так называемого схемного метода доказательства разрешимости пропозициональных программных логик. Этот метод основан на сведении к вариантам проблемы относительной тотальности для недетерминированных схем Янова.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.