記号論理学（’２４）の口コミ

記号論理学（’２４）の基本情報

科目名:記号論理学（’２４）
メディア:テレビ※インターネット配信限定（開講期間中配信）
科目区分:情報
単位数:2単位
単位認定試験平均点:
主任講師名:加藤　浩（放送大学教授）、辰己　丈夫（放送大学教授）

【講義概要】
記号論理学とは、論理を論理式という数式のような記号で表して、厳密なやりかたで処理する方法の体系です。推論、すなわち、ある事態が成り立っている（真である）とき、そこから別の確実に成り立っている事態を導き出したり、また、その推論の正しさを証明したりするのが記号論理学の役割です。記号論理学は、数学をはじめとして、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどのコミュニケーションの基礎として重要です。本科目では、命題論理、一階述語論理などの意味を理解して自然言語と対応付けられるようにし、さらに論理式の計算方法を学びます。

【授業の目標】
一階述語論理の表現の意味の理解、日本語の表現との相互翻訳、および推論の妥当性の点検ができる。

【履修上の留意点】
「記号論理学(’14)」を単位習得したものは、本科目を履修登録できない。
※この科目は、情報コース開設科目ですが、人間と文化コース、自然と環境コースで共用科目となっています。
※本科目は放送授業ですが、テレビによる放送は行わず、インターネット配信限定で視聴する科目です。そのため、受講には、インターネットなどの受講環境が必要です。受講環境についての詳細は本学ウェブサイトをご参照ください。

https://www.ouj.ac.jp/

大学（教養学部教養学科） | 授業科目案内 | 放送大学

放送大学の「大学（教養学部教養学科）」についてご案内しています。

www.ouj.ac.jp

記号論理学（’２４）の口コミ

口コミ投稿お願いします。