カテゴリ コンピュータ用語集 ハードウェア モバイル・スマートフォン インターネット・Webデザイン ネットワーク アプリケーション OS デザイン・グラフィックス その他 ネオウィング 楽天市場店 5,060 円 （税抜き） ご注文前に必ずご確認くださいプログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。全体像(はじめに:計算できるもの、できないものとは)第1部 計算可能性理論(コンピュータプログラムとは何か不可能なPythonプログラム計算問題とは何か ほか)第2部 計算量理論(計算量理論:効率が重視されるときクラスPolyとクラスExpo:もっとも根本的な2つの計算量クラスクラスPolyCheckとクラスNPoly:簡単に検証できる難しい問題 ほか)第3部 起源と応用(もともとのチューリングマシン正しいことをすべて証明できるとは限らないカープの21個の問題 ほか)商品番号：NEOBK-2569703JohnMacCormick / Cho Matsuzaki Isao Osamu / Kanyaku Nagao Takahiro / Yaku / Keisan Dekiru Mono Keisan Dekinai Mono Jissen Teki Approach Niyoru Keisan Riron Nyumon / Original Title: WHAT CAN BE COMPUTED?メディア：本/雑誌重量：540g発売日：2020/12JAN：9784873119335計算できるもの、計算できないもの 実践的アプローチによる計算理論入門 / 原タイトル:WHAT CAN BE COMPUTED?本/雑誌 / JohnMacCormick/著 松崎公紀/監訳 長尾高弘/訳2020/12発売 この商品の詳細を調べる 本・雑誌・コミック » PC・システム開発 » プログラミング Dekinai Niyoru チューリングマシン プログラミング Matsuzaki
ネオウィング 楽天市場店 5,060 円 （税抜き） ご注文前に必ずご確認くださいプログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。全体像(はじめに:計算できるもの、できないものとは)第1部 計算可能性理論(コンピュータプログラムとは何か不可能なPythonプログラム計算問題とは何か ほか)第2部 計算量理論(計算量理論:効率が重視されるときクラスPolyとクラスExpo:もっとも根本的な2つの計算量クラスクラスPolyCheckとクラスNPoly:簡単に検証できる難しい問題 ほか)第3部 起源と応用(もともとのチューリングマシン正しいことをすべて証明できるとは限らないカープの21個の問題 ほか)商品番号：NEOBK-2569703JohnMacCormick / Cho Matsuzaki Isao Osamu / Kanyaku Nagao Takahiro / Yaku / Keisan Dekiru Mono Keisan Dekinai Mono Jissen Teki Approach Niyoru Keisan Riron Nyumon / Original Title: WHAT CAN BE COMPUTED?メディア：本/雑誌重量：540g発売日：2020/12JAN：9784873119335計算できるもの、計算できないもの 実践的アプローチによる計算理論入門 / 原タイトル:WHAT CAN BE COMPUTED?本/雑誌 / JohnMacCormick/著 松崎公紀/監訳 長尾高弘/訳2020/12発売 この商品の詳細を調べる 本・雑誌・コミック » PC・システム開発 » プログラミング Dekinai Niyoru チューリングマシン プログラミング Matsuzaki
