В рамках Всемирного дня логики состоялся международный онлайн-семинар World Logic Day Workshop 2021, организованный Институтом математики им. С. Л. Соболева СО РАН и Назарбаев Университетом (Нур-Султан, Казахстан). В работе семинара приняли участие более 50 человек из 9 стран. 
 
«На рубеже нового десятилетия логика как область знаний оказалась как никогда прежде востребованной в наших обществах и экономиках. Так, информационные и цифровые технологии, во многом определяющие сегодня наш образ жизни, являются технологиями, построенными на основе логических суждений и алгоритмов. Принцип логического суждения лежит и в основе искусственного интеллекта, беспрецедентные темпы развития которого позволяют говорить о технологической и даже об антропологической революции», — пишет генеральный директор ЮНЕСКО Одре Азуле в послании по случаю Дня логики. 
 
В связи с развитием информационных технологий алгоритмические методы приобретают важнейшее значение в человеческой деятельности. Современная теория моделей, являющаяся базой для теории онтологий в информатике, была создана профессором Альфредом Тарским и выдающимся советским математиком академиком Анатолием Ивановичем Мальцевым. Стоит отметить, что именно А. И. Мальцев ввел преподавание математической логики в Новосибирском государственном университете. В работах академика Юрия Леонидовича Ершова и его учеников развит целый ряд важных направлений, лежащих на стыке математической логики и информатики: теория конструктивных моделей, теория нумераций, теория вычислимых функционалов, семантическое программирование, которое нашло применение в построении программных систем для задач обработки данных и управления. В настоящее время исследования по связям конструктивных моделей с онлайн-алгоритмами активно ведутся в Математическом центре в Академгородке. Другое важное направление связано с вычислимостью над вещественными числами, ее связью с приближенными вычислениями и алгоритмами компьютерной алгебры. В этом направлении сибирскими учеными получены новые выдающиеся результаты о полиномиальной вычислимости для полей алгебраических чисел. 
 
Семинар World Logic Day Workshop 2021 проведен в рамках серии научных мероприятий, организуемых Математическим центром в Академгородке. 
 
Директор ИМ СО РАН академик С. С. Гончаров 

Похожие новости

  • 08/02/2021

    Двадцатая Международная конференция по криптографии SIBECRYPT

    ​SIBECRYPT — одна из ведущих конференций по криптографии и компьютерной безопасности в России, ежегодно проходящая в разных городах Сибири. Её цель — обсуждение фундаментальных математических проблем криптографии и защиты информации в компьютерных системах и сетях, обмен научными результатами по развитию теоретических основ и созданию программно-аппаратных средств компьютерной безопасности.
    261
  • 28/11/2019

    Ученые двух стран обсудили автономный транспорт и искусственную бюрократию

    Совместный российско-французский семинар по научным основам когнитивных технологий прошел в новосибирском Академгородке.  Приветствуя делегацию французских экспертов, заместитель главного ученого секретаря Сибирского отделения РАН кандидат технических наук Юрий Александрович Аникин назвал СО РАН «оптимальным интерфейсом в российскую науку» и отметил необходимость развивать научные контакты со всеми странами независимо от политической конъюнктуры.
    845
  • 14/09/2020

    Там, где мы впереди

    В новосибирском Академгородке завершилась IX Международная конференция, посвященная 120-летию со дня рождения академика Михаила Алексеевича Лаврентьева «Лаврентьевские чтения по математике, механике и физике», где ученые со всей России обсудили новейшие достижения в области механики сплошных сред, импульсных процессов, гидродинамики, новых материалов.
    592
  • 14/09/2017

    Разработка новосибирских ученых получила премию на крупнейшем европейском конгрессе по алгоритмам

    ​На 13-й международной конференции по алгоритмам и экспериментам для беспроводных сенсорных сетей ALGOSENSORS в Вене (Австрия) в двух статьях были представлены разработки лаборатории алгоритмики ММФ НГУ, сделанные совместно с коллегами из Берлина и Института математики им.
    2340
  • 15/08/2017

    На юбилей ИМ СО РАН собрались математики из 24 стран

    ​В новосибирском Академгородке открылась международная конференция "Математика в современном мире", посвященная 60-летию Института математики им. С.Л. Соболева СО РАН. «Наука становится по-настоящему наукой, когда привлекает математику, — отметил, открывая форум, председатель СО РАН академик Александр Леонидович Асеев.
    2281
  • 26/06/2019

    В НГУ прошла VI Российско-Китайская конференция по теории узлов и смежным вопросам

    ​В этом году c 17 по 21 июня конференцию проводили Лаборатория топологии и динамики Новосибирского государственного университета и Институт математики им. С. Л. Соболева СО РАН.
    1468
  • 31/07/2016

    Международная конференция «Дни геометрии в Новосибирске»

    ​Институт математики им. С. Л. Соболева СО РАН и Лаборатория квантовой топологии Челябинского государственного университета при участии Новосибирского национального исследовательского государственного университета проводят с 21 по 24 сентября 2016 года Международную конференцию «Дни геометрии в Новосибирске — 2016».
    3519
  • 22/11/2017

    Конференция «Декабрьские чтения»

    ​Конференция «Декабрьские чтения» состоится в Институте математики им. С.Л. Соболева СО РАН 21-23 декабря 2017 года.  Планируются часовые пленарные доклады.  Программный комитет:  А.
    2144
  • 29/06/2018

    В Новосибирске проходит международная конференция молодых математиков

    Региональный математический центр НГУ и Институт математики им. С. Л. Соболева СО РАН проводят международную конференцию по математическому анализу. Целью мероприятия является объединение молодых исследователей со всего мира с общим интересом к функциональным пространствам и геометрическому анализу.
    2226
  • 17/01/2018

    Международная молодёжная школа-конференция «Алгоритмические вопросы теории групп и смежных областей»

    ​С 25 июля по 5 августа 2016 года в Новосибирской области на территории базы отдыха «Оазис» пройдет международная школа «Алгоритмические вопросы теории групп и смежных областей». Организаторами конференции являются Институт математики им.
    2702