Вероватносне логике, 18. јануар 2018.
- 15. Јануар, 2018
- Коментари (0)
Наредни састанак Семинара биће одржан у четвртак, 18. јануара 2018. у сали 301ф Математичког института САНУ са почетком у 15 часова.
Предавач: Александар Перовић
Наслов предавања: О ЈЕДНОЈ ВАРИЈАНТИ СРПСКО-РУСКОГ ПРАВИЛА
Апстракт: На предавању ће бити речи о применама српско-руског правила на аксиоматизацију пребројивих структура првог реда, тј. о предикатској логици чији су једини модели највише пребројиве структуре првог реда.
Коментари(0)