2023-06-20から1日間の記事一覧
計数の計算数理工学では、チューリングマシンなどの計算原理や計算量理論なんかの概要を勉強しました。この本はそのときに参考にした本です。あと、ゲーデルの完全性・不完全性定理なんかもその枠でやっていたような記憶があります。 もともとプログラミング…
計数の計算数理工学では、チューリングマシンなどの計算原理や計算量理論なんかの概要を勉強しました。この本はそのときに参考にした本です。あと、ゲーデルの完全性・不完全性定理なんかもその枠でやっていたような記憶があります。 もともとプログラミング…