「算術IF文」を解説文に含む見出し語の検索結果(1～10/31件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/26 08:19 UTC 版)「FORTRAN 77の言語仕様」の記事における「算術IF文」の解説値を評価し、その値が...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/23 09:22 UTC 版)「制御構造」の記事における「elseif」の解説「宙ぶらりんelse問題（danglin...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/07/03 06:13 UTC 版)「COBOL」の記事における「CODASYL COBOLの言語仕様の変遷」の解説CODA...
数理論理学において、論理式がある構造（モデルとも呼ばれる）のクラスについて絶対的であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的で...
数理論理学において、論理式がある構造（モデルとも呼ばれる）のクラスについて絶対的であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的で...
FORTRAN 77の言語仕様（フォートランななじゅうななのげんごしよう）は、FORTRAN 66とFORTRAN 77の言語仕様と、言語仕様にまつわるエピソードについて解説している。なお、Fortr...
タルスキの定義不可能性定理 (Tarski's undefinablity theorem)とは1933年にアルフレト・タルスキによって提唱・証明された数理論理学、数学基礎論、形式意味論[要曖...
タルスキの定義不可能性定理 (Tarski's undefinablity theorem)とは1933年にアルフレト・タルスキによって提唱・証明された数理論理学、数学基礎論、形式意味論[要曖...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
< 前の結果 | 次の結果 >