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 –

  • 立て看板
    講座

    論計舎のコースとカリキュラムについて:テキストの取り扱い、三つのコース、ちょっとした検討中のコースの紹介

    論計舎では、鹿島『数理論理学』および鹿島『C言語による計算の理論』ないし高橋『計算論』を初学者の方への最初の一冊として推奨しており、チューター・メンター両講座の基本的なコース(link 1, link 2)のテキストとして指定しています。 この記事では、...
    2022年7月21日
  • image_mentor
    講座

    メンター講座新設のお知らせ

    【メンターコースについて】 メンター講座は、選りすぐりの四名の講師による質問への応答、ノート添削・学習指導のサービスです。 クラウドファイル共有サービス mega のファイル共有機能とチャット機能を用いて行います。 質問すること 質問するというの...
    2022年4月28日
1
  • お問い合わせ
  • 解約ページ
  • プライバシーポリシー
  • 特定商取引法に基づく表示

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