忍者ブログ
リファラを見ると、このページ経由ではなく、いずこからか PDF にちょくせつアクセスしている例があるようですが、もし紹介していただける場合、このページにリンクしてもらえるとありがたいです。これは、強制ではありませんが、そうしていただくと、まず、つねに最新版 PDF が提供できるということがありますし、そして、この文書を読むさい、執筆背景を知っておいてもらいたいということもあるので、おねがいします。

この前、ぼくが今期担当している初級論理学の中間試験があったのですが、そのさい、けっこうな数の受講生の人から「中間試験に向けてのスタディ・ガイドがあるとうれしいんだけど」と言われたので、「おう、書くよ」とふたつ返事で引き受けたところ、このぐらいの話題だったらとりあえず何も参照せずとも書けるので(幸か不幸か)すらすらと筆が進んでしまい、「スタディ・ガイド」というよりも「教科書」に近いようなものができあがりました。

そもそもスタディ・ガイドとして書きはじめたゆえ、ところどころ説明をはしょってる部分もあるかとは思いますが、あたうかぎり自己完結的に書いたつもりですし、演習問題も解答付きなので、「真理木の方法にもとづいた初級論理学を独習したい」という人にも有益かと思いますゆえ、ここに公開します

短期間(じっしつ二日)での執筆ゆえ、記述が至らなかったり演習問題が練られていなかったりといろいろ不満はありますが、お役に立てれば、そして、できうべくんばたのしんでいただければうれしいです。

とりあえず現在のところ命題論理の部分までだけですが、このあと、述語論理についても書く予定です(というか、おそらく書かざるをえないことになる)。余裕があれば「補遺」として完全性定理の(それなりに詳しい)証明や、さらに余裕があれば歴史的背景や進んだ話題についての註なども付け足したいと思っています。

大小もろもろあるであろうまちがいの指摘、「ここ分かりにくい!」という不満、「こうしたらいいんじゃない?」という提案などがありましたら、コメント欄、あるいは thayashi@ucalgary.ca までお寄せくださるとありがたいです。
PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
カレンダー
02 2017/03 04
S M T W T F S
1 2 3 4
5 6 7 8 9 10 11
12 13 15 16 17 18
19 20 22 23 24 25
26 27 28 29 30 31
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]