Verovatnosne logike, 18. januar 2018.
- 15. Januar, 2018
- Komentari (0)
Naredni sastanak Seminara biće održan u četvrtak, 18. januara 2018. u sali 301f Matematičkog instituta SANU sa početkom u 15 časova.
Predavač: Aleksandar Perović
Naslov predavanja: O JEDNOJ VARIJANTI SRPSKO-RUSKOG PRAVILA
Apstrakt: Na predavanju će biti reči o primenama srpsko-ruskog pravila na aksiomatizaciju prebrojivih struktura prvog reda, tj. o predikatskoj logici čiji su jedini modeli najviše prebrojive strukture prvog reda.
Komentari(0)