Verovatnosne logike, 18. januar 2018.

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.


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.