プログラマのための自然演繹法学習システム

スポンサーリンク

概要

• 論文の詳細を見る

• 本稿では,プログラミングの素養のある人向けに,標準的な自然演繹の体系 NK を改訂した体系 NKS を紹介し,その体系と専用のソフトウェア・ツールを用いて,情報工学科の大学院向け授業「ネットワークセキュリティ統合特論」の導入部で自然演繹法の学習を試みた結果について評価と共に報告する.

• 2011-03-15

著者

• 堀田 英一

  金沢工業大学

関連論文

• プログラマのための自然演繹法学習システム
• プログラミングIII補習授業におけるJava 標準ライブラリ説明文書の閲覧・編集ツールの作成

スポンサーリンク