La mémoire de mathématiques

数学めも by Müde

2014-04-13から1日間の記事一覧

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

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

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

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

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

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

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

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