Notizen und Manuskripte zu Rechenmaschinen und Logik

Signatur	NL 288/069
Gegenstand	Notizsammlung (1)
Verfasser	Hasenjaeger, Gisbert
Titel	Notizen und Manuskripte zu Rechenmaschinen und Logik
Enthält	u.a.: - Ein Semi-Thue-System für unentscheidbare Probleme, 1958 - Normalformen für Aufzählungsverfahren, ca. 1964 - Turing-Maschinen, beschrieben durch Kalkül, Wintersemester 1966/67 - Kleine universelle Turing-Maschinen (UTM), 1970 - Ein einfaches unentscheidbares Problem, 1973 - Fragment des Manuskripts zu Artikel über Register-Maschinen in der Zeitschrift "contact", ab Abschnitt 6, "Modelle, konkret", ca. 1974 - Kleine universelle Turing-Maschinen, Vorarbeit für gemeinsamen Artikel mit Dimitris Christodulakis, 1980 - Verallgemeinerte Arithmetiken (mit Vermerk: LfI), 1982 - Notiz mit Behauptung und Beweis zu 3-Band-Maschine, o.D.
Intus	Manuskriptseite, wohl aus Hasenjaegers Habilitation, ca. 1953
Bemerkung	Ordnung und teilw. Datierung durch DMA
Laufzeit	1958 - 1988
Umfang	158 Bl. hs., ms. u. hektogr. (teilw. Kopie)
Fachgebiet	Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80>
Formalangaben	Sprachen: Deutsch , Englisch
Rechtehinweis	CC BY-SA 4.0
Permalink	https://digital-dev.deutsches-museum.de/item/NL-288-069

XML-Datensatz	Zum Austausch und Weiterverarbeitung der Daten nutzen wir maschinenlesbare, standardisierte Formate. Für Daten aus den Objektsammlungen steht LIDO-XML zur Verfügung. Die Daten aus der Bibliothek werden als METS/MODS-XML und die des Archivs als EAD-XML bereitgestellt. XML-Datensatz herunterladen
Bilder	Einzelne Bilder in der über das Pfeil-Symbol in der Menüleiste unter der Bildansicht herunterladen werden. Der Download beinhaltet das jeweils angezeigte Bild im JPEG-Format in mittlerer Auflösung, das in einem ZIP-Container eingebettet ist.
Hochauflösende Digitalisate, Konvolute	Hochauflösende Bilder und 3D-Modelle sowie Daten- und Bildkonvolute (z.B. alle Bilder zu einem Objekt) stellen wir gerne auf Anfrage zur Verfügung.