数学
解析学、代数学、幾何学、統計学、論理・基礎論、情報・暗号、機械学習、金融・ゲーム理論、高校数学
www.sansakuro.com
2021.04.13
/論理・基礎論 ペアノの公理とは
ペアノの公理は自然数の全体を定義する公理、自然数は個数や順番を表す一群の数、加法の定義と公式、乗法の定義と公式、大小関係
/論理・基礎論 初等関数の公式
初等関数の定義と関係式、指数関数、対数関数、三角関数、双曲線関数、加法定理、オイラーの公式
/論理・基礎論 述語論理とは
「任意の」と「適当な」という変数の範囲を表す語により推論を行う、公理系、ド・モルガンの法則
/論理・基礎論 命題論理とは
命題・論理式、論理記号、含意・否定・同値・論理和・論理積、公理系、推論規則、背理法、ド・モルガンの法則
/論理・基礎論 チャーチ・チューリングの定立
計算可能な関数とチューリングマシンで計算できる関数は同じ、帰納的関数、計算システムの等価性
/論理・基礎論 チューリングマシンとは
計算を行うための基本的な機能が定義された仮想的な装置、制御部（ヘッド）、記憶部（テープ）、万能チューリングマシン