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

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

本書は、２０００年１１月に福岡県久山で開催された第７回ワークショップ（ＦＯＳＥ２０００）の論文集であり、招待講演論文と厳正な審査によって採択された３４編の論文から成っている。今回のワークショップでは、通常のセッションに加え、招待講演「ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について」とパネル討論「２１世紀におけるソフトウェア工学の基礎とは？」を設定し、活発な議論が行われた。本書には、それらも収録されている。

本書は、１９９９年６月２５日に統計数理研究所において開催された第７回「離散システム研究会」（離散構造とアルゴリズム）の講演内容をまとめたものである。難しい内容を噛み砕いて分かり易く議論が展開されており、大学３、４年生から大学院生までのセミナーや講義の題材としても好適で、「離散構造とアルゴリズム」に関心をもつ学生、研究者、社会人が最新の成果に触れることが出来る優れた自習書でもある。

本書は、理工系・文系を問わず、情報の専門の学部、学科に学ぶ大学・高専・専門学校の学生を対象に、教養数学の知識はあまり前提にせずに情報科学における離散数学の概要を分かり易く解説しました。
情報処理学会が提案している「大学の理工系学部情報系学科のためのコンピュータサイエンス教育カリキュラムＪ９７」を参考にし、離散数学としてのまとまりをもたせるため、基礎的代数に、グラフや形式言語、帰納的アルゴリズムなどの内容を加えました。
本書では、演習による理解を重視し、多数の例題（３９０題余り）を配し、巻末に略解をつけて初学者の便を図っています。

計算機科学・ソフトウェア科学の分野の研究・教育における新しい発展・研究成果を迅速に公表するために、時宜を得た原著論文・解説論文の予備原稿、テクニカルレポート、講義録、研究会・ワークショップ報告集などを刊行するシリーズ。本書は、１９９９年１１月に北海道登別市で開催された、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」第６回ワークショップの論文集である。一般講演論文は、ソフトウェア工学における基礎理論や基礎概念ならびに基盤技術に関するものであり、招待講演は、「ソフトメカニクスにおける制御プログラムの構成」と「鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド」の２件である。

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

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

本書は、１９９８年６月１５日に統計数理研究所において開催された「離散システム研究会」の講演内容をまとめたものである。

本書は、情報システムの分析・設計・開発工程に焦点をあて、情報システム構築に必要とされる情報技術について取り上げている。現在最も普及しているソフトウェア開発技術である構造化技法（構造化分析、構造化設計、構造化プログラミング）に重点を置いた。

本書は日本ソフトウェア科学会「インタラクティブシステムとソフトウェア研究会」が主催し、１９９８年１２月、宮崎シーガイヤにて開催した「第６回目インタラクティブシステムとソフトウェアに関するワークショップ」（ＷＩＳＳ’９８）での発表をまとめたものである。