2022/06/20 13:45更新

アイコンについて

記号論理学第7回

講師
  加藤 浩
   (放送大学教授)
  土屋 俊
   (大学改革支援・学位授与機構特任教授)
放送日時
【月曜日 11:15~12:00】
  7/18(月) 22:30  BS232

今回の授業内容

タブローによる妥当性のチェック(2)


講義概要

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

同じ科目・コースの番組(専門科目/情報)

ページ上部へ戻る