skip to main
|
skip to sidebar
「論理学をつくる」を読む
2008年5月3日土曜日
第1章 What is THIS Thing called Logic ?
このイントロ、絶妙じゃないか?
論理学の基本的スタンスが示されている。また、その基本的スタンスにおける概念の整理がなされている。概念に関する用語の定義がある。
この本を選んでよかったかも。
※
ソフトウエア科学のための論理学を読む
ために、知識補充として開始。
0 件のコメント:
コメントを投稿
次の投稿
ホーム
登録:
コメントの投稿 (Atom)
ブログ アーカイブ
▼
2008
(7)
▼
5月
(7)
第7章 さらに論理言語を拡張する
第6章 おおっと述語論理のセマンティクスがまだだった
第5章 論理学の対象言語を拡張する
第4章 機械もすなる論理学
第3章 人工言語に意味を与える
第2章 論理学の人工言語をつくる
第1章 What is THIS Thing called Logic ?
自己紹介
aka
現在のレベル予測:高校二年生
C:入門者
CL:初心者
Linux:入門者
Emacs:初心者
英会話:入門者
数学:入門者
Scheme:入門者
Prolog : 入門者
RDB : 入門者
Java : 入門者
論理学:入門者
Autotools:入門者
詳細プロフィールを表示
0 件のコメント:
コメントを投稿