skip to main
|
skip to sidebar
「論理学をつくる」を読む
2008年5月18日日曜日
第7章 さらに論理言語を拡張する
こつこつ。
7.1 MPLの限界
7.1.1 MPLにとっての難問
7.1.2 MPLの限界はどこにあるか
7.1.3 個体と個体の関係を表現するには
7.1.4 多重量化
7.1.5 あ・れ・も・愛、これも愛 ー 愛の論理学
とりあえず、ここまでやった。
最後の方、頭がもやもやしてきたので、明日に再挑戦ということにする。
認知障害なのかな。。。
7.1.6 言語PPLの定義
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 件のコメント:
コメントを投稿