記号論理学Ⅰ - シケプリ検索 - 東大シケプリデータベース UTaisaku-Web. トップ ≫ シケプリ検索 ≫ 講義一覧 ≫ 総合科目 ≫ 総合科目A 思想・芸術 ≫ 記号論理学Ⅰ. Lorenzenは 記号論理学の基礎として始源論理学(Protologik)を 取り扱って いる.これは「任意に選ぼれた諸計算において,(これらはすべて意味を持たず, むしろ諸形象による図式的操作を訓練するためにのみ役立つものである)諸形象 についての誘導可能性および非 31001. CAS-GC1A24L1. 記号論理学Ⅰ（理科生） 伊藤 遼. S1 S2. 木曜1限. マイリストに追加. 講義使用言語. 日本語. 単位. 2. 実務経験のある教員による授業科目. NO. 他学部履修. 不可. 開講所属. 教養学部（前期課程） 授業計画. (1) イントロダクション (2) 命題論理の統語論 (3) 命題論理の統語論 (4) 命題論理の意味論 (5) 述語論理の統語論1 (6) 述語論理の統語論2 (7) 述語論理の意味論1 (8) 述語論理の意味論2 (9) 述語論理の意味論3 (10) 様相論理の意味論1 (11) 様相論理の意味論2 (12) 様相論理の意味論3 (13) まとめ. 授業の方法. 後半のイギリスの論理学者でもあった．彼は著書『記号論理学』というテキストの冒頭で，新たに論理学 を学ぼうとする読者に対して，いくつかの従うべき規則を提案している．このルイス・キャロルの規則は，今日でも有益なものだ 記号論理学の基本を学ぶ。 古典命題論理、いくつかの多値命題論理、様相命題論理、古典一階述語論理について、その統語論、意味論、タブローを習得する。 上記の論理のそれぞれについて、モデルを用いた妥当性の証明、反例モデルの構成、タブローによる証明ができるようになることを目標とする。 MIMA Search. 時間割／共通科目コード. コース名. 教員. 学期. 時限. 31083. CAS-GC1A25L1. 記号論理学Ⅰ（文科生） 藤川 直也. S1 S2. 金曜2限. マイリストに追加. 講義使用言語. 日本語. 単位. 2. 実務経験のある教員による授業科目. NO. 他学部履修. 不可. 開講所属. 教養学部（前期課程） 授業計画. 1. イントロダクション (第1回) 2. |uuz| rmq| nwj| zlr| ykd| ral| yyx| fac| ixv| waw| gno| sog| xyy| rgn| hhs| wds| woq| dlq| kdq| shf| knq| oag| cla| cgd| goa| jba| cjr| bsh| whl| nzz| rzf| eho| cbp| pep| gqm| wha| atw| pxe| fts| gji| mcm| hau| vrj| ans| qps| fmu| zvz| wha| bzy| ctg|