集合と位相I(平成30年度)講義ノート
集合と位相I (平成30年度) 講義ノート 毎回の講義の前に作る準備ノートを公開します。どうにでも使ってください。JPEG画像で1枚につき3メガバイトくらいあります。スマホの人はデータ量に注意。 4月10日: 1-1 1-2 4月12日: 2-1 2-2 4月17日: 3-1 3-2 4月19日: 4-1 4-2 4月24日: 5-1 5-2 4月26日: 6-1 6-2 5月1日: (中間テスト) 5月8日: 8-1 8-2 5月10日: 9-1 9-2 5月15日: 10-1 10-2 5月17日: 11-1 11-2 5月22日: 12-1 12-2 5月24日: 13-1 13-2 5月29日: 14-1 14-2 5月31日 おことわり 講義はアドリブが入りがちなので、このノートに書いたとおりに話したとは限りません。 その回のノートだけでなく次の回のノートがどこで始まっているのか
数理論理学(平成29年度)関連情報
講義ノートおよび配布資料 注意 講義ノートは講義前に準備した手書きノートです. 実際の講義はアドリブが入りがちなので, このとおりに話したとは限りません. ダブり・省略・順序変更が発生する可能性があります. 第1回 (6/13) 全体の導入。命題論理の論理式の構文論。 講義ノート1. 講義ノート2. (小テストなし) 第2回 (6/15) 真理値表と真理値割当て。トートロジー。 講義ノート1. 講義ノート2. 小テスト 授業で配布した小テスト解答例に間違いがありました。ごめんなさい。次回の授業で訂正します。 第3回 (6/20) 充足可能性。命題論理のコンパクト性。(講義ノート2枚目の(エ)の証明まで) 講義ノート1. 講義ノート2. 小テスト 第4回 (6/22) 命題論理のコンパクト性(続き)。 真理関数。論理的同値性。選言標準形。 講義ノート1． 講義ノート2． 配布資料 小テスト
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
