20 мая в 16:30 состоится очередное заседание семинара «Компьютерная алгебра». Руководитель семинара – д.ф.-м.н. С.А. Абрамов.
На заседании семинара будет представлен доклад на тему:
«Взгляд на эволюцию языков программирования»
Автор доклада:
Анд.В. Климов, Институт прикладной математики им. М.В. Келдыша РАН
Аннотация доклада
Посмотрим на эволюцию языков программирования через призму концепции метасистемного перехода (МСП) В.Ф. Турчина. Она ставит вопрос: какие произошли крупномасштабные скачки в понятиях, парадигме и устройстве языков, связанные с новыми видами деятельности над алгоритмами, программами и языками? Посмотрим, выполнились ли ожидания В.Ф. Турчина в 1970-е годы и что произошло, что он (и большинство программистов) не могли представить. Обсудим некоторые МСП за последние полувека: рост числа языков, анализ и преобразования программ (метавычисления), статическая типизация, верификация, доказательное программирование, параллели между современными языками и математической логикой (соответствие Карри-Ховарда), разработка программ с помощью «искусственного интеллекта». Также пофантазируем о будущем и попытаемся сделать прогнозы.
Заседание семинара будет проходить в дистанционном режиме через Zoom. Ссылка для подключения будет направлена участникам семинара по электронной почте. По вопросу участия в семинаре просьба обращаться по электронной почте: moscowcaconf@gmail.com
