読み込み中…

記号論理学

記号論理学

加藤浩
土屋俊
3,300 円（税込）
3,300 円（税込）
SALE 売り切れ
ネットストア在庫 詳細
    読み込み中...
My店舗在庫
    My店舗登録で在庫確認と店舗お受け取りのご利用が可能になります。(要ログイン)
  • 在庫表示のサンプル
店舗在庫
商品説明
記号論理学とは，論理を論理式という数式のような記号で表し，厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき，そこから別の事態を導き出したり，その推論の正しさを証明したりする。記号論理学は，数学，哲学，計算機科学などの基礎となるほか，論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理，一階述語論理などの意味を理解して自然言語と対応付け，さらに論理式の計算方法を学ぶ。
詳細を表示する

カスタマーレビュー

honto本の通販ストアのレビュー(0件)

並び順:
  • 最新順
  • 評価高い順
  • 評価低い順
1/1ページ

最近チェックした商品