私的メモ：仕様記述言語「Z」の読書メモ

仕様記述言語「Z」の読書メモ
1
前へ 1 2
next49 @next49

以上。流し読み終了。Zの前提知識は、一階述語古典論理の意味論まで、集合論の関係 or 関数まで。ラムダ演算の代入まで（関数型プログラミング言語の知識で代用可）ぐらいか。計算機科学の学生なら4年生ならたぶん基礎知識足りている（はず）。

2010-12-21 14:10:08
next49 @next49

私には合わない本だった。

2010-12-21 14:11:43
前へ 1 2

いま話題のタグ

ガンダム2058 津田正太郎6 ミャクミャク51 ホラー1594 VTuber1851 お菓子1042 アサシンクリード33 サイゼリヤ323 ダンジョン飯138 つばさの党23 デパコス30 共同通信303 退職代行25 ふたば☆ちゃんねる10 HUNTER×HUNTER233