KRASGMU.RU
Авторизация - ВХОД
Лукьянчук Александра Николаевна ●
 
Лукьянчук Александра Николаевна ●
ДостиженияПубликацииВыступления, гранты, мероприятия
РЕЙТИНГ
Экспорт в Word
2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
Достижения - 2015ППС
1
03.05.2015
Конференция "Мальцевские чтения 2015"
Доклад (устный) - международный уровень (кроме стран СНГ)

-
2
01.09.2015
Куратор группы 121 Лечебного факультета

-
ИТОГО:0.0
Публикации - 2015ППС
1
Luk’yanchuk A.N., Rybakov V.V.
Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation // Siberian Mathematical Journal. - 2015. - №3. - P.455-470.
http://link.springer.com/article/10.1134%2FS003744661503009X
Не учитывается в рейтинге

-
2
Лукьянчук А.Н.
Допустимые правила вывода линейной логики Знания и Времени LTK_r с интранзитивным отношением времени. Гипотеза о конечной аксиоматизируемости LTK_r // Тезисы докладов междунородной конференции Мальцевские чтения 2015. - Новосибирск, Институт математики им.Соболева. - 2015
http://math.nsc.ru/conference/malmeet/15/malmeet15.pdf
Тезисы на ВСЕРОССИЙСКОЙ конференции

5.0/1=5.0
ИТОГО:5.0
Выступления, гранты, мероприятия - 2015ППС
Нет данных
ИТОГО:0.0
ИТОГО баллов за 2015:ППС: 5.0
▲