![Синдикація RSS-матеріал](/misc/feed.png)
Доповідь «Складність проблеми розв’язання логіки першого порядку з двома змінними»
У п’ятницю 9 грудня 2016 року на відділі логіки та методології науки в Інституті філософії відбудеться
доповідь
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
«Складність проблеми розв’язання логіки першого
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
«Складність проблеми розв’язання логіки першого
порядку з двома змінними»
Доповідь заснована на матеріалі дисертації, поданої на захист у Манчестерському університеті, і перетинається за змістом з попередньою доповіддю, зробленою Єгором на факультеті кібернетики КНУ. Тому для розуміння можна подивитися резюме останньої.
Початок — у 14:00 (зверніть увагу, що час змінено).
Місце проведення: вул. Трьохсвятительська 4, поверх 3, каб. 319.
- Версія для друку
- Увійдіть щоб залишати відгуки
Останні коментарі
6 years 1 week тому
9 years 34 weeks тому
11 years 17 weeks тому
11 years 20 weeks тому
11 years 25 weeks тому
11 years 36 weeks тому
11 years 36 weeks тому
11 years 36 weeks тому
11 years 44 weeks тому
11 years 44 weeks тому