エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
数理論理学(平成29年度)関連情報
講義ノートおよび配布資料 注意 講義ノートは講義前に準備した手書きノートです. 実際の講義はアドリブ... 講義ノートおよび配布資料 注意 講義ノートは講義前に準備した手書きノートです. 実際の講義はアドリブが入りがちなので, このとおりに話したとは限りません. ダブり・省略・順序変更が発生する可能性があります. 第1回 (6/13) 全体の導入。命題論理の論理式の構文論。 講義ノート1. 講義ノート2. (小テストなし) 第2回 (6/15) 真理値表と真理値割当て。トートロジー。 講義ノート1. 講義ノート2. 小テスト 授業で配布した小テスト解答例に間違いがありました。ごめんなさい。次回の授業で訂正します。 第3回 (6/20) 充足可能性。命題論理のコンパクト性。(講義ノート2枚目の(エ)の証明まで) 講義ノート1. 講義ノート2. 小テスト 第4回 (6/22) 命題論理のコンパクト性(続き)。 真理関数。論理的同値性。選言標準形。 講義ノート1. 講義ノート2. 配布資料 小テスト