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.