Başlık: Strange Logic of Random Graphs
Eğitmen: Doç. Dr. Özlem Beyarslan
Kurum: Boğaziçi Üniversitesi
Tarih: 11-17 Ocak 2027
Önkoşul: Probability theory
Seviye: Lisans, lisansüstü
İçerik: We will explore the interaction between probability and first-order logic through random graphs. Topics will include the Erdős–Rényi model, extension properties, the Rado graph, back-and-forth arguments, Ehrenfeucht–Fraïssé games, and the first-order zero-one law.