情報数学講座 第１巻
応用論理
取り寄せ不可
- ※現在ご購入いただけません
- お気に入りリストへ追加
述語論理で数学的議論をすることとコンピュータのプログラミングをすることが、本質的に同じであることを具体例をあげて説明している。
お気に入りカテゴリ
よく利用するジャンルを設定できます。
カテゴリ
「+」ボタンからジャンル（検索条件）を絞って検索してください。
表示の並び替えができます。
