{"product_id":"berechenbarkeit-und-unlosbarkeit-eine-kurze-einfuhrung-fur-mathematiker-und-informatiker-9783528057152","title":"Berechenbarkeit Und Unlösbarkeit: Eine Kurze Einführung Für Mathematiker Und Informatiker","description":"\u003cp\u003e • Author(s): Klemens Döpp\u003cbr\u003e • Publisher: Vieweg+teubner Verlag\u003cbr\u003e • Publisher Imprint: Vieweg+teubner Verlag\u003cbr\u003e • BISAC: Engineering (General)\u003c\/p\u003e\u003cp\u003eDas Buch behandelt die Frage nach den M�glichkeiten und Grenzen algorithmischer Probleml�sung von einem am Grunds�tzlichen orientierten Standpunkt aus. Es liegt damit im �berschneidungsbereich von theoretischer Informatik und mathematischer Grundlagenforschung und gibt eine Einf�hrung in die mittlerweile klassische Theorie der effektiven Berechenbarkeit bis hin zu den grundlegenden Unl�sbarkeitsergebnissen von Kleene \/ Mostowski und Rice. Die Ausf�hrungen beschr�nken sich bewusst auf das Wesentliche, um die M�glichkeit zu bieten, das Buch als Textvorlage f�r eine einsemestrige vierst�ndige Vorlesung zu verwenden. Gro er Wert wurde dabei auf mathematische Vollst�ndigkeit und Korrektheit gelegt. Einige Erg�nzungen des Stoffs werden in Form von �bungsaufgaben angef�gt.\u003c\/p\u003e","brand":"Vieweg+teubner Verlag","offers":[{"title":"Paperback","offer_id":47591115817111,"sku":"9783528057152","price":2608.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783528057152.webp?v=1774971662","url":"https:\/\/atlanticbooks.com\/products\/berechenbarkeit-und-unlosbarkeit-eine-kurze-einfuhrung-fur-mathematiker-und-informatiker-9783528057152","provider":"Atlantic Books","version":"1.0","type":"link"}