ユーザー:似非原重雄

趣味として整数論を勉強しています

読書メモ

以下は読む予定の読書メモです

予定

• デデキント「連続数と無理数」

項目予定

項目は立てたがまだ詳細が必要なもの

• 三角数
• 公約数
• ピタゴラス数
• トートロジー
• 真理関数
• 最大公約数
• シェーファー関数

未記述

何に属するかわからないがかかれるべきもの

• 数学的帰納法
• 部屋割り論法
• コンパクト性定理

書かれるべき数論のトピック

• 平方数
• 素因数分解
• 公倍数
• ユークリッドの互除法

書かれるべき論理学のトピック

• 原子式
• 論理結合子
• 二値原理
• 矛盾式
• 二重ターンスタイル
• 量化詞