LISP言語演習
教育現場で十分に練られた簡単で豊富な例題を順番に練習することによって，知らず知らずのうちにLISP特有の高度な論理処理技術が身につくように編集。計算機科学における基礎知識を実践的に学習する目的にも役立つ。
- ジャンル
- 発行年月日
- 1998/05/15
- 判型
- A5
- ページ数
- 214ページ
- ISBN
- 978-4-339-02354-1
- 内容紹介
- 目次
教育現場で十分に練られた簡単で豊富な例題を順番に練習することによって，知らず知らずのうちにLISP特有の高度な論理処理技術が身につくように編集。計算機科学における基礎知識を実践的に学習する目的にも役立つ。
１. インタプリタの起動と終了
１.１
起動
１.２ 終了
１.３ 記憶
１.４ ファイルのロード
２. 算術演算
２.１ 加算
２.２ 減算
２.３ 乗算
２.４ 除算
２.５ 演算の結果の型
３.新たな関数の定義
３.１ 単一の引数をもつ関数の定義
３.２ 引数なしの関数の定義
３.３ 複数の引数をもつ関数の定義
４. 基本演算と分岐
４.１ 「小さい」
４.２ 「等しい」
４.３ 「大きい」
４.４ 「・・・でない」
４.５ 「かつ」
４.６ 「または」
４.７ 分岐
５.情報のコード表現
５.１ 符号化
５.２ 復号化
６.試行錯誤による求解
６.１ 準備
６.２ ニュートン法の利用
７. 基本統計量の計算
７.１ 平均
７.２ 分散
７.３ 標準偏差
８.計算の複雑性
８.１ オーダ
８.２ 再帰的な階乗の計算
８.３ 反復による階乗の計算
９. 数列の計算
９.１ フィボナッチ数列
９.２ 収束する数列
９.３ 数列の大きさの見積り
９.４ 計算時間の見積り
９.５ 反復による計算
１０. 指数・対数関数の計算
１０.１ 準備
１０.２ 指数関数の展開近似
１０.３ 引数の変域の拡張
１０.４ 指数関数の逆関数
１１. 定義の局所化
１１.１ 無名の関
数
１１.２ 関数の局所的な定義
１１.３ 式の局所的な命名
１２. 組の構成と評価
１２.１ 組の構成
１２.２ 組の要素の評価
１２.３ 組の構成と零引数
１３. 線形リストの構成と評価
１３.１ 線形リストの構成
１３.２ エントリの評価
１４. 命題論理
１４.１ 言語と論理
１４.２ ２値論理
１４.３ 多値論理
１５. 二元論理における単項演算
１５.１ 単項演算の真理表
１５.２ 否定
１６. 二元論理における二項演算
１６.１ 二項演算の真理表
１６.２ 論理積
１６.３ 論理和
１６.４ 否定積
１６.５ 否定和
１６.６ 含意
１６.７ 同値
１６.８ 排他的論理和
１６.９ 論理演算の優先順位
１７. 印字
１７.１ 印字のコマンド
１７.２ 重複の回避
１８. トートロジ
１８.１ 準備
１８.２ 二元論理におけるトートロジ
１９. 矛盾
１９.１ 準備
１９.２ 二元論理における矛盾
２０. 束・ブール代数
２０.１ 準備
２０.２ 可換法則
２０.３ 結合法則
２０.４ 吸収法則
２０.５ べき等法則
２０.６ 束
２０.７ 可補束
２０.８ 分配法則
２０.９ ブール代数
２１. 論理的含意・論理的同値
２１.１ 準備
２１.２ 論理的含意
２１.３ 連鎖律
２１.４ 論理的同値
２１.５ ド・モルガンの法則
２２. 関数名の受渡し
２２.１ 関数名の評価
２２.２ 和の計算
２２.３ 積の計算
２３. ソート
２３.１ バブルと石の交換
２３.２ バブルすなわち最小値の浮上
２３.３ バブルソート
２４. 翻訳
２４.１ 準備
２４.２ be動詞の検出
２４.３ 冠詞の検出
２５. 二元論理から多値論理への拡張
２５.１ 準備
２５.２ 二元論理の並置
２５.３ 多値論理のおける否定
２５.４ 多値論理のおける論理積
２５.５ 多値論理のおける論理和
２５.６ 多値論理の性質
付録 二元論理から[０,１]値論理への拡張
A.１ ファジイ論理
A.２ [０,１]値論理
A.３ ブール的性質
A.４ トートロジの継承
文献
索引
