1. TOP
  2. suhara hiromichiさんの公開ページ

suhara hiromichiさんのページ

復刊リクエスト投票

現代論理入門 〈ことばと論理〉

工学部の教養科目「哲学」の教科書でしたが、理論計算機科学に興味をもつきっかけのひとつになりました。 情報科学・工学分野の学生が理論の背景を深めるのに最適な一冊だとおもいます。 (2014/08/23)

現代論理入門 〈ことばと論理〉
【著者】W・V・O・クワイン 著/杖下隆英 訳

論理プログラミングの基礎

論理プログラミングの数学的基礎をとりあげた初の解説書であると同時に、日本語の書籍としては唯一のものです。 関数型プログラミングについては、その再評価とともに、基礎理論の解説書が出版されています。 論理プログラミングも同様に、理論の解説書が求められています。 本書は、日本語訳、体裁とも、とてもよいものです。 (2013/12/30)

論理プログラミングの基礎
【著者】J.W.ロイド、佐藤雅彦、森下真一

suhara hiromichiさん

suhara hiromichiさん

プロフィール

[ニックネーム]
suhara hiromichiさん

TOPへ戻る