2019-06-23から1日間の記事一覧
gihyo.jp 述語論理とリレーショナルモデル(続き) 命題論理の限界と量化 量子化と述語論理 述語論理 量化子とともに用いる束縛変数 量化子を伴わない自由変数 述語論理と集合論 述語と集合とは等価に置き換えが可能 集合の包含関係 述語論理の公理系 述語論理…
gihyo.jp 述語論理とリレーショナルモデル(続き) 命題論理の限界と量化 量子化と述語論理 述語論理 量化子とともに用いる束縛変数 量化子を伴わない自由変数 述語論理と集合論 述語と集合とは等価に置き換えが可能 集合の包含関係 述語論理の公理系 述語論理…