原著 : COMPUTER SCIENCE DISTILLED

著 : Wladston Ferreira Filho

訳 : 小山裕司

Amazon : https://amzn.to/3vlYgGy

コンピュータサイエンス (計算機科学)

フローチャート、疑似コード (pseudocode)、数理モデル

論理、ド・モルガンの法則、真理値表

確率、ギャンブラーの誤謬

離散数学の要点の概要を紹介

時間計算量 (time complexity)

O 記法 (Big-O notation)

空間計算量 (space complexity)

参考文献

再帰、反復

総当たり

バックトラック戦略 : 総当たりをしつつ、ダメなら早めにその手を消す

発見的解法 (heuristic method) : 最高あるいは最適であることは保証できないが、解を導く方法

分割統治法

動的計画法 (dynamic programming) : 繰り返される部分問題を識別して、1 回だけ計算する

最適化問題 (optimization problem)、分枝限定法 (branch and bound)

参考文献

手続きの抽象表現とデータの抽象表現

抽象データ型 (Abstract Data Type : ADT)

データ構造 (data structure) : ADT の実装手段を提供

深さ優先探索 (Depth First Search : DFS) と幅優先探索 (Breadth First Search : BFS)

グラフ彩色 (graph coloring)

参考文献

データベース管理システム (DataBase Management System : DBMS)

リレーショナルデータベースマネジメントシステム (RDBMS)

分散データベース (distributed database)

Geographical Information System (GIS)

汎用 DBMS の多くは GIS 拡張を提供している

アラン・チューリング、チューリング完全

逆アセンブル、リバースエンジニアリング

名前束縛 (name binding)

#書籍 #文献