コンピュータ支援による証明: 基礎と応用
By Fouad Sabry
()
About this ebook
コンピュータ支援による証明とは
数学的証明は、部分的であっても何らかの方法でコンピュータによって生成された場合、コンピュータ支援されているとみなされます。
どのようなメリットがあるか
(I) 以下のトピックに関する洞察と検証:
第 1 章: コンピューター支援 証明
第 2 章: 数学的証明
第 3 章: 定理
第 4 章: メタマス
第 5 章: モデルの検査
第 6 章: コンピュータ代数
第 7 章: 形式的検証
第 8 章: 検証された数値
第 9 章: 論理理論者
第 10 章: セブンティーン オア バスト
(II) コンピュータ支援証明に関する一般のよくある質問に答える。
(III) 多くの分野でコンピュータ支援証明が使用されている実際の例
(IV) コンピュータ支援証明技術を 360 度完全に理解するために、各業界の 266 の新興技術を簡潔に説明する 17 の付録。
誰 この本の対象者は
専門家、学部生および大学院生、愛好家、愛好家、およびあらゆる種類のコンピューター支援証明についての基本的な知識や情報を超えたいと考えている人です。
Read more from Fouad Sabry
コンピュータビジョン [Japanese]
Related to コンピュータ支援による証明
Titles in the series (100)
放射状基底ネットワーク: 人工ニューラルネットワークの活性化機能の基礎と応用 Rating: 0 out of 5 stars0 ratings人工ニューラルネットワーク: 神経計算の謎を解読するための基礎と応用 Rating: 0 out of 5 stars0 ratings制限付きボルツマンマシン: 人工知能の隠れた層を解明するための基礎と応用 Rating: 0 out of 5 stars0 ratings多層パーセプトロン: ニューラル ネットワークをデコードするための基礎と応用 Rating: 0 out of 5 stars0 ratings神経進化: 神経進化で人間の知性を超えるための基礎と応用 Rating: 0 out of 5 stars0 ratingsパーセプトロン: 神経ビルディングブロックの基礎と応用 Rating: 0 out of 5 stars0 ratings畳み込みニューラル ネットワーク: 視覚的な画像を分析するための基礎と応用 Rating: 0 out of 5 stars0 ratingsバイオにインスピレーションを得たコンピューティング: デジタル世界での生物学的インスピレーションの基礎と応用 Rating: 0 out of 5 stars0 ratingsホップフィールドネットワークス: 記憶を保存するニューラルネットワークの基礎と応用 Rating: 0 out of 5 stars0 ratings長短期記憶: シーケンス予測の基礎と応用 Rating: 0 out of 5 stars0 ratingsフィードフォワード ニューラル ネットワーク: 思考機械とニューラルウェブのアーキテクチャの基礎と応用 Rating: 0 out of 5 stars0 ratingsヘビアン学習: 記憶と学習を統合するための基礎と応用 Rating: 0 out of 5 stars0 ratings身体化された認知: 基礎と応用 Rating: 0 out of 5 stars0 ratingsハイブリッド ニューラル ネットワーク: 生物学的ニューラルネットワークと人工ニューロンモデルの相互作用の基礎と応用 Rating: 0 out of 5 stars0 ratingsリカレント ニューラル ネットワーク: シンプルなアーキテクチャからゲート付きアーキテクチャまでの基礎と応用 Rating: 0 out of 5 stars0 ratings位置特定型人工知能: インテリジェンスとアクションを統合するための基礎と応用 Rating: 0 out of 5 stars0 ratings論理: 基礎と応用 Rating: 0 out of 5 stars0 ratingsマルチエージェントシステム: 基礎と応用 Rating: 0 out of 5 stars0 ratings誤差逆伝播法: 深層学習のトレーニング用データを準備するための基礎と応用 Rating: 0 out of 5 stars0 ratingsデータ処理のグループ方法: 予測モデリングとデータ分析の基礎と応用 Rating: 0 out of 5 stars0 ratings包含アーキテクチャ: 行動ベースのロボティクスと反応制御の基礎と応用 Rating: 0 out of 5 stars0 ratingsアトラクターネットワーク: 計算神経科学の基礎と応用 Rating: 0 out of 5 stars0 ratings交互決定ツリー: 基礎と応用 Rating: 0 out of 5 stars0 ratingsヌーベル人工知能: 昆虫と同等の知能を持つロボットを作るための基礎と応用 Rating: 0 out of 5 stars0 ratingsネットワーク制御システム: 基礎と応用 Rating: 0 out of 5 stars0 ratings命題論理: 基礎と応用 Rating: 0 out of 5 stars0 ratings競争学習: 競争による強化学習の基礎と応用 Rating: 0 out of 5 stars0 ratingsファジーロジック: 基礎と応用 Rating: 0 out of 5 stars0 ratings人工知能システムの統合: 基礎と応用 Rating: 0 out of 5 stars0 ratings人工免疫システム: 基礎と応用 Rating: 0 out of 5 stars0 ratings
Related ebooks
コンピューターオーディション: 基礎と応用 Rating: 0 out of 5 stars0 ratings焼き鈍し法: 基礎と応用 Rating: 0 out of 5 stars0 ratingsクリエイティブ コンピューティング: 基礎と応用 Rating: 0 out of 5 stars0 ratingsコンピューターチェス: 基礎と応用 Rating: 0 out of 5 stars0 ratingsコンピュータビジョン: 基礎と応用 Rating: 0 out of 5 stars0 ratings自動定理証明: 基礎と応用 Rating: 0 out of 5 stars0 ratingsエキスパートシステム: コンピュータに専門家のように考えることを教えるための基礎と応用 Rating: 0 out of 5 stars0 ratingsコンピューター代数: 基礎と応用 Rating: 0 out of 5 stars0 ratingsソフトコンピューティング: 基礎と応用 Rating: 0 out of 5 stars0 ratings人工知能による乗っ取り: 基礎と応用 Rating: 0 out of 5 stars0 ratingsインテリジェントな制御: 基礎と応用 Rating: 0 out of 5 stars0 ratings差分進化: 基礎と応用 Rating: 0 out of 5 stars0 ratingsコンピュータサイエンスオントロジー: 基礎と応用 Rating: 0 out of 5 stars0 ratings話者の認識: 基礎と応用 Rating: 0 out of 5 stars0 ratings資格問題: 基礎と応用 Rating: 0 out of 5 stars0 ratings監視および監視エージェント: 基礎と応用 Rating: 0 out of 5 stars0 ratingsユーザーの錯覚: 基礎と応用 Rating: 0 out of 5 stars0 ratings矛盾のないロジック: 基礎と応用 Rating: 0 out of 5 stars0 ratingsオートノミック・コンピューティング: 基礎と応用 Rating: 0 out of 5 stars0 ratingsエージェントのアーキテクチャ: 基礎と応用 Rating: 0 out of 5 stars0 ratings逆方向連鎖: 基礎と応用 Rating: 0 out of 5 stars0 ratingsきちんとした対だらしない: 基礎と応用 Rating: 0 out of 5 stars0 ratings技術的特異点: 基礎と応用 Rating: 0 out of 5 stars0 ratingsプロセスマイニング: 基礎と応用 Rating: 0 out of 5 stars0 ratings前方連鎖: 基礎と応用 Rating: 0 out of 5 stars0 ratings知識推論: 基礎と応用 Rating: 0 out of 5 stars0 ratings人工知能による監禁: 基礎と応用 Rating: 0 out of 5 stars0 ratings仮想インテリジェンス: 基礎と応用 Rating: 0 out of 5 stars0 ratingsパターン認識: 基礎と応用 Rating: 0 out of 5 stars0 ratingsインテリジェントエージェント: 基礎と応用 Rating: 0 out of 5 stars0 ratings
Reviews for コンピュータ支援による証明
0 ratings0 reviews