Семинар “Алгебра и логика”
Институт по математика и информатика - БАН Block 8, 1113 БАН IV км., СофияСледващото заседание на семинара ще се проведе на 10 ноември 2017 година (петък) от 13:00 часа в зала 578 на ИМИ - БАН. Доклад на тема НЯКОИ НОВИ РЕЗУЛТАТИ ЗА РАЗШИРЕНИ КОНТАКТНИ АЛГЕБРИ ще изнесе Татяна ИВАНОВА. Поканват се всички интересуващи се. Резюме. In the classical Euclidean geometry the notion of point is taken as one of the basic primitive notions. In contrast the region-based theory of space (RBTS) has as primitives the more realistic notion of region as an abstraction of physical body, together with some basic relations and operations on regions. RBTS has simpler way of representing of qualitative spatial information. Contact algebra is one of the basic tools in RBTS. We consider in a topological contact algebra the predicate "internal connectedness". [...]
