date/vreme: 21/11/2023, 11:00

venue/mesto: Svečana sala FTN

Workshop/radionica: LADIS 4 - Logičko-algebarsko-diskretni susreti PMF@FTN

Speaker / Predavač

Dr. Maja Pech, vanredni profesor, Prirodno-matematički fakultet, Univerzitet u Novom Sadu

https://informatika.pmf.uns.ac.rs/o-nama/imenik/maja/ (home page)

Title / Naslov:

Modeli i klonovi: tamo, nazad i dalje, iza horizonta

Abstract / Sažetak:

Teorija klonova je matematička disciplina smeštena na tromeđi diskretne matematike, logike i univerzalne algebre. S druge strane, teorija modela je deo logike koji se bavi klasifikacijom struktura, preslikavanja i skupova pomoću logičkih formula. Cilj ovog izlaganja je da prikaže međusobnu interakciju ove dve oblasti u prethodnih dvadeset godina, skrene pažnju na neke od rezultata koji su nastali kroz tu interakciju i ukaže na moguće pravce budućih istraživanja.


Back