【ミルクカフェ掲示板TOPページ】   ■掲示板に戻る■   最後のレス   1-   最新30  
NO.10435991

【テクニック】邪魔者は消せ！！論理学！！【加藤鷹】

83 名前：名無しさん：2005/08/03 18:28
>>82
全部ではないけど教えてくれるよ

この授業でやる定理証明って
セマンティックタブローとかG体系とか
いろんな記法で書いてるだけで本質的には同じ事をやってるんだよね。
後期では前期でやったことに限量子を導入するだけ。
新着レスの表示
スレッドを見る(104レス)  ■掲示板に戻る■ 
▲