/数学基礎

述語論理とは

「任意の」と「適当な」という変数の範囲を表す語により推論を行う、公理系、ド・モルガンの法則
/数学基礎

命題論理とは

命題・論理式、論理記号、含意・否定・同値・論理和・論理積、公理系、推論規則、背理法、ド・モルガンの法則
2022.01.30
/数学基礎

チャーチ・チューリングの定立

計算可能な関数とチューリングマシンで計算できる関数は同じ、帰納的関数、計算システムの等価性
2022.03.04
/数学基礎

チューリングマシンとは

計算を行うための基本的な機能が定義された仮想的な装置、制御部(ヘッド)、記憶部(テープ)、万能チューリングマシン
2022.03.12
/数学基礎

初等関数の公式

初等関数の定義と関係式、指数関数、対数関数、三角関数、双曲線関数、加法定理、オイラーの公式
2022.05.24
タイトルとURLをコピーしました