2021-04-13から1日間の記事一覧

■

授業第一回目の今回は、本授業の事務上の説明（オンライン授業の進め方、成績評価）および、人間の推論のコンピュータによるシミュレーションとしての形式的な論理学とはどういうものであるかを説明します。同時に、その際に重要になってくる「メタ／対象」…