アクセスランキングシラバス講義ノートユーザアンケート講義の概要とねらいソフトウエアの基礎理論と数理論理学には概念や手法に共通部分が多い。「プログラム」と「証明」とは本質的に同じものである,という見方ができる(カリー・ハワード同型対応)。ソフトウエア科学から生まれた論理体系も多い。本講義のねらいはそのようなソフトウエア基礎理論と数理論理学の共通部分を明らかにすることである。はじめに標準的な論理として古典論理と直観主義論理の自然演繹,シークエント計算,ヒルベルト流体系を学ぶ。ラムダ計算の基本的な性質を学ぶ。最後にソフトウエア科学における様々な論理体系について学ぶ.到達目標ソフトウエアの基礎理論における数理論理学的な概念や手法を身に付ける。