RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Сметанин Юрий Михайлович

В базах данных Math-Net.Ru
Публикаций: 9
Научных статей: 7

Статистика просмотров:
Эта страница:260
Страницы публикаций:1293
Полные тексты:571
Списки литературы:137
доцент
кандидат физико-математических наук
E-mail:

http://www.mathnet.ru/rus/person59763
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2017
1. Ю. М. Сметанин, “Верификация логического следования в неклассической многозначной логике”, Изв. ИМИ УдГУ, 50 (2017),  62–82  mathnet  isi  elib
2. Ю. М. Сметанин, “Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа”, Программные системы: теория и приложения, 8:2 (2017),  69–93  mathnet
2016
3. Ю. М. Сметанин, “Непарадоксальное логическое следование и проблема решения МЛ-уравнений”, Программные системы: теория и приложения, 7:1 (2016),  99–115  mathnet
2013
4. Ю. М. Сметанин, “Логика высказываний на основе алгебраической системы, включающая традиционную силлогистику”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2013, 2,  127–146  mathnet
2011
5. Ю. М. Сметанин, “Анализ парадоксов материальной импликации в ортогональном базисе силлогистики”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2011, 4,  144–162  mathnet
2010
6. Ю. М. Сметанин, “Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, 4,  172–185  mathnet
2009
7. Ю. М. Сметанин, “Ортогональный базис силлогистики”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2009, 4,  155–166  mathnet

2019
8. А. А. Грызлов, В. А. Зайцев, Д. М. Кинзебулатов, Н. В. Латыпова, В. П. Максимов, Н. Н. Петров, С. Н. Попова, В. И. Родионов, Л. И. Родина, Ю. М. Сметанин, Д. Л. Федоров, “Василий Яковлевич Дерр. К юбилею”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:4 (2019),  612–617  mathnet  isi
9. А. П. Бельтюков, А. А. Грызлов, Д. В. Дюгуров, В. А. Зайцев, Н. Н. Петров, С. Н. Попова, В. И. Родионов, Ю. М. Сметанин, А. Д. Яшин, “Николай Николаевич Непейвода. К юбилею”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 29:2 (2019),  295–298  mathnet  zmath  isi  elib  scopus

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020