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

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

  • 14/09/2020

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    «Фабрика программирования. Путь профессионала» - новая образовательная программа для молодежи Красноярского края

    ​​В Красноярске при поддержке куратора Цифрового кластера Красноярского края (центр «Мой бизнес») - Ассоциации технологичных компаний «ИТЭРА» и пространства коллективной работы «Точка кипения – Красноярск» реализуется проект интенсивных школ обучения по созданию цифровых продуктов «Фабрика программирования.
    625
  • 15/04/2021

    Гены, универсальный флаг и конструктор ботов: будущие инженеры представили свои проекты в СУНЦ НГУ

    11 апреля на площадке СУНЦ НГУ в дистанционном формате прошла школьная секция МНСК-2021 — крупнейшей в Сибири ежегодной конференции для талантливых и целеустремленных студентов и школьников. Для школьников работало несколько подсекций, одним из самых массовых по количеству участников стало инженерное направление.
    535
  • 22/11/2017

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

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