「反例構成100本ノック」リリース
みなさま、論計舎 川井です。
論計舎の新商品に関する情報をお伝えします。
反例構成100本ノックという論計舎の100本ノックシリーズの教材を作りました。論計舎web shopより無料にてDLいただけます。
充足不可能な論理式の反例モデルを構成していただくことで数学の論証の訓練をしていただこうという趣旨です。
ぜひ挑戦してください。
また、無料教材をDLいただきますとメールマガジンに登録されます。メールマガジンでは新商品・割引・催しの情報をお伝えしておりますので、ぜひDL・ご登録よろしくお願いします。
先日お伝えしたGödelの不完全性定理を扱う講義教材の他にもまたいくつかの他の新教材を本年は開発・公開予定ですので、ぜひご購入・DLのほどよろしくお願いします。
以下に記事はありません。
ここから先は
0字
¥ 300
数理論理学と計算機科学のオンライン私塾論計舎の代表。論と計の科学についての情報を発信していく予定です。