2006/08/23(Wed) 21:31  [慶應通信]論理学(A),(L) 

独り論理学バトル、開始

論理学の勉強、始めました。

昨年の夜スクで受講した論理学では、真理表やNKの証明(演繹図)までは授業中説明があったので、真理関数論はなんとか理解している(はず)。
しかし量化理論(述語論理)までは進めなかったため、理解不十分・・・orz

レポートでは、真理関数論と量化理論についてあれこれ論じなければいけないので、
只今記憶の掘り起こし+量化理論の理解を実践中でございます。


使っているのはテキストと夜スクで配布されたプリント、
それと以下の2冊。

論理学がわかる事典
論理学がわかる事典
posted with amazlet on 06.08.23
三浦 俊彦
日本実業出版社 (2004/02/19)
売り上げランキング: 121,009
おすすめ度の平均: 5
5 入門の入門にしては難しいけど

論理学
論理学
posted with amazlet on 06.08.23
野矢 茂樹
東京大学出版会 (1994/02)
売り上げランキング: 13,317
おすすめ度の平均: 4.67
5 直感からアルゴリズムへの相転移
5 論理学の本の中では一番取っ付きやすいです
5 分哲の入門書なら


と言っても、今は大まかな概念をつかむため比較的分かりやすく書かれている「論理学がわかる事典」メインで通読中。一方「論理学」は問答形式でなかなか面白い。練習問題も掲載されているので、真理表の計算練習にも使えます。

レポート締め切りは9/4。間に合うか?!

1日1回応援ポチ、よろしく!人気ブログランキング | Comment:3 | Trackback:1 | Edit | Top↑

2006/08/23(Wed) 21:01  [慶應通信]英語1,2,7 

[英語7]レポ返却まだかいな

6/16に投函した英語7(第2回)のレポート。
未だ返却ナシ。

投函してから早2ヶ月。
再提出は1箇所のみなので、添削に2ヶ月もかからんと思うのだけれど。
7〜8月は科目試験と夏スクが相次いで実施されるから、
添削者多忙で返却が遅れている・・・と思いたい。


夏スクが終わっても音沙汰ないようなら事務局に確認しようっと。

1日1回応援ポチ、よろしく!人気ブログランキング | Comment:3 | Trackback:0 | Edit | Top↑


    なち

    • Author:なち
    • ものぐさ主婦兼通教生(慶應大学文学部第1類、04年10月入学58期生)。北海道出身、東京在住。
      取得単位:88単位(08'05月時点)

      只今、毎日プラトン漬け。
      ▼ツボ顔:柴田恭兵、小市慢太郎、津田寛治、アルバートさん
      ▼ツボ歌手:坂本サトル、FOV
      ▼ツボTV:水曜どうでしょう、子供が寝たあとで、いい旅夢気分

    • name: ルッカ
    • class: アビシニアン(ルディ)
    • birthday: 2003/02/15
    • 沼津生まれのアビコ。鼓室胞炎を乗り越えたド根性猫。06年7月、免疫介在性溶血性貧血を患い半年後に回復するも、08年6月再発。
    • name: クロノ
    • class: アビシニアン(レッド)
    • birthday: 2005/02/01
    • 西宮生まれのアビオ。臍ヘルニア持ちで生まれるも、手術で完治。人間大好き甘えん坊。冷蔵庫昇り&タンス昇りをマスター。