Mathematical Logic

The study of formal systems, proof, and the foundations of mathematics.

このタグの記事: 1 更新: 2026年5月13日

このタグの記事

ブール代数：構造、法則、歴史と応用ブール代数ブール代数は、二値と論理演算（AND、OR、NOT）を扱う代数系である。論理式を簡略化する規則を与え、デジタル回路、集合演算、コンピュータ科学の多くの分野の基礎となっている。