中間テストがあった(数理論理学及び演習)

今日は数理論理学のテストがあった．

過去問と授業の演習を一通りやってから挑んだが，証明問題やら説明問題やらが出てきて詰んだ．問題の解き方だけでなくある程度の理解が必要だったようだ．

まあ赤点ではないはずなのでそこまで心配はしていない(強がり)．

明日と明後日は講義が休みなので，実験のレポートを進めつつ最後の試験に備えたい．