ソフトウェア論理(水谷担当分)

• 平成26年度の講義計画
• 内容は未確定です．10月1日までに固定します．
• 講義資料およびレポート課題は筑波大学学習管理システム(manaba)にて公開中(公開予定)です．
1. 全体アナウンス，前半の予定，参考文献
2. 一階述語論理概説
3. 逐次プログラムの検証:Hoare論理
4. 様相論理 Modal Logic
5. NΣラベル付カリキュラス