
Доповідь «Складність проблеми розв’язання логіки першого порядку з двома змінними»
У п’ятницю 9 грудня 2016 року на відділі логіки та методології науки в Інституті філософії відбудеться
доповідь
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
«Складність проблеми розв’язання логіки першого
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
«Складність проблеми розв’язання логіки першого
порядку з двома змінними»
Доповідь заснована на матеріалі дисертації, поданої на захист у Манчестерському університеті, і перетинається за змістом з попередньою доповіддю, зробленою Єгором на факультеті кібернетики КНУ. Тому для розуміння можна подивитися резюме останньої.
Початок — у 14:00 (зверніть увагу, що час змінено).
Місце проведення: вул. Трьохсвятительська 4, поверх 3, каб. 319.
- Версія для друку
- Увійдіть щоб залишати відгуки
Останні коментарі
5 years 19 weeks тому
8 years 32 weeks тому
10 years 15 weeks тому
10 years 18 weeks тому
10 years 24 weeks тому
10 years 35 weeks тому
10 years 35 weeks тому
10 years 35 weeks тому
10 years 43 weeks тому
10 years 43 weeks тому