数学とプログラミングとくだらないこと

プログラミングの事とか数学のこととかを書いていきます。

2013-03-29から1日間の記事一覧

論理学の分野

Wikipediaを見て、これ以降に学ぶ必要があるだろう論理学の分野についてまとめた。 様相論理 ~でなければならない、~でありうる、~べきである、といった、 可能性や必然性に関わる命題を扱う論理 時相論理 時間との関連で問題を理解し表現するための規則…