Computational Logic計算論理（けいさんろんり） 担当教員: 亀山幸義 (メール: ｋａｍ のあとに cs.tsukuba.ac.jp) 担当Teaching Assistant: 杉浦 (メール: ｓｕｇｉｕｒａ のあとに logic.cs.tsukuba.ac.jp) 曜日・時限: 3学期 木曜 2-3限, 講義は 3A301, 演習は情報[科]学類計算機室． このページには，2008年度の『計算論理』の講義ノート等を置きます． 連絡事項 連絡が遅くなってしまいましたが，成績評価について，メモを書きましたので， 受講者はこちら を見てください． (2009/03/07) 期末試験は、2/19 の2限(10:10-11:25)です。 ノート等は持ち込み可です。 (2009/02/12) 2/5 の2限は，計算機室で演習です． CALシステムに一度以上ログインして， Q[113] を解き，bye をしてください
