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
  1. ホーム
  2. 教材・資料

教材・資料– category –

  • 茄子のピリ辛漬け
    教材・資料

    『数理論理学スターターマニュアル』販売および無償配布キャンペーンのお知らせ

    論と計の門を叩こうとする人に少しでも適切な門を紹介したいと考え、『数理論理学スターターマニュアル』を執筆しました。 【販売と配布について】 2022/08/01の販売開始を予定しております。 また販売に先立ち配布キャンペーンを行います。論計舎のTwitte...
    2022年7月19日
1
  • お問い合わせ
  • 解約ページ
  • プライバシーポリシー
  • 特定商取引法に基づく表示

© 論計舎, Individual Authors and Ronkeisha Symposium Organising Committee