bach.istc.kobe[B!]新着記事・評価 - はてなブックマーク

『bach.istc.kobe-u.ac.jp』

ソフトウェア科学特論
3 users
bach.istc.kobe-u.ac.jp

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

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx