ソフトウェア科学特論概要 講義 数理論理学 形式的体系 . . . .. . . ソフトウェア科学特論 田村直之 神戸大学 システム情報学研究科 情報科学専攻 2011 年前期 田村直之 ソフトウェア科学特論 概要 講義 数理論理学 形式的体系 概要 参考書 概要 田村直之 ソフトウェア科学特論 概要 講義 数理論理学 形式的体系 概要 参考書 .. 講義の概要 . 講義の目標 .. . . .. . . ソフトウェアの設計・構築に対する科学的アプローチとし て，数理論理学とソフトウェアとの関連に焦点を置き，下 記の内容について講義を行う． 命題論理とソフトウェア 述語論理，直観主義論理とソフトウェア 非標準論理とソフトウェア 田村直之 ソフトウェア科学特論 概要 講義 数理論理学 形式的体系 概要 参考書 .. 参考書 . 参考書 .. . . .. . . 小野寛晰著 『情報科学における論理』 日本評論
