2023-04-01から1ヶ月間の記事一覧

計算の科学と手引き

講義 インターネット配信 第15回 第14回 タブロー(tableau):フランス語で「絵」のこと 第13回 命題:真偽が一意に決まる文 科学的命題 演繹的命題 量化 全称量化 ∀(forall) 存在量化 ∃(exists) 推論 前提が0個以上(結論のみでもOK) (例)三段論法等 演繹的推…