Description
این گروه مربوط به درس نظریه ی سیستم ها می باشد که در دانشکده ی علوم ریاضی دانشگاه صنعتی شریف در نیمسال پاییز 88 توسط رسول رمضانیان ارایه شده است. در این درس مروری مختصر بر منطق بازی ها؛ منطق شناختی، منطق تکلیف و علومی از این دست به منظور تحلیل سیستم های اجتماعی به صورت صوری خواهیم داشت.