記号論理学新訂放送大学教材

Write review

Product Details

Genre

：

Architecture&Engineering

ISBN/Catalogue Number

：

ISBN 13 : 9784595324819
ISBN 10 : 4595324812

Format

：

Books

Publisher

：

放送大学教育振興会

Release Date

：

March/2024

Release Country

：

Japan

Co-Writer, Translator, Featured Individuals/organizations

加藤浩(教育工学), 辰己丈夫 ,

Content Description

記号論理学とは、論理を論理式という数式のような記号で表し、厳密なやり方で処理する方法の体系である。ある事態が成り立っている（真である）とき、そこから別の事態を導き出したり、その推論の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議論やプレゼンテーションなどの基礎として重要となる。命題論理、一階述語論理などの意味を理解して自然言語の命題と対応付け、さらに論理式の計算方法を学ぶ。
※この科目は、インターネット配信限定で視聴する科目です。インターネット配信は、放送大学の学生の方が視聴できます。

【著者紹介】
加藤浩 : １９８３年慶應義塾大学大学院工学研究科修士課程修了、修士（工学）。現在、放送大学教養学部教授、熊本大学客員教授、総合研究大学院大学名誉教授

辰己丈夫 : １９９１年早稲田大学理工学部数学科卒業。２０１６年放送大学教授（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）