MENU
はじめての方に
学ぶ
セッション・コース
クイックコンサル・コース
よくよむ会
参加する
論計祭
イベント
AIを「論理と計算」の眼で見る ─ 理論からひもとく3回講義シリーズ
集中講義「一階述語論理の完全性とその証明」
連続講義「ゲーデルの不完全性定理への12講」
教材
【無料】数理論理学スターターマニュアル
【無料】自然演繹100本ノック
【無料】反例構成100本ノック
講義アーカイブ|2022–23年度連続講義「ゲーデルの不完全性定理への12講」
YouTube
note.com
Zenn
Qiita
論理と計算の科学主軸のオンライン私塾
論計舎
はじめての方に
学ぶ
セッション・コース
クイックコンサル・コース
よくよむ会
参加する
論計祭
イベント
AIを「論理と計算」の眼で見る ─ 理論からひもとく3回講義シリーズ
集中講義「一階述語論理の完全性とその証明」
連続講義「ゲーデルの不完全性定理への12講」
教材
【無料】数理論理学スターターマニュアル
【無料】自然演繹100本ノック
【無料】反例構成100本ノック
講義アーカイブ|2022–23年度連続講義「ゲーデルの不完全性定理への12講」
YouTube
note.com
Zenn
Qiita
論計舎
はじめての方に
学ぶ
セッション・コース
クイックコンサル・コース
よくよむ会
参加する
論計祭
イベント
AIを「論理と計算」の眼で見る ─ 理論からひもとく3回講義シリーズ
集中講義「一階述語論理の完全性とその証明」
連続講義「ゲーデルの不完全性定理への12講」
教材
【無料】数理論理学スターターマニュアル
【無料】自然演繹100本ノック
【無料】反例構成100本ノック
講義アーカイブ|2022–23年度連続講義「ゲーデルの不完全性定理への12講」
YouTube
note.com
Zenn
Qiita
ホーム
教材・資料
教材・資料
– category –
教材・資料
『数理論理学スターターマニュアル』販売および無償配布キャンペーンのお知らせ
論と計の門を叩こうとする人に少しでも適切な門を紹介したいと考え、『数理論理学スターターマニュアル』を執筆しました。 【販売と配布について】 2022/08/01の販売開始を予定しております。 また販売に先立ち配布キャンペーンを行います。論計舎のTwitte...
2022年7月19日
1