情報基礎論

著者

• 長尾, 真 ナガオ, マコト
• 辻井, 潤一 ツジイ, ジュンイチ
• 山崎, 進 ヤマサキ, ススム
• 淵, 一博 フチ, カズヒロ

書誌事項

情報基礎論

長尾真, 辻井潤一, 山崎進共著

（情報工学基礎講座 / 長尾真, 渕一博監修, 1）

オーム社, 1988.7

タイトル読み

ジョウホウ キソロン

電子リソースにアクセスする 全1件

• 情報工学基礎講座

  1 1988

  NDLデジタルコレクション

  限定公開

注記

監修: 長尾真, 渕一博

参考文献: p[245]

内容説明・目次

内容説明

本書では、情報工学を支えるハードウェア面の基礎については２巻に譲り、理論的基礎について詳述しています。前半では形式言語理論とチューリング機械、述語論理に中心をおいて、また後半では実際に表現、実行できるプログラミング言語として関数型言語ＬＩＳＰと論理型言語ＰＲＯＬＯＧの二つをとりあげて、できるかぎり平易に解説しました。

目次

• １章　言語と文法
• ２章　正規文法と有限オートマトン
• ３章　文脈自由文法
• ４章　文脈自由言語の構文解析
• ５章　チューリング機械
• ６章　帰納的関数
• ７章　述語論理
• ８章　関数型言語ＬＩＳＰ
• ９章　ＬＩＳＰとラムダ算法
• １０章　論理型言語ＰＲＯＬＯＧ

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN02622051
• ISBN:
  • 427407417X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: viii, 250p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.1
  • NDC8 : 007.64
  • NDLC : M121
• 件名:
  • NDLSH : 情報理論
• 親書誌ID:
  • BN00032523