[Коллоквиум]: Логика случайного графа

Весьма интересная лекция о применении языков первого и второго порядка к изучению случайных графов (в частности рассказывается теорема об элементарной эквивалентности графов и связи с ней игр Эренфойхта, приводятся примеры свойств графов, которые нельзя записать на языке первого порядка,но можно записать на (монадическом) языке второго порядка, излагаются результаты о законах 0-1 и сходимости на случайных графах для различных языков). Пререквизиты такие же как к лекции Райгородского о случайных графах (про формальные языки и игры Эренфойхта говорят кратко на самой лекции).