Available on Google PlayApp Store
みんなの読書ブログ  感想・書評「グッド・マス ギークのための数・論理・計算機科学 Mark C. Chu‐Carroll」ネタバレ注意・述語論理、集合、群論、オートマトン、チューリング完全性、ラムダ計算、再帰、ゲーデル=チューリングの不完全性定理など、プログラミング(レビュー)。 #読書

Share

Trends

trends timeline
trends timeline for %E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E6%95%B0%20-%20G%C3%B6del%20numbering