Лекционный курс С.П. Одинцова "Конструктивные семантики и IF-логика" / 11 янв. - 1 февр., среда 15:00
С 11 января по 1 февраля 2023 г. в рамках семинара по социальной эпистемологии и искусственному интеллекту доктор физико-математических наук С.П. Одинцов (Институт математики им. С.Л. Соболева СО РАН) прочитает лекционный курс "Конструктивные семантики и IF-логика".
Лекции будут проходить по средам в 15.00 в конференц-зале. Первая лекция: 11 января.
Аннотация курса: Курс содержит краткий экскурс в историю конструктивных логик, включающий в себя объяснение задачной семантики…
(читать далее)