岩波講座 情報科学〈7〉論理と意味

著者 : 長尾真 淵一博

• 岩波書店 (1983年1月10日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2011年8月15日]

述語記号と関数記号の違いがわからずにつまづきました。
個体定項と個体変項の違いは、メタ記号と対象記号の違いと同じだと理解しました。
最初につまづくと、先になかなか進めません。
基礎理論を独学でつまづいたときに、助け船がどこにあるのでしょう。

著者プロフィール

公益財団法人国際高等研究所 京都大学元総長

「2017年 『〝もう一つの文明〟を構想する人々と語る日本の未来 自然と共に生きる豊かな社会』 で使われていた紹介文から引用しています。」