サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
www.math.sci.ehime-u.ac.jp/~fujita
講義ノートおよび配布資料 注意 講義ノートは講義前に準備した手書きノートです. 実際の講義はアドリブが入りがちなので, このとおりに話したとは限りません. ダブり・省略・順序変更が発生する可能性があります. 第1回 (6/13) 全体の導入。命題論理の論理式の構文論。 講義ノート1. 講義ノート2. (小テストなし) 第2回 (6/15) 真理値表と真理値割当て。トートロジー。 講義ノート1. 講義ノート2. 小テスト 授業で配布した小テスト解答例に間違いがありました。ごめんなさい。次回の授業で訂正します。 第3回 (6/20) 充足可能性。命題論理のコンパクト性。(講義ノート2枚目の(エ)の証明まで) 講義ノート1. 講義ノート2. 小テスト 第4回 (6/22) 命題論理のコンパクト性(続き)。 真理関数。論理的同値性。選言標準形。 講義ノート1. 講義ノート2. 配布資料 小テスト
このページを最初にブックマークしてみませんか?
『www.math.sci.ehime-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く