La mémoire de mathématiques

数学めも by Müde

参考文献・リンク

数学は言葉

http://www.amazon.co.jp/dp/4489020538 論理式の展開が身についていればいるほど、一貫性のある文章を書けるのかもしれませんね。 この書籍について紹介しているブログも参考にしてください。 http://d.hatena.ne.jp/hiroyukikojima/20091121/1258784374 ht…

数学文章作法 基礎編

http://www.amazon.co.jp/dp/448009525X 著者は数学ガールでもおなじみですね。 書名に「数学」と含まれていますが、文系の人でも役に立つと思います。数学は、議論の対象がクリアになっているので、良い文章を書くヒントが得られそうです。

数理論理学(命題論理と述語論理)(平成19年度版)@大阪府立大学

ゲーデルの完全性定理を解説する資料だそうだ。 http://www.mi.s.osakafu-u.ac.jp/~kada/course/kamo-predicatelogic.pdf ううむ。これをそれなりに理解できるところまで持っていくのは大変そう。 読むかどうかは分からないけど、備忘録として。

2012年度 法政大学理工学部 講義「人工知能概論」

NTT物性研にアップされていた法政大学の人工知能概論の「論理と推論」のスライドがとても分かりやすいので、読んでおこうかな。 http://www.brl.ntt.co.jp/people/fujita/2012ai/

3値論理(リレーショナル・データベースの世界)

三値論理を検索して2番目にヒットしたページが、少し面白かったです http://www.geocities.jp/mickindex/database/db_3vl.html RDBでは、2つの「分からない(null)」があり、その属性はあるのだけど分からない場合(unknown)と、その属性がそもそもない場合(N/…

記号論理のページ@静岡理工科大学

静岡理工科大学のページが役立ちます。 http://www.sist.ac.jp/~kanakubo/research/reasoning.html 命題論理においては、真か偽かというall or nothingでしたが、それを拡張し、真・偽・分からないの3値ある三値論理や、[0,1]の実数をとるファジィ論理などあ…