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

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

доповідь 

Єгора Гуськова 

(аспірант Манчестерського університету) 

з логіки розв’язання на тему 

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

порядку з двома змінними» 

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

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

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

Джерело