知能システム論第4回

東京大学理学部情報科学科冬学期の知能システム論の講義まとめ
0

記号論理

命題論理

XENO @xenophobia__

このへんは聞き尽くした感が…… #知能システム論

2011-10-27 10:23:01
XENO @xenophobia__

高校ではやってないけどみんな知ってるのでは #知能システム論

2011-10-27 10:31:24
XENO @xenophobia__

含意の記号は人によってまちまちだなー #知能システム論

2011-10-27 10:31:54
🍣 @nin_ten

毎週言うけどこれ情報科学科の必修講義だよね? #知能システム論

2011-10-27 10:33:39
ネクタイ @carbon_twelve

「こんなに黒板に書いたのは何十年かぶりで手が痛くなってしまいましたが」 #知能システム論

2011-10-27 10:36:21
ネクタイ @carbon_twelve

ISer以外も来ているはずだがこのハッシュタグはISerに独占されている #知能システム論

2011-10-27 10:40:44
XENO @xenophobia__

「正しい」「間違っている」の定義は……哲学の分野か #知能システム論

2011-10-27 10:42:53

命題論理の証明

XENO @xenophobia__

ヒルベルト流ってこんなあっさりしてたっけ? #知能システム論

2011-10-27 11:10:54