情報科学講座  A・2・3

北川敏男 ほか編

[目次]

  • 目次
  • 第1章 順序論理回路の表現
  • 1・1 概説 / p1
  • 1・2 順序回路のモデルと表現 / p2
  • 1・3 入力と出力の関係 / p8
  • 1・4 状態の等価性 / p11
  • 1・5 状態集合の最小化 / p12
  • 1・6 等価な順序回路 / p17
  • 1・7 同形な順序回路 / p18
  • 1・8 状態と部分回路 / p21
  • 1・9 強連結順序回路 / p23
  • 1・10 ミーリー形モデルとムーア形モデルの対応関係 / p23
  • A・ ムーア形モデルからミーリー形モデルへの変換 / p24
  • B・ ミーリー形モデルからムーア形モデルへの変換 / p25
  • 1・11 有限オートマトン / p27
  • 1・12 出力をもつ有限オートマトン / p28
  • 1・13 順序回路の交替表現 / p31
  • 第2章 順序論理回路の構成
  • 2・1 分割による状態割当て / p36
  • 2・2 閉分割の束 / p43
  • 2・3 出力関数の簡単化 / p46
  • 2・4 入力依存性とオートノマス回路 / p48
  • 2・5 被覆と状態分離による閉分割の生成 / p50
  • A. 被覆 / p50
  • B. 連座グラフ / p52
  • C. 状態分離の並列分解への応用例 / p54
  • 2・6 順序回路における情報の流れ / p57
  • A 情報流れの不等式 / p57
  • B Mm対を求める方法 / p62
  • C. 分割対による状態割当て / p64
  • 2・7 回路の分解 / p66
  • A. 直列分解 / p66
  • B. 並列分解 / p69
  • C. 特定の成分回路による分解 / p72
  • 第3章 非同期論理回路
  • 3・1 概説 / p75
  • 3・2 論理回路における遅れ / p77
  • 3・3 組合せ論理回路におけるハザード / p82
  • 3・4 順序論理回路におけるハザード / p86
  • 3・5 待合せ形非同期回路網 / p92
  • 第4章 速度独立な論理回路
  • 4・1 非同期論理回路における許容系列 / p98
  • 4・2 速度独立性 / p104
  • 4・3 C状態列とモジュラ性 / p110
  • 4・4 半モジュラ回路網の相互接続 / p116
  • 4・5 速度独立形論理回路と同期形順序論理回路の比較 / p120
  • 参考文献 / p122
  • 索引 / p127
  • A・2・1 論理数学I-数理論理学 栗原俊彦・中村昭共著
  • 第1章 命題論理
  • 第2章 述語論理I
  • 第3章 述語論理II
  • 第4章 述語論理III
  • 第5章 不完全性と決定不能性
  • 第6章 種々の論理
  • A・2・2 論理数学II-組合せ論理回路 吉田典可著
  • 第1章 論理回路とブール代数
  • 第2章 組合せ論理回路
  • 第3章 しきい値論理回路
  • 第4章 多値論理回路
  • 第5章 ファジィ論理回路

「国立国会図書館デジタルコレクション」より

この本の情報

書名 情報科学講座
著作者等 北川 敏男
吉田 典可
書名ヨミ ジョウホウ カガク コウザ
書名別名 共通基礎理論. 2 情報論理学 2 論理数学 3 順序論理回路
巻冊次 A・2・3
出版元 共立
刊行年月 1978.7
ページ数 128p
大きさ 22cm
NCID BN05466407
※クリックでCiNii Booksを表示
全国書誌番号
78022275
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本

掲載作品

この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想