萩谷昌己 - 電子書籍 1

論理と計算の概念は，いまでは計算機科学の基盤となっている．本書は，命題論理や述語論理，そして様相論理など形式論理の基礎を学んだあと，ゲーデル不完全性定理を通して「計算」の意味を理解する．さらに計算モ……続きを見る

情報システムは，いまや社会のすみずみにまで広く普及して社会基盤を構成しており、現代社会はもはや情報システムなしでは成り立たないといえる。情報システムを有効に使いこなすには、その仕組みや背景にある原理……続きを見る

実は自然は計算をしている！　自然界は、私たちが考える以上に様々な手法で計算をしている。本書は、その計算手法ーアルゴリズムーを読み解き、新たな情報処理を確立しようという最先端の試みを、数式を極力避けて……続きを見る