همايش ساليانه
منطق رياضي و كاربردهاي آن

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

 

   
         
   
         
   
         
   
         
   
         
   
         
   
         

 

 
Copyright 2000 - 2013
Institute for Research in Fundamental Sciences (IPM)
All rights reserved.
  Please submit your comments or questions here, or contact Webmaster.