計算理論入門 = INTRODUCTION TO COMPUTATION THEORY

五十嵐善英, Forbes D.Lewis, 舩田眞里子 著

[目次]

  • 第1章 計算可能性とは何か(プログラミング言語NICE
  • チューリング機械 ほか)
  • 第2章 解決不能性(チューリング機械の数え上げ
  • 数え上げの性質 ほか)
  • 第3章 計算の複雑さ(計算量の測度
  • 計算量のクラス ほか)
  • 第4章 帰納的関数のいろいろな形式化(ループプログラム
  • 原始帰納的関数 ほか)

「BOOKデータベース」より

この本の情報

書名 計算理論入門 = INTRODUCTION TO COMPUTATION THEORY
著作者等 Lewis, Forbes D
五十嵐 善英
舩田 眞里子
Lewis Fobes D.
リュウイス フォーブス・D.
書名ヨミ ケイサン リロン ニュウモン
書名別名 INTRODUCTION TO COMPUTATION THEORY

Keisan riron nyumon
シリーズ名 数理情報科学シリーズ 27
出版元 牧野書店 : 星雲社
刊行年月 2013.6
ページ数 212p
大きさ 21cm
ISBN 978-4-434-17974-7
NCID BB12859154
※クリックでCiNii Booksを表示
全国書誌番号
22268714
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想