資料詳細

  • 1 件中、 1 件目

【図書】 情報工学基礎講座 １

情報基礎論 --
オーム社 -- １９８８．７ -- ２２ｃｍ -- ２５０ｐ

資料詳細

タイトル 情報工学基礎講座 １
各巻タイトル 情報基礎論
出版 オーム社 １９８８．７
大きさ等 ２２ｃｍ ２５０ｐ
分類 007.08
件名 情報理論
注記 監修：長尾真，淵一博
内容 参考文献：ｐ２４５
要旨 本書では、情報工学を支えるハードウェア面の基礎については２巻に譲り、理論的基礎について詳述しています。前半では形式言語理論とチューリング機械、述語論理に中心をおいて、また後半では実際に表現、実行できるプログラミング言語として関数型言語ＬＩＳＰと論理型言語ＰＲＯＬＯＧの二つをとりあげて、できるかぎり平易に解説しました。
目次 １章　言語と文法；２章　正規文法と有限オートマトン；３章　文脈自由文法；４章　文脈自由言語の構文解析；５章　チューリング機械；６章　帰納的関数；７章　述語論理；８章　関数型言語ＬＩＳＰ；９章　ＬＩＳＰとラムダ算法；１０章　論理型言語ＰＲＯＬＯＧ
ISBN(13)、ISBN 　　 4-274-07417-X
書誌番号 1190280502

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.0/6 一般書 利用可 - 0004460316 iLisvirtual

ページの先頭へ