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

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

  • 25/06/2020

    Математический центр в Новосибирске будет развивать новую систему интеграции образования

    ​Новосибирский государственный университет и Институт математики им. Соболева СО РАН, создающие математический центр по нацпроекту "Наука", определили 10 научных направлений развития, среди которых обработка данных, искусственный интеллект, знания компьютерных технологий, сообщили ТАСС в пресс-службе НГУ.
    648
  • 16/10/2020

    Сильнее в математике: ректор НГУ Михаил Федорук выступил в рамках Совета молодых ученых и специалистов при Правительстве Новосибирской области

    Депутат Законодательного Cобрания Новосибирской области Михаил Федорук 15 октября выступил в рамках Совета молодых ученых и специалистов при Правительстве Новосибирской области.  «Наша цель – создать в Академгородке научный центр мирового уровня, добившись привлечения ведущих отечественных и зарубежных специалистов, – отметил депутат в докладе о работе над проектом Международного математического центра Академгородка, – причем специалистов не только именитых, но и молодых, готовых работать над передовыми научными задачами, такими как математические проблемы в естествознании, обработка данных, машинное обучение, криптография, эффективные алгоритмы и вычисления».
    879
  • 28/12/2020

    Сеть математических центров: успехи и результаты работы

    ​Сеть математических центров объединяет международные математические центры мирового уровня, созданные в рамках нацпроекта «Наука», и региональные научно-образовательные математические центры (НОМЦ), созданные в рамках реализации Концепции развития математического образования в Российской Федерации, утвержденной распоряжением Правительства РФ от 24 декабря 2013 г.
    433
  • 02/11/2020

    Под эгидой СО РАН строится метамодель распространения коронавируса в Новосибирске и Новосибирской области

    ​На совещании в правительстве региона под председательством первого вице-губернатора Юрия Федоровича Петухова ученые и чиновники определились с заказчиком самого востребованного на сегодня интеллектуального продукта и механизмом его создания.
    316
  • 29/06/2020

    Математический центр в Академгородке стал общей площадкой сотрудничества ИВМиМГ, ИМ и ИСИ СО РАН с компанией Huawei

    ​ 17 июня 2020 г. было подписано соглашение о сотрудничестве между тремя институтами Сибирского отделения РАН – Институтом математики им. С.Л. Соболева, Институтом вычислительной математики и математической геофизики, Институтом систем информатики им.
    568
  • 29/06/2020

    Михаил Федорук: «Мы должны сделать Академгородок лучшим местом для жизни»

    Интервью с ректором Новосибирского государственного университета академиком Михаилом Петровичем Федоруком о том, почему программа «Академгородок 2.0» должна быть комплексным решением, что такое университет мирового класса и какова роль НГУ в нацпроекте «Наука».
    1119
  • 15/12/2020

    Математический марафон СУНЦ НГУ выиграли школьники из Новосибирска и Хабаровска

    ​​В новосибирском Академгородке завершился девятый дистанционный Математический марафон по решению исследовательских задач для школьников. Первое место разделили команды из Хабаровска и Новосибирска. Дистанционный математический марафон – это интеллектуальные соревнования по решению исследовательских задач.
    353
  • 11/08/2020

    Академгородок 2.0 – приобретения и потери: мнения экспертов

    Что удалось сделать для развития Новосибирского научного центра за последние годы и какие задачи остаются нерешенными? Три известных российских ученых инвентаризируют достижения и проблемы в статье, написанной для «Континента Сибирь»*.
    886
  • 23/10/2020

    Научные изобретения руками детей

    ​В рамках спецкурса под руководством ученых старшеклассники Экономического лицея собирают различные физические установки, пишут программы и создают компьютерные модели.На протяжении почти 20 лет старший научный сотрудник Института математики им.
    540
  • 26/06/2019

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

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