کارگاه دو روزه منطق و نظریه مدل

هدف از این کارگاه فراهم آوردن محیطی علمی و دوستانه برای یادگیری، سؤال، بحث و تبادل نظر درباره موضوعاتی در منطق ریاضی و نظریه مدل است که معمولاً در طی یک درس معمول در منطق ریاضی امکان پرداختن جامع و کافی به همه آنها پیش نمی‌آید. دامنه موضوعی این کارگاه متنوع بوده و طیفی جذاب از مفاهیم و روش‌ها را در بر خواهد گرفت: ارتباط نظریه مدل و دسته‌بندی گروه‌های متناهی، مفاهیمی مانند فیلترها، فراضرب‌ها، آنالیز نااستاندارد، فشردگی، مدل‌های نااستاندارد حساب، و بازی‌های اِرِنفویشت-فِراسه، و همچنین موضوعاتی جذاب از منطق جهت (یا موجهات) شامل بررسی شبیه‌سازی دوسویی از دیدگاه نظریه بازی‌ها و کاربردهای منطق جهت در تأیید برنامه‌ها 

 امیدواریم که شرکت در این برنامه امکانی برای تجربه محیطی علمی و پویا و در عین حال فرصت آشنایی و بحث و تبادل نظر پیرامون موضوعات مطرح شده را فراهم کند 

 کلیه سخنرانی‌ها به نحوی تنظیم شده‌اند که برای دانشجویان کارشناسی مناسب و کاملاً قابل دنبال کردن باشند. آشنایی با منطق ریاضی و مباحثی از منطق جهت به دنبال کردن بهتر مباحث کمک می‌کند، با این حال سخنرانی‌ها بنحو و ترتیبی برنامه‌ریزی شده‌اند که حداکثر ممکن از علاقمندان از آنها بهرمند شوند 

سالن برگزاری رویداد متعاقباً اعلام خواهد شد.