mizoken001 https://blog.hatena.ne.jp/mizoken001/ みぞメモ https://mizoken001.hateblo.jp/ 放送大学 ■ 講座情報 記号論理学（’１４） Symbolic Logic ('14) 【主任講師】 加藤 浩（放送大学教授）、 土屋 俊（大学改革支援・学位授与機構特任教授） 【インターネット視聴】 ■ 講義概要 記号論理学とは、論理を論理式という数式のような記号で表して、 厳密なやりかたで処理する方法の体系です。 推論、すなわち、ある事態が成り立っている（真 である）とき、 そこから別の確実に成り立っている事態を導き出したり、 また、その推論の正しさを証明したりするのが記号論理学の役割です。 記号論理学は、 数学をはじめとして、哲学、計算機科学などの基礎となるほか、 論文執筆や議論やプレゼンテーショ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmizoken001.hateblo.jp%2Fentry%2F2019%2F05%2F24%2F120711" title="記号論理学（’１４）：シラバス概要 - みぞメモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-05-24 12:07:11 rich https://mizoken001.hateblo.jp/entry/2019/05/24/120711 1.0 100%