Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
сборник
Члены редколлегии:
Григорьев О.М.
,
Маркин В.И.
,
Ивлев Ю.В.
,
Зайцев Д.В.
Год издания:
2009
Серия:
Смирновские чтения по логике
Место издания:
Современные тетради Москва
Сборник тезисов
Добавил в систему:
Маркин Владимир Ильич
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
2009
Intuitive 'approximate' semantics for FDE
Zaitsev Dmitry
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 60-61
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
The short truth table method and its complexity
Shangin V.O.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 111-112
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Аксиома бесконечности и логика
Бочаров В.А.
, Пещерова М.А.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 45-48
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Алгоритмические проблемы окрестностной полноты нормальных модальных логик
Чагров Александр Васильевич
,
Чагрова Лилия Алексеевна
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 39-41
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Ламбда-конверсия А. Чёрча и теория множеств Г. Кантора (секвенциальный вариант)
Кузичев А.С.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 22-23
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Между Par и множеством всех формул
Попов В.М.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 93-95
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Натуральные исчисления с характеристиками зависимости для нормальных систем модальной логики
Григорьев О.М.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 54-55
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Нестандартные переводы позитивных силлогистик в исчисление предикатов
Маркин В.И.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 76-77
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Об автоматизации контроля знаний по логике и теории аргументации
Горчаков А.Е.
,
Шангин В.О.
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 165-167
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
2009
Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств
Хаханян Валерий Христофорович
в сборнике
Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 38-39
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Ивлев Юрий Васильевич
,
Маркин Владимир Ильич
Страницы: << предыдущая
следующая >>