講義名 記号論理学第一（Mathematical Logic I）
開講学期 ７学期 単位数 2--0--0
担当教官 藁谷　敏晴　教授：西９号館４１２号室（内線2676）

【講義の目的】
数理論理学の基本的な構造を、統語論的観点から、またモデル理論的観点から論ずる。

【講義計画】
命題論理
述語論理

を考察した後、
モデル理論に就いて考察する。


【教科書・参考書等】
講義で適宜指示または配布する。

【成績評価】
出席とレポート

【担当教官から一言】