サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
パリ五輪
web.sfc.keio.ac.jp/~hagino
2016年度春学期 火曜日3時限 科目コード: B6117 / 2単位 カテゴリ: (学部)基盤科目—共通 開講場所:SFC 授業形態:講義・演習/実習 担当: 萩野 達也 E-mail: hagino@sfc.keio.ac.jp 概要 物事を考えるときに,いろいろな情報から推論して, 正しい内容を導き出すことがある. ここでは,正しい推論とは何かについて,記号論理学を使って勉強する. 日常使っている日本語のような自然言語のままで扱ったのでは, 正しさの見通しが悪くなるため,まず,記号に置き換えることによって, 本質的な論理構造を明らかする. その上の推論を考えることによって, 正しい推論について正しく理解することができる. ある事柄を証明するとはどういう意味なのか, その事柄が正しいということはどういうことかについて, 命題論理と述語論理を中心にしっかり学び, 古典的な論理学以外の現代
このページを最初にブックマークしてみませんか?
『Hagino's Home Page』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く