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

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

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

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

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