研究者
J-GLOBAL ID:200901037688415917
更新日: 2007年06月13日
本橋 信義
モトハシ ノブヨシ | Motohashi Nobuyoshi
所属機関・部署:
旧所属 筑波大学 数理物質科学研究科 数学専攻
旧所属 筑波大学 数理物質科学研究科 数学専攻 について
「旧所属 筑波大学 数理物質科学研究科 数学専攻」ですべてを検索
職名:
教授
研究分野 (2件):
応用数学、統計数学
, 数学基礎
競争的資金等の研究課題 (4件):
論理教育
情報による論理の研究
Logic Education
Study on Logic through Informations
MISC (16件):
第一階古典論理式の決定方法と,非古典命題論理の決定問題へのその応用. 日本数学会欧文誌. 1990. 42. 1
A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics. Journal of the Mathematical Society of Japan. 1990. 42. 1
共終拡大に関する保存定理と相対化定理. Journal of the Symbolic Logic. 1986. 51. 4
Preservation theorem and Relativization theorem for Cofinal Extensions. Journal of the Symbolic Logic. 1986. 51. 4
真概念の数学的定義とモデルの理論. 岩波書店「数学」. 1985. 37. 4
もっと見る
書籍 (15件):
Introduction to Set
Baifukan 2003
集合序説
培風館 2003
Introduction to Set
Baifukan 2003
Mathematics and New Logic
Useisha 2002
数学と新しい論理
遊星社 2002
もっと見る
学歴 (4件):
- 1969 東京大学 理学系研究科 数学
- 1969 東京大学
- 1966 東京大学 教養学部 教養学科
- 1966 東京大学
学位 (2件):
理学修士
理学博士
委員歴 (1件):
1992 - 科学基礎論学会 評議員,理事
所属学会 (2件):
記号論理学会 Association for Symbolic Logic
, 科学基礎論学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM