１４ プログラミングで数学の証明をしよう！ ～計算機援用証明の体験～ ＜県立大＞
＜授業概要＞
プログラミングの勉強を通して数学の証明がどんなものかをみてみよう！♦証明なんて所詮総当たり!?１００万通り程度ならマシンパワーで解決!♦電卓には出来ない計算?「求めよ」は本当に「求まる」?♦他
＜授業方法と留意点＞
時間外学習不要。高校一年生からOK。使用プログラミング言語は話題のPython3。県立大学のPCを使用（PC持ち込み可、Python3の環境をインストールしておくこと）。
＜科目担当者＞
秋田県立大学 システム科学技術学部 経営システム工学科 特任助教 齋藤裕
- 曜日・日時
- 水曜日 17：30～19：00
- 会場
- 秋田県立大学 本荘キャンパス
- 日時
- 第1講 １０月１０日（水）「プログラムを書いて、確かめる」
- 第2講 １０月１７日（水）「∞通りの可能性は確かめきれるのか？」
- 第3講 １０月２４日（水）「理論数学と計算機によるエレガントな力技」