2023-04-23
改めて勉強し直そうと読んだ。ほぼ分かってたつもりになってた事を、明確に意識することが出来た。
けどやっぱり否定を含む多重量化述語論理の妥当性の判断は難しいです。頭がこんがらがる。
読書状況:読み終わった
公開設定:公開
カテゴリ:
未設定
- 感想投稿日 : 2023年4月24日
- 読了日 : 2023年4月24日
- 本棚登録日 : 2023年4月24日
みんなの感想をみる