まで．
2019年度シラバス
2019年度講義スケジュール
第１回：１．集合論の基礎
第２回：２．集合演算
第３回：３．命題論理の基礎
重要な論理的同値関係
第４回：４．重要な論理式とその略記法
A∪(B∩C)=(A∪B)∩(A∪C)の証明例
第５回：５．述語論理の基礎
第６回：６．関係の基礎
第７回：７．半順序関係と同値関係
第８回：８．関数の基礎
第９回：９．有限集合と無限集合
第１０回：１０．可算無限と非可算無限
第１１回：１１．数学的帰納法
第１２回：１２．再帰的プログラム
Lispによるプログラムと実行例
第１３回：１３．定数係数線形差分方程式：一般解の解法
第１４回：１３．定数係数線形差分方程式：特殊解の解法とハノイの塔の計算量