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

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

  • 08/02/2021

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

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

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

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

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

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

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

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

    Конференция международных математических центров мирового уровня, Сочи

    ​С 9 по 13 августа в образовательном центре «Сириус» пройдет Конференция международных математических центров мирового уровня, направленная на развитие математических исследований в России, формирование и укрепление научных связей между региональными математическими центрами, центрами мирового уровня, вузами и научными организациями России.
    787
  • 15/08/2017

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

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

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

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

    VIII Международная конференция «Знания-Онтологии-Теории» (ЗОНТ-21)

    ​Приглашаем Вас принять участие в VIII Международной конференции «Знания-Онтологии-Теории» (ЗОНТ-21), которая состоится с 8 по 12 ноября 2021 г.  Целью Конференции является ознакомление с новейшими научными достижениями, обмен знаниями и передовым опытом в области математических методов представления и анализа данных, извлечения знаний и построения теорий предметных областей, анализа формальных понятий и извлечения информации из текстов естественного языка.
    922
  • 22/11/2017

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

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

    В Новосибирске обсудят этику применения искусственного интеллекта в медицине и здравоохранении

    ​​​1 июля 2021 года на базе Точки кипения НГТУ НЭТИ состоится круглый стол «Новая медицинская парадигма: изменение роли врача и пациента (Этические вопросы применения технологий АI и генной инженерии в сфере здравоохранения)».
    625