Content-Length: 197476 | pFad | http://b.hatena.ne.jp/Nnwww/Coq/
Software Foundations
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant. The exposition is intended for a broad range of readers, fro
Computation and Logic: Winter Semester 2016
お知らせ 宿題を遅れて提出する場合の最終期限は 2/3(金) 17:00 です．要再提出が残っている人もこの時刻までに解決してください． スライド8と配布資料その4をアップロードしました．(2017.1.23) 1/17(火)は、(講義ホームページにある)予定を変更して2回目の演習とします。過去の期末試験(ホームページからダウンロードしてください。)の問題も演習の範囲とします。(2017.1.9) 過去の期末試験(2012年度, 2013年度, 2014年度, 2015年度)をアップロードしました(テキストと同じパスワードでダウンロードしてください)．演習の追加題材とします．(2016.12.31) スライド7アップロード．宿題その7がでました．(2016.12.19) 宿題その6の問題 or_distributes_over_and_2 は or_distributes_over_and
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fetched URL: http://b.hatena.ne.jp/Nnwww/Coq/
Alternative Proxies:
