Наредни састанак Семинара биће одржан у петак, 3. новембра 2023, у сали 301ф Математичког института САНУ са почетком у 14.15. У питању је заједнички састанак са Семинаром за математичку анализу и примене.

Предавач: Меланија Митровић, Машински факултет, Универзитет у Нишу

Наслов предавања: CONSTRUCTIVE SEMIGROUPS WITH APARTNESS: BASICS AND POTENTIAL APPLICATIONS

Апстракт: This talk aims to provide a clear and understandable picture of constructive semigroups with apartness. Our theory is partly inspired by the classical case, but it is distinguished from it in two significant aspects: we use intuitionistic logic rather than classical throughout; our work is based on the notion of apartness (between elements of the set, and, later, between elements and its subsets). To have a structure, we need a set, a relation, and rules establishing how we will put them together, that is, working within classical or intuitionistic logic, in order to analyze algebraic structures it is necessary to start with study on sets and ordered sets, relational systems, etc. A comparative analysis between presented constructive and known classical results is also a part of this talk. (Joint work with M.N. Hounkonnou and P. Catarino)

Напомена: Предавања се могу пратити на даљину преко линка:
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV

Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N