Home セミナー 談話会 集中講義 研究集会 教員紹介 アクセス キャンパス

セミナー情報 　今週のセミナー 　来週以降のセミナー 　過去の記録 　2012年度の記録 　 2012年　11月5日（月）〜11月9日（金） 11月5日(月) ■整数論セミナー　13:30--15:00【会場：合同A棟802】 講演者： 小原 まり子 氏（東北大学大学院理学研究科） 題目： complex oriented cohomology and formal group law   11月6日(火)  ■幾何セミナー　15:00--16:30【会場：合同A棟203】 休み（二木昭人氏の集中講義のため） 11月8日(木) ■応用数学セミナー　16:00--17:30【会場：合同A棟303】 講演者： 中西　賢次 氏（京都大学大学院理学研究科） 題目： 非線形分散型方程式の大域挙動分類 11月9日(金) ■代数幾何学セミナー 13:30--【会場：合同A棟803】 休み ■ロジックセミナー　16:00--【会場：合同A棟1201】 講演者： Qingyu He 氏 (Yangzhou University/Tohoku University) 題目：Generalized R-Calculus 【概要】 Inference system for belief revision, one of the most efficient tools, plays a significant role in the description of the process of software evolution and scientific discovery. This topic presents a generalization of the local inference system R-calculus by allowing the formula set Gamma in a R-configuration to be inconsistent. Four sets of rules, i.e. GR-axioms, GR-logical connective symbol rules, GR-quantifier symbol rules, and GR-cut rules, are analogously defined in this paper, on the basis of the R-calculus language. Moreover, this generalized R-calculus is proved sound and complete.   東北大学　　/　　理学部・理学研究科　　/　　情報科学研究科　　/　　数学専攻研究資料室　　/　　お問合せ