独習コンピュータ科学基礎（1）
ジェームズ・L．ハイン / 神林靖
2011年6月30日
翔泳社
3,520円（税込）
パソコン・システム開発
非形式的な証明技法にはじまり、集合、関係、関数などの基本概念、基本的なデータ構造および帰納的証明を経て形式的な証明技法に至りアルゴリズムの解析までを学ぶ。
本棚に登録＆レビュー
登録しました。
close
ログイン
Readeeのメインアカウントで
ログインしてください
Readeeへの新規登録は
アプリからお願いします
- Webからの新規登録はできません。
- Facebook、Twitterでのログイ
ンは準備中で、現在ご利用できませ
ん。
シェア
X
LINE
リンク
楽天ブックスサイト
楽天ブックスアプリ
© Rakuten Group, Inc.
キーワードは1文字以上で検索してください
みんなのレビュー