本、DVD、CD、ゲームの通販 【TSUTAYA オンラインショッピング】

Vポイントの確認
マイページ(注文履歴)
お気に入りリスト
買い物かごを見る
  • HOME
  • 本/コミック
  • 雑誌
  • DVD/ブルーレイ
  • CD/音楽DVD
  • ゲーム
  • 文具・雑貨/グッズ
  • アニメ

ゴジラ×コング

独習 コンピュータ科学基礎 論理構造(2)

著者: ジェームズ ハイン   訳者: 神林靖  
書籍 
出版社:翔泳社
発売日: 2011年12月
mixiチェック
  • 価格(税込):3,520円
  • Vポイント:16pt
  • 在庫なし お気に入りリストへ
  • 在庫なし

この商品の説明

計算とは何か、証明とはどういう行為を指すかの定義から初歩的な論理、述語計算、高階論理、論理プログラミングなどを経て、代数構造、ブール代数および応用技法の実例としてのRSAアルゴリズムの解析を学ぶ。

著者/アーティスト

著者: ジェームズ ハイン訳者: 神林靖

目次

第6章 初等論理(どのように推論するか;命題計算;形式的推論;形式的小売りシステム;章のまとめ);第7章 述語論理(一階述語計算;同値式;述語計算における形式的照明;章のまとめ);第8章 応用論理(等価性;プログラムの正当性;高階論理;章のまとめ);第9章 計算論理(自動推論;論理プログラミング;章のまとめ);第10章 代数構造と技法(代数とはなにか;ブール代数;代数としての抽象データ型;計算代数;様々な代数的アイデア;章のまとめ)

商品仕様

  • アイテム名:書籍
  • ページ数:284p
  • 大きさ:24×19cm
  • 出版社:翔泳社
  • ISBN-10:4798120642
  • ISBN-13:9784798120645

お届けの際のご注意
▼発送時期について

BOOK予約商品のお届けにつきましては直送・店舗受取りにかかわらず、弊社倉庫に届き次第、発送手配を行います。

また、原則として、発売日に弊社の倉庫に到着するため一般の書店よりも数日お届けが遅れる場合がございます。

なお、書籍と書籍以外の商品(DVD、CD、ゲーム、GOODSなど)を併せてご購入の場合、商品のお届けに時間がかかる場合があります。あらかじめご了承ください。


▼本・コミックの価格表示について

本サイト上で表示されている商品の価格(以下「表示価格」といいます)は、本サイト上で当該商品の表示を開始した時点の価格となります。

この価格は、売買契約成立時までに変動する可能性があります。

利用者が実際に商品を購入するために支払う金額は、ご利用されるサービスに応じて異なりますので、

詳しくはオンラインショッピングサービス利用規約をご確認ください。

なお、価格変動による補填、値引き等は一切行っておりません。

 

■オンラインショッピングサービス利用規約

(1) 宅配サービス:第2章【宅配サービス】第6条において定めます。

(2) TOLピックアップサービス:第3章【TOLピックアップサービス】第12条において定めます。

 

サイト表記の書籍カバーについて

書籍のカバーは、期間限定で変更する場合がございます。

そのためサイト上で表記されたものとお届けした作品のカバーが異なる場合がございます。

カバー違いによる交換は行っておりません。