Berechenbarkeit, Komplexität, Logik : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
معرفی کتاب «Berechenbarkeit, Komplexität, Logik : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität» نوشتهٔ Egon Börger (auth.), Dieter Rödding (eds.)، منتشرشده توسط نشر Vieweg+Teubner Verlag : Imprint : Vieweg+Teubner Verlag در سال 1986. این کتاب در فرمت pdf، زبان آلمانی ارائه شده است.
Front Matter....Pages I-XVII Mathematischer Algorithmusbegriff....Pages 2-52 Komplexität Algorithmischer Unlösbarkeit....Pages 53-136 Rekursivität und Komplexität....Pages 137-264 Logische Analyse des Wahrheitsbegriffs....Pages 267-315 Logische Analyse Des Beweisbegriffs....Pages 316-351 Komplexität Logischer Entscheidungsprobleme....Pages 352-422 Back Matter....Pages 423-470
دانلود کتاب Berechenbarkeit, Komplexität, Logik : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität