
Computer Science Logic
Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,666

Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität
by Egon Börger
Free delivery. Nothing extra to pay at checkout.
Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be- griff formaler Sprache als Träger präzisen Ausdrucks von Bedeutungen, Sach- verhalten, Problemen und der des Algorithmus oder Kalküls, d. h. formal ope- rierender Verfahren zur Lösung präzis beschriebener Fragen und Probleme.
Description supplied by the publisher.