本書は、学校でもビジネス社会においても最も一般的に使われているMicrosoft社のWordとExcelを対象にした演習課題を作成することにしました。この演習書は、Office2000環境を前提にしていますが、クリップアートのイラストを除くとOffice97環境でも利用可能になっています。
演習課題の狙いは、既に習得したWordやExcelの基本機能を体系的に反復学習することで、それらを実践的に応用できるようにすることです。また、演習課題の題材は、現実に起こっている事象やビジネス社会での事例を取り扱っていますので、直ぐにでも適用・応用できる内容になっています。従って、この本を利用される皆さんは、単にWordやExcelの機能を学習・復習するだけでなく、演習課題で取り上げた題材内容を十分理解しながら学習することが望まれます。

計算の本質は何だろうか、計算できる関数はどのような構造をもっているか、原理的に計算できない関数があるというがそれは一体どんな関数だろうか、…これらの問題について最初に数学的にわかりやすく解説する。
また、プログラムの意味論や関数型言語と関連して注目を集めているラムダ計算の基礎理論を計算可能性の問題と関連させながら展開する。
従来、ラムダ計算に関する書物は少なく、しかもチャーチ･ロッサの定理や正規形定理などの基本定理の証明をきちんと与えているものは専門家向きのものに限られていたが、本書では簡潔で見通しのよい証明をこれらの基本定理に対して与える。
また、プログラムの数学的意味論にとって不可欠であるラムダ計算のモデルと、それに関するスコットらの理論を紹介する。

Ｃ言語についてのテキストは既に数多く刊行されていますが、それらは文法を系統立てて学ぶようになっている本が多いように思います。
本書では、文法の体系にとらわれず、最初からプログラムを１つずつ示し、それを理解しながら読み進むことによってプログラミングが実際に身に付くような構成になっています。
プログラミング言語の習得には、良いプログラムの真似をして実際に作ってみることが早道だといわれています。本書は例題を中心にプログラムを多く掲載し、Ｃ言語のいろいろな機能を、実際にプログラムを入力し実行して学べるようになっています。
最初は、掲載されているプログラムをそのまま入力して動作を理解し、さらに、自分なりにプログラムを変更したり、拡張したりすることによって、Ｃ言語の習得を早めることができると考えています。

本書は、大学学部、高等専門学校、専修学枚のコンピュータサイエンス系学科における「論理回路」と「論理設計」の教科書として書き下ろした。
その内容は、（社）情報処理学会が策定した「大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラムＪ９７」のＵ－１論理回路；Ｕ－６論理設計；の２科目に準拠している。

本書では、コンピュータサイエンスを支える論理代数とそのハードウェアによる実現である論理回路との関係について、電気に関する専門知識がなくても理解できるように、解き明かしている。また、古典的な知識や理論だけではなく、最新の理論や実用的な手法についても平易に解説している。各所で、コンピュータハードウェアの基本原理である「論理回路」を実例として紹介し、理論と実際との関連に興味をつなげるようにしている。
Ｊ９７では、この分野の講義を、１．論理回路：数学的な概念（ソフトウェア）による組み合わせ回路や順序回路といった論理回路（ハードウェア）の実現；　２．論理設計：論理回路の効率の良い設計手法の理論と実際；の２科目に分けて学習することを提案している。

コンピュータは何ができて何ができないのか、原理的に考えていくと、コンピュータとはいったい何か、という基本的な問題に帰ることになる。
これはコンピュータの科学である計算機科学あるいは情報科学の基礎論の一つの課題である。情報科学はさまざまな科学の諸分野を基礎としているが、ここでは、そのような分野の理解を通して、コンピュータとは何か、アルゴリズムとは何か、コンピュータの扱う知識とは何か、そして、コンピュータは何ができて何ができないか、このようなことを理論的に考えてみる。
コンピュータの動作の基本はアルゴリズムである。コンピュータはコンピュータのアルゴリズムとして表わせるものはすべて処理できる。コンピュータは何ができるかということは、言い換えると、原理的な意味でアルゴリズムとして表わせるものは何か、ということである。ところで、このようなアルゴリズムを処理するコンピュータの動作自身もやはりアルゴリズムになっており、コンピュータで実行することができる。そのことがコンピュータにある意味での無限の可能性を与えている。このようなアルゴリズムについて考えること、これが本書のテーマである。

コンピュータの急速な発達によって、数値計算法は大きく変化しているが、基礎的な考え方――公式なアルゴリズムが導かれる数学的過程――が問直されている。
本書は理論編とプログラム編からなり、文科系の学部、短大、専門学校の学生を対象に、標準的な題材を使って、数値解析の基本をわかりやすく解説する。プログラム編では理論編で説明した解法のC言語によるプログラムリストを示す。

ワークステーションの標準OSとして広く用いられるUNIXの基本的知識とその上で標準的に行われているCプログラミングをコンパクトにまとめた。『UNIXとPascal』の姉妹編である。
第I部がUNIX編であり、UNIXシステムの使い方、ファイル操作、エディタ等をその基礎から常用レベルまで説明するとともに、Xウィンドウやネットワークの使い方を説明し、簡易マニュアルとしても使える。
第II部はCプログラミングについてその入門から応用までを解説する。近年注目されているC＋＋についても記述する。C文法はANSICに準拠して使う立場で解説されている。

著者の数年にわたる講義･演習をもとにまとめたもので、文系･理系を問わず、大学1～2年生のコンピュータリテラシーの基礎教育に格好なテキストである。
Cのプログラミングを通じてコンピュータの動作原理を理解し、ある程度の実務的なプログラムが書き下ろせるように、例題と演習問題を充実させた。
各章建ては、文法的一貫性を無視して、演習書としてのストーリー性を重視している。
ANSI文法を採用。

方理論の概説。基本的で代表的な5つの型理論、λ→、MLの型推論、ITTn、F、CCについて、具体的な理解のための形式体系の完全な定義を紹介し、推論の例を説明。また、様々な型理論の関係を整理して理解するためλ-cubeと、Girardの逆説を紹介する。

本書は、現代のコンピュータが情報をどのように処理し、どのようにして知識や知能をもつことができるのか、その方法は人間とどのように違うのか、などについての話題を取り上げている。