本書では、コンピュータがどのように計算するか、どのように判断するかという原理を具体的に述べ、暗号のために必要な大きな自然数の素因子分解や、数式処理のときに必要な多項式の素因子分解、およびネットワークのときに必要なコード理論の数学的原理を書いている。コンピュータと数学の接点として大切なグレブナー基底について基本的な部分にも触れた。
もくじ情報：第１章　数の表し方；第２章　機械語；第３章　論理回路；第４章　コンピュータの模型；第５章　素因子分解と暗号；第６章　多項式の素因子分解；第７章　符号理論；第８章　グレブナー基底