前日アナウンスしたように、4月25日は休講です。5月2日も休講で、次回は5月9日となります。

今週より授業開始時間は 16:40 です授業第二回目の今回は、形式言語における「自然数もどき」（こと自然数を表現する計算機内のコード）・項･命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、…

講義室：文学部第5講義室授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。 授業内容 演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業計画 本日の授業資料 授…

現代文化学基礎演習I／哲学(演習) シラバス 論理学（講義）（前期 火5）（矢田部俊介） 現代文化学基礎演習I （科学史科学哲学 017） 哲学(演習) （哲学専修 5141-012） 場所：文学部第5講義室授業開始：4月11日（火） 授業の概要・目的 本授業の最終的な目…