Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
сборник
Члены редколлегии:
Григорьев О.М.
,
Карпенко А.С.
,
Маркин В.И.
,
Зайцев Д.В.
Год издания:
2015
Серия:
Смирновские чтения по логике
Издательство:
Изд-во Моск. ун-та
Местоположение издательства:
М.
Сборник тезисов
Добавил в систему:
Ильин Алексей Алексеевич
Статьи, опубликованные в сборнике
Страницы:
<< предыдущая
следующая >>
2015
Методы доказательства семантической полноты и разрешимости многозначных модальных логик
Ивлев Ю.В.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 20-21
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
О выделении и сравнении теорий в языке с одной связкой или одним предикатором (на примере теорий одной силлогистической связки)
Шиян Тарас Александрович
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 103-105
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
О лекциях по алгебре логики С.А. Яновской
Кузичева З.А.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 117-118
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Об одной проблеме, поставленной В.А. Смирновым
Попов В.М.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 30-32
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Об одном подходе к "релевантизации" силлогистики
Маркин В.И.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 81-83
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Погружение классической логики предикатов в логику квазиарных предикатов
Рыбаков М.Н.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 33-34
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Погружение традиционной негативной силлогистики в монадическую теорию
Красненкова Анастасия Владимировна
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 77-78
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Практическое рассуждение в области норм
Кузина Е.Б.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 149-152
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Решетка фундаментальных четырехзначных модальных логик
Карпенко А.С.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 24-26
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2015
Семантический треугольник: когнитивная редукция
Зайцева Н.В.
в сборнике
Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
, серия
Смирновские чтения по логике
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 68-70
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
Страницы:
<< предыдущая
следующая >>