Book List書籍一覧
近代科学社の取り扱ってる書籍一覧です
検索もご利用いただけます
-
Prologへの入門
今日、人工知能や非数値プログラミングに適した強力な言語として注目を浴びているProlog言語への入門書である。
Prologは数学的な論理にその源を有しているため、論理を通じて紹介されることが多い。しかし数学的な面を強調した紹介は、Prologを実用的なプログラミング・ツールとして教えるには適していない。
そこで本書は、数学的な面にとらわれず、Prologの基本的なメカニズムを用いて興味ある問題を解く技法に的を絞っている。エジンバラ構文則に基づき、各種処理系の互換性に配慮する。 -
計算機工学の基礎
計算機そのものの進歩とともに、その需要は拡大しつつある。それに対応して計算機技術者の層も厚くならねばならないが、計算機工学の教育現場では、いまだに数学や電子工学からの借り物の学問体系が使われている。そうした依存型の学問形式ではない独自の理論体系確立は急務である。
そのひとつの提案として書かれた本書は、将来プロの技術者になろうとする人びとの格好の入門書・教科書である -
組合せ論入門
古典的名著『いかにして問題を解くか』の著者ポリアと「ネバンリンナ賞」第1回受賞者タージャンとがスタンフォード大学で行った講義録をまとめたものである。
順列と組合せの基礎から説き起こし、母関数や数え上げの理論のような数学的道具、さらにラムゼイ理論、マッチング、ハミルトンとオイラー路といった特定の問題に言及する。
組合せ論は計算機科学において重要な役割を果たしている数学の一分野であり、必須の知識である。