研究者詳細

研究経歴
分割表示   全件表示 >>

3 件中 1 - 3 件目

長期研究/短期研究
Long or Short
   Term research
研究課題名
Research Topic
長期研究  形式論理とその応用 

概要(Abstract) 推論を形式的立場から体系的に整理し,計算機科学や数学教育への応用を考察する。 

短期研究  形式証明と証明活動の対応の明確化とその応用 

概要(Abstract) 形式体系の証明図と実際の証明文との対応を明らかにし,形式体系の視点から,証明活動の適切なあり方を探る.具体的には,証明の適切な表現,証明の適切な構成,証明の適切な教育方法などを探る. 

短期研究  非古典論理における標準形の論理式とexact model 

概要(Abstract) 非古典論理において、標準形の論理式とexact modelの構成方法を研究し,ある範囲の論理式の導出関係を古典論理と同等の形で明らかにする. 

Page: [<<PREV] [1] [NEXT>>]