Programmierung - eine Einführung in die Informatik mit Standard ML
Book information
Description
Diese Einführung in die Informatik vermittelt Programmierung als Synthese von Theorie und Praxis. Programmierkenntnisse werden nicht vorausgesetzt. Das Buch verwendet die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können. Leitthema des Buches ist der Aufbau von Programmiersprachen, der durch Grammatiken, Inferenzregeln und das Programmieren von Interpretern, Maschinen und Übersetzern vermittelt wird. Darauf abgestimmt werden rekursive Datenstrukturen und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen behandelt.Eine Einführung in die funktionale Programmierung und den Aufbau von Programmiersprachen
Similar books
Programmierung - eine Einführung in die Informatik mit Standard ML
2009 · PDF
Introduction to Computational Logic (SS 2014) [lecture notes]
2014 · PDF
Confluence and Normalization in Reduction Systems [lecture notes]
2015 · PDF
Programmierung - eine Einfuhrung in die Informatik mit Standard ML
2007 · PDF
Die Kunst, alle animalischen und vegetabilischen Substanzen, nähmlich alle Gattungen Fleisch, Geflügel, Wildpret, Fische, Zugemüse, Küchen- und Arzneygewächse, Früchte, Sulzen, Säfte; ferner Bier, schon zum Genusse völlig bereiteten Kaffeh, Thee u.s.w., in voller Frische, Schmackhaftigkeit und eigenthümlicher Würze mehrere Jahre zu erhalten : eine der nützlichsten Erfindungen von H. Appert in Paris, die nicht allein für die kleinste Haushaltung ohne allen Kostenaufwand anwendbar, und deßwegen ein unentbehrlicher, noch nie gegebener Anhang zu allen Koch- und Wirthschaftsbüchern ist, sondern auch die größten nur denkbaren Vortheile für Hospitäler, Armeen, Flotten etc. etc. gewährt, und wegen ihrer Gemeinnützigkeit von der französischen Regierung mit 12.000 Franken belohnt wurde
1832 · PDF
Geschichte des Rechtsstreits zwischen der ältern und jüngern Linie des Fürstenhauses Anhalt-Bernburg. Band 3, Abteilung 1 Commentar zu den Gründen des, den Beytritt der vertretenen Streitgenossen, zu der von den unvertretenen erhobenen Nichtigskeitsquerel, abweisenden ersten Instanzurtheils vom 25sten November 1820: Fortgesetze Betrachtungen über die Natur einer prozessualischen Streitgenossenschaft, und über die Untheilbarkeit eines Verfahrens und Urtheils, den der Untheilbarkeit der Thatsachen und des Streitgegenstandes
1822 · PDF
Oeconomia. Oder Haußbuch : Zum Calendario Oeconomico & perpetuo gehörig. 1 Darinnen begriffen vnnd außführlichen erkleret ist, Wie ein Hauswirth, nach dem ihn Gott der Allmechtige gesegnet, ferner seine Nahrung nechst Gott anstellen sol, auch fruchtbarlichen geniessen vnd gebrauchen : Alldieweil in solchem angezeigt wird, wie ein Haußwirth erstlich sein Gesinde wol regieren sol, hernach, von allerley sachen zur Haußhaltung gehörig, Als von Brawen, Backen, Bleichen, Weinbergern, Gärten, Höltzung, Ackerbaw, Viehzucht, Jagten, Fisch vnd Vogelfang, Endlich von einer Haußartzney oder Haußapotecken vor den gemeinen Man.
1600 · PDF
Neu-gefundenes Eden., Oder:, Aussführlicher Bericht von Sud- und Nord-Carolina, Pensilphania, Mary Land, & Virginia. : Entworffen durch zwey in dise Provintzen gemachten Reisen, Reiss-Journal, und ville Brieffen, dardurch der gegenwärtige Zustand diser Länderen warhafftig entdecket, und dem Nebenmenschen zu Gutem an Tag gelegt wird. Samt beygefügtem Anhang, oder freye Unterweisung zu dem verlohrnen, nun aber wieder gefundenen Lapide Philosophorum, dardurch man bald zur Vergnügung, und wahrer [sic] Reichthum gelangen kan
1737 · PDF