Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung In Die Theorie Der Rekursiven Funktionen (heidelberger Taschenbücher, Band 87) (german Edition)
معرفی کتاب «Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung In Die Theorie Der Rekursiven Funktionen (heidelberger Taschenbücher, Band 87) (german Edition)» نوشتهٔ Professor. Dr. Hans Hermes (auth.) در سال 1971. این کتاب در فرمت pdf، زبان آلمانی ارائه شده است.
Front Matter....Pages I-X Einführende Betrachtungen Über Algorithmen....Pages 1-32 Turingmaschinen....Pages 33-59 μ-Rekursive Funktionen....Pages 59-95 Die Äquivalenz Von Turing-Berechenbarkeit und μ-Rekursivität....Pages 95-114 Rekursive Funktionen....Pages 114-142 Unentscheidbare Prädikate....Pages 142-187 Verschiedenes....Pages 188-240 Back Matter....Pages 241-248
دانلود کتاب Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.: Einführung In Die Theorie Der Rekursiven Funktionen (heidelberger Taschenbücher, Band 87) (german Edition)