Jump to main content

yr 〜
yr

Search results 4

極限計算の論理とその応用

極限計算の論理とその応用
Paper図書
林晋, 神戸大学 [著][林晋]2001-2003<Y151-H13480084>
National Diet Library
  • Subject Heading形式的証明 / 形式的技法 / 学習理論 / 極限計算 / 非構成的原...

空間直感力と論理的思考力を育成するための教材開発と指導法の改善

空間直感力と論理的思考力を育成するための教材開発と指導法の改善
Paper図書
國本景亀, 高知大学1994-1995<Y151-H06680256>
National Diet Library
  • Subject Heading証明 経験的説明 前形式的証明 形式的証明 操作的証明 空間直観力 暗幾何

証明アニメーシヨン(構成的プログラミングによる証明テスト技法)

証明アニメーシヨン(構成的プログラミングによる証明テスト技法)
Paper図書
林, 晋, 神戸大学1998-2000<Y151-H10480063>
National Diet Library
  • Subject Heading形式的証明の開発 定理証明 論理情報の視覚化 古典論理証明の実行 Cu...

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
Paper図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>
National Diet Library
  • Subject Heading形式的工学手法 ソフトウエア検証 厳密なレビユ- 仕様分析 形式的仕様 システム進化 テスト 形式的証明

Reached to the end of result.

RSS