出版社よりお取り寄せ(通常3日~20日で出荷)
※20日以内での商品確保が難しい場合、キャンセルさせて頂きます
記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている(真である)とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。
※この科目は、インターネット配信限定で視聴する科目です。インターネット配信は、放送大学の学生の方が視聴できます。
よく利用するジャンルを設定できます。
「+」ボタンからジャンル(検索条件)を絞って検索してください。
表示の並び替えができます。