計算論基礎特論 (松原・柳浦) ─ 柳浦担当分

2016年度前期火曜日16:30-18:00
場所: 情報科学研究科棟第3講義室
講義日: 2016年6月7日，14日，21日，28日，7月5日，12日
期末試験: 7月19日，情報科学研究科棟第1講義室

帰納（再帰）やグラフ理論に関する基礎的な話題について解説します．