Skip to Content

Доповідь «Складність проблеми розв’язання логіки першого порядку з двома змінними»

Зображення користувача Ярослав Кохан.

У п’ятницю 9 грудня 2016 року на відділі логіки та методології науки в Інституті філософії відбудеться

доповідь
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
 

«Складність проблеми розв’язання логіки першого
порядку з двома змінними»

Доповідь заснована на матеріалі дисертації, поданої на захист у Манчестерському університеті, і перетинається за змістом з попередньою доповіддю, зробленою Єгором на факультеті кібернетики КНУ. Тому для розуміння можна подивитися резюме останньої.

Початок — у 14:00 (зверніть увагу, що час змінено).

Місце проведення: вул. Трьохсвятительська 4, поверх 3, каб. 319.



story | by Dr. Radut