PERGURUAN TINGGI
JURNAL
PERGURUAN TINGGI
JURNAL
JURNAL
BIDANG ILMU
TAHUN TERBIT
KEYWORD - KATA KUNCI
Search Jurnal
論理式
論理式
論理式 (数学)
- 数理論理学、命題論理、述語論理において、
形式文法
の規則に合った式のこと。
プログラミング言語
などで、
ブーリアン型
を扱う式のこと。
このページは
曖昧さ回避のためのページ
です。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。
このページへリンクしているページ
を見つけたら、リンクを適切な項目に張り替えて下さい。