Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Критерий неявной полноты в трехзначной логике". Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупанова
статья
Автор:
Старостин М.В.
Сборник:
Материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О. Б. Лупанова (Москва, МГУ, 20–25 июня 2016 г.)
Редакторы:
Дудакова Ольга Сергеевна
,
Колпаков Роман Максимович
,
Комбаров Юрий Анатольевич
,
Кочергин Вадим Васильевич
Год издания:
2016
Место издания:
Изд-во механико-математического факультета МГУ Москва
Первая страница:
226
Последняя страница:
229
Аннотация:
Сформулирован критерий неявной полноты в трехзначной логике P_3 в терминах неявно предполных классов.
Добавил в систему:
Старостин Михаил Васильевич