情報基礎論

Author(s)

Bibliographic Information

情報基礎論

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

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

オーム社, 1988.7

Title Transcription

ジョウホウ キソロン

Access to Electronic Resource 1 items

Available at  / 138 libraries

Note

監修: 長尾真, 渕一博

参考文献: p[245]

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Related Books： 1-1 of 1

Details

  • NCID
    BN02622051
  • ISBN
    • 427407417X
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    viii, 250p
  • Size
    22cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top