|
همايش ساليانه
منطق رياضي و كاربردهاي آن
27 و 28 آذر ماه 1392
گروه رياضي، دانشكده علوم رياضي
دانشگاه شهيد بهشتي
مطابق روال سالهاي اخير، گروه
منطق رياضي پژوهشكده رياضيات پژوهشگاه دانشهاي بنيادي در نظر دارد
به منظور آشنايي اعضاي هيات علمي و دانشجويان دوره هاي تحصيلات
تكميلي با آخرين دستاوردهاي پژوهشگران در حوزه منطق رياضي، همايش
دوروزه اي در اين زمينه برگزار نمايد.
اين همايش امسال با همكاري دانشكده علوم رياضي دانشگاه شهيد بهشتي
در تاريخهاي 27 و 28 آذر ماه 1392 در اين دانشگاه برگزار مي
گردد.
برگزاركنندگان:
مسعود پورمهديان،
دانشگاه صنعتي اميركبير و
پژوهشگاه دانشهاي بنيادي
مرتضي منيري، دانشگاه
شهيد بهشتي و پژوهشگاه دانشهاي بنيادي
سخنرانان
مدعو عناوين سخنراني ها:
محمد اردشير، دانشگاه صنعتي
شريف
Basic Dialogical Logic
Abstract
رسول رمضانيان، دانشگاه
صنعتي شريف
A Propositional Probablistic Logic
Abstract
سعيد صالحي پورمهر، دانشگاه
تبريز
Cantor’s Diagonal Argument: A Characterization
Abstract
مجيد عليزاده، دانشگاه تهران
Residuation on Visser Algebras
Abstract
صالح علي ياري، پژوهشگاه
دانشهاي بنيادي
Algebras and Topologies Contrasting Two Views of Semantics
Abstract
علي عنايت، دانشگاه گوتنبرگ،
سوئد
What Can You Gain from Satisfaction Predicates?
Abstract
يو يانگ، دانشگاه ملي
سنگاپور
1)
Nonstandard Models of Arithmetic and Ramsey’s Theorem
Abstract
2)
A Real Turing Machine
Abstract
برنامه
سخنراني ها:
جهت دريافت
برنامه سخنراني ها در قالب فرمت pdf
اينجا كليك نماييد.
اسامي شركت
كنندگان:
جهت مشاهده
اسامي شركت كنندگان
اينجا كليك نماييد.
آدرس محل
برگزاري همايش:
اوين، دانشگاه
شهيد بهشتي، دانشكده علوم رياضي، تالار تجمعات،
تلفن: 29902920
و 22431652
|
