情報論理
2020

課題の提出

  • 1月22日は小テストです。小テストは、紙で行います。
  • 離散数学の説明動画、イヤホンを付けて見てください。
  • 離散数学のベン図部分の説明スライド(問題付き)、スマホ専用、指で上下にスワイプしてスライドを進める/戻すことができます。PCでは動作しません。

Twitterからの情報

スケジュール

金曜日 2限 240教室
終了した授業の横には、 が表示され、クリックすると解説用のパワーポイントファイルを見ることができます。

  1. 09月18日 論理学入門
  2. 09月25日 否定、かつ、または 1
  3. 10月09日 否定、かつ、または 2
  4. 10月16日 ならば、同値 1
  5. 10月23日 ならば、同値 2
  6. 10月30日 小テスト1 試験範囲: 否定,かつ,または,ならば,同値 持ち込み:不可
  7. 11月06日 日本語→真理値表から記号を組み立てる
  8. 11月13日 真理値表から恒真、恒偽、偶然的命題を判定する 1
  9. 11月27日 真理値表から恒真、恒偽、偶然的命題を判定する 2 問題のみ→ 問題と解答→
  10. 12月04日 小テスト2  試験範囲: 記号の組み立て、真理値表の作成、恒真・恒偽・偶然的命題の判定 持ち込み:不可
  11. 12月11日 推論 1
  12. 12月18日 推論 2
  13. 12月25日 小テスト3  試験範囲: 推論 持ち込み:不可
  14. 01月08日 離散数学(集合、ベン図)
  15. 01月22日 小テスト4  試験範囲: 離散数学 持ち込み:不可
  16. 01月29日 定期試験  試験範囲: 小テスト1~4 持ち込み:不可

レポート

なし

試験について

定期試験の期間中に試験を行う。
時間60分、持ち込みは定規のみ可、試験範囲は全ての小テスト

講義資料

  • 推論の説明動画、イヤホンを付けて見てください。
  • 推論の説明スライド、スマホ推奨、指で上下にスワイプしてスライドを進める/戻すことができます。PCの場合には、マウスホイールでスライドを進めてください。
1. 論理学入門
2. 真理値表
3. 述語論理
4. 離散数学入門

※ 講義資料を表示できない場合:右クリックで「ファイルに保存」、ダウンロードしたファイルを印刷。
※ 印刷したときに表示がおかしくなる場合:印刷時に下の方に出る「画像として印刷する」にチェックをして印刷。