計算機科学における論理入門

このブログでは、「計算機科学における論理」という本で説明されている命題論理の基礎を概説します。

November 9, 2024