3.2. Научные публикации и конференции

Название страницы:

Форматированный текст

1. Публикация и выступление с докладом "PSPACE-полнота задачи о корректности программы с циклом" на международной научно-технической конференции "Актуальные проблемы прикладной математики, информатики и механики".
2. ОБ ЭКВИВАЛЕНТНОСТИ ДВУХ СЕМАНТИК PFP-ОПЕРАТОРА
   Вестник Тверского государственного университета. Серия: Прикладная математика. 2020. № 3. С. 41-49.
3. PARTIAL FIXED POINT FOR FINITE MODELS IN SECOND ORDER LOGIC
   Lobachevskii Journal of Mathematics. 2020. Т. 41. № 9. С. 1672-1679.
4. ON EQUIVALENCE OF PFP-OPERATOR AND PFP-QUANTIFIER
   В сборнике: Journal of Physics: Conference Series. Current Problems. Сер. "International Conference "Applied Mathematics, Computational Science and Mechanics: Current Problems", AMCSM 2020" 2021. С. 012085.
5. ЭЛИМИНАЦИЯ ОПЕРАТОРА ЧАСТИЧНОЙ ФИКСИРОВАННОЙ ТОЧКИ
   В сборнике: Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем". сборник трудов. Всероссийская научная конференция. Тверь, 2021. С. 255-261.
6. ОБ ЭКВИВАЛЕНТНОСТИ PFP-ОПЕРАТОРА И PFP-КВАНТОРА
   В сборнике: Актуальные проблемы прикладной математики, информатики и механики. сборник трудов Международной научной конференции. ФГБОУ ВО «Воронежский государственный университет». Воронеж, 2021. С. 1628-1635.

rich_text    

Разрешить комментарии на этой странице

Сделать комментарии общедоступными

Отменить Предварительный просмотр Сохранить страницу

Отменить Продолжить редактирование Сохранить страницу

Редактор HTML Редактор форматированного текста [{:section_type=>"rich_text", :content=>"<ol>\n<li>Публикация и выступление с докладом \"PSPACE-полнота задачи о корректности программы с циклом\" на международной научно-технической конференции \"Актуальные проблемы прикладной математики, информатики и механики\".</li>\n<li>ОБ ЭКВИВАЛЕНТНОСТИ ДВУХ СЕМАНТИК PFP-ОПЕРАТОРА<br>Вестник Тверского государственного университета. Серия: Прикладная математика. 2020. № 3. С. 41-49.</li>\n<li>PARTIAL FIXED POINT FOR FINITE MODELS IN SECOND ORDER LOGIC<br>Lobachevskii Journal of Mathematics. 2020. Т. 41. № 9. С. 1672-1679.</li>\n<li>ON EQUIVALENCE OF PFP-OPERATOR AND PFP-QUANTIFIER<br>В сборнике: Journal of Physics: Conference Series. Current Problems. Сер. \"International Conference \"Applied Mathematics, Computational Science and Mechanics: Current Problems\", AMCSM 2020\" 2021. С. 012085.</li>\n<li>ЭЛИМИНАЦИЯ ОПЕРАТОРА ЧАСТИЧНОЙ ФИКСИРОВАННОЙ ТОЧКИ<br>В сборнике: Всероссийская научная конференция \"Математические основы информатики и информационно-коммуникационных систем\". сборник трудов. Всероссийская научная конференция. Тверь, 2021. С. 255-261.</li>\n<li>ОБ ЭКВИВАЛЕНТНОСТИ PFP-ОПЕРАТОРА И PFP-КВАНТОРА<br>В сборнике: Актуальные проблемы прикладной математики, информатики и механики. сборник трудов Международной научной конференции. ФГБОУ ВО «Воронежский государственный университет». Воронеж, 2021. С. 1628-1635.</li>\n</ol>"}]

Название ePortfolio:
Сделать общедоступной
Обновить ePortfolio Отменить