様相論理 is Fun

様相論理の学習ノートです

MENU

様相論理 is fun!

1日3題10日で30題みたいな線形学習をやっているうちは初学者。

 

様相論理は初歩を脱しつつあるが、すべて、Hughes & Cresswell のお陰。

 

かなりこれに鍛えられている。

 

本文はあまり読んでいない(あるいは、あまり読めない)けれども。

 

述語論理の勉強用に二冊本を買ったが、あまり進められてはいない。

 

他には、「平面代数曲線のはなし」が癒し。手触りのある数学が楽しい。

 

「論理」も含めて、代数に通底している何かについての感覚を磨きたい。その勉強のための助走。

 

進歩が遅くてじれったい。まともに勉強できるようになったのが、3か月ほど前に転職してからだったことを思えば、まだ、ましかもしれないけれども。いずれにしても、ブレイクスルーはまだない。