このページはソフトウェアモデル論(A1)のページです。
講義スライド(第15回)を載せました。(2011/01/17)
演習問題を載せました。(2010/12/23)
レポートその13を載せました。(2010/12/20)
講義スライド(第14回)を載せました。(2010/12/20)
レポートその12を載せました。(2010/12/13)
講義スライド(第13回)を載せました。(2010/12/13)
講義資料(テキスト)を更新しました。(2010/11/08)
開講しました。(2010/09/27)
| 担当： | 桑原 寛明 (情報システム学科) |
| 連絡先： | kuwabara @ cs.ritsumei.ac.jp 、クリエーションコア 2F 共同研究室 1 |
| 時間： | 月曜 3,4 時限 (10:40-12:10) |
| 教室： | F301 |
| 教科書： | 講義資料を配布 |
評価方法や講義内容、参考書についてはシラバスを参照してください。
| スライド | テキストの範囲 | 概要 | |||
| 第1回 | (2010/09/27) | 2 章 | 導入、数学的準備 | レポートその1 | |
| 第2回 | (2010/10/04) | 3.1, 3.2, 3.3 節 | 有限オートマトン(DFA, NFA) | レポートその2 | |
| 第3回 | (2010/10/11) | 3.4, 3.5, 3.6 節 | DFA と NFA の等価性、正規表現 | レポートその3 | |
| 第4回 | (2010/10/18) | 3.6, 3.7 節 | 有限オートマトンと正規表現の等価性 | レポートその4 | |
| 第5回 | (2010/10/25) | 3.8, 別紙 2.1 節 | 反復補題、チューリング機械の定義 | レポートその5 | |
| 第6回 | (2010/11/01) | 別紙 2.1 節 | チューリング機械、計算 | レポートその6 | |
| 第7回 | (2010/11/08) | 別紙 2.2, 2.3 節 | チューリング機械のコード化、合成関数などの計算 | レポートその7 | |
| 第8回 | (2010/11/15) | 別紙 2.4 節 | 万能チューリング機械、計算可能性、停止性判定 | レポートその8 | |
| 第9回 | (2010/11/22) | 5.1, 5.2, 5.3, 5.4 節 | 命題論理、論理式、論理的帰結 | レポートその9 | |
| 第10回 | (2010/11/29) | 5.5, 5.6 節 | 証明系、自然演繹 | レポートその10 | |
| 第11回 | (2010/12/06) | 5.7, 5.8 節 | 自然演繹の健全性、完全性 | レポートその11 | |
| 第12回 | (2010/12/11) | 6.1, 6.2, 6.3.1 節 | モデル検査、Kripke構造、CTL | レポートなし | |
| 第13回 | (2010/12/13) | 6.5 節 | モデル検査アルゴリズム | レポートその12 | |
| 第14回 | (2010/12/20) | 6.6, 6.7 節 | 並行プログラムのモデル検査 | レポートその13 | |
| 第15回 | (2011/01/17) | 復習 | レポートなし |
締切を過ぎたレポートの略解を順次 WebCT に掲載します。 必要に応じて参照してください。 別解もありえるのでもし疑問があれば訊いてください。
Copyright(C) since 2010
KUWABARA Hiroaki.
All rights reserved.