NAKADA
TOYOHISA

Niigata University of
International and Information
Studies.

　 研 究 紹 介
　 研 究 業 績

情報論理
2023

レポート採点に関する問い合わせ

レポート採点の間違いを指摘することを含めて、以下の問い合わせフォームを作成しました。 2月8日(木) 23:59にこのフォームはクローズします。その後は成績には反映できませんが、メール等でお問い合わせください。

成績評価基準

  • 1回分の授業中課題: 5点、15回の授業で 5 * 15 = 75点となる。
  • レポート: 25点
  • 出席は、授業中の課題を提出すると出席となります。
  • 5回欠席をするとF評価となります。
  • レポート未提出だとE評価となります。

スケジュール

金曜日 2限 240教室
終了した授業の横には、 が表示され、クリックすると解説用のパワーポイントファイルを見ることができます。
  1. 09月22日 論理学入門
  2. 10月06日 否定、かつ、または 1
  3. 10月13日 否定、かつ、または 2
  4. 10月20日 ならば、同値 1
  5. 10月27日 ならば、同値 2
  6. 11月03日 日本語→真理値表から記号を組み立てる
  7. 11月10日 真理値表から恒真、恒偽、偶然的命題を判定する 1
  8. 11月17日 真理値表から恒真、恒偽、偶然的命題を判定する 2
  9. 11月24日 推論 1
  10. 12月01日 推論 2
  11. 12月08日 述語論理 1
  12. 12月15日 述語論理 2
  13. 12月22日 ここまでの復習
  14. 01月05日 離散数学(集合、ベン図) 1
  15. 01月19日 離散数学(集合、ベン図) 2
  16. 01月26日 レポート

Twitterからの情報

講義資料

  • 推論の説明スライド、スマホ推奨、指で上下にスワイプしてスライドを進める／戻すことができます。PCの場合には、マウスホイールでスライドを進めてください。
  • 離散数学の説明スライド、スマホ推奨、指で上下にスワイプしてスライドを進める／戻すことができます。PCの場合には、マウスホイールでスライドを進めてください。
1. 論理学入門
2. 真理値表
3. 「ならば」について
4. 述語論理
5. 離散数学入門

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