暑い日が続いておりますが、皆様、いかがお過ごしでしょうか。 授業中にご連絡した補講と課題の件、会議でへばっていたためご連絡が遅れ、大変申し訳ありません！ 夏休み補講は，以下の日程で行います。 日時：8月26日（土）11:00〜16:30 場所：９講（総合研…

４月の学生便覧送付時にもお知らせしておりますが、文学部・文学研究科の学年暦上、7月18日（火）は授業休止日です。そのため、7月11日が前期授業の最終日です。この分、および休講分の補講を、8月に開催します。7月11日授業で日程アンケートを行い、結果は …

補講（問題演習）のお知らせ 日時：7月8日（土）13：30〜15:30 ごろまで 場所：京都大学文学部第５講義室 内容：問題演習（命題論理、述語論理） 注意：参加しなくても成績上不利な扱いを受けることはいっさいありません。 問題はこちらです。

本日の授業 授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。 授業内容 前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 補講日について 本日の授業…