• 数学科
• 理学部
• 学習院大学

2025年度

代数学１

講義資料

1. 序論－数字・記号
2. 計算と論理関数
3. Turing機械の定義
4. Turing機械の実例
5. 原始帰納的関数
6. 原始帰納的述語
7. 原始帰納的関数と最小化の関係
8. 「重要な補題」の証明
9. 算術化

代数I

過去の試験問題、まとめのレポート

• 【2024年度中間】 【2024年度期末】
• 【2023年度中間】 【2023年度期末】
• 【2022年度中間】 【2022年度期末】
• 【2020年度まとめのレポート】
• 【2017年度中間】 【2017年度期末】
• 【2016年度中間】 【2016年度期末】
• 【2015年度中間】 【2015年度期末】
• 【2014年度中間】 【2014年度期末】
• 【2013年度中間】 【2013年度期末】

代数II

講義ノート

準備中

位相入門

講義ノート（ラフ）

準備中