Als «ho.history-overview» getaggte Fragen

Die Geschichte hinter den Themen: Woher kommt ihr Name, wer hat sie entdeckt, als sie zum ersten Mal bewiesen wurden, wie sie sich im Laufe der Jahre entwickelt haben.

1
Was sind die historischen Wurzeln von Milners Bigraphs?
Robin Milner definierte Bigraphs als eine Art grafische Struktur mit grafischer Struktur, bei der die Knoten jedoch verschachtelt werden können. Sie verallgemeinern Prozesskalküle wie CCS und den Kalkül, aber Milner scheint beabsichtigt zu haben, dass sie viel allgemeiner verwendet werden: Die Seminaraufzeichnungen von kurz vor seinem Tod beschreiben die jüngsten …
1
Rabins "Schwierigkeitsgrad bei der Berechnung einer Funktion und der teilweisen Anordnung rekursiver Mengen"
Ich suche nach: Michael O. Rabin, "Schwierigkeitsgrad der Berechnung einer Funktion und eine teilweise Anordnung von rekursiven Mengen", Hebrew University, Jerusalem, 1960 Zusammenfassung: „Wir versuchen, den Arbeitsaufwand zu messen, der mit der Berechnung einer bestimmten berechenbaren (rekursiven) Funktion verbunden ist. Ein Begriff des Schwierigkeitsgrades des Rechnens wird eingeführt und untersucht. …
2
Wie genau erfasst die Lambda-Rechnung den intuitiven Begriff der Berechenbarkeit?
Ich habe versucht, mich mit dem Was, Warum und Wie von Kalkulus zu beschäftigen, aber ich bin nicht in der Lage, mich mit "Warum funktioniert es?"λλ\lambda "Intuitiv" erhalte ich das Rechenmodell von Turing Machines (TM). Aber diese lgr; -Abstraktion lässt mich nur verwirrt.λλ\lambda Nehmen wir an, TMs existieren nicht - …
2
Warum wird der Zustand eines FSM traditionell als
Während ich unterrichtete, wie FSMs unter Verwendung synchroner logischer Schaltungen implementiert werden, fiel mir ein faszinierender Zufall auf: Sowohl in der theoretischen CS-Welt als auch in der Welt der Elektrotechnik wird "Zustand" typischerweise als (und der Zustandsraum Q ) bezeichnet. Ich zum ersten Mal auf EE.sx gefragt , aber dann …
1
Entscheidungsproblem vs. Ungesteigertssatz
Der erste Begriff wird von Hilbert in seiner Arbeit von 1928 verwendet, aber in Gödels späterer Arbeit wird das gleiche als Unempfindlichkeitssatz bezeichnet . Für die heutigen deutschen CS-Forscher scheint es, dass Unbehandlungsssatz häufiger verwendet wird und das Entscheidungsproblem immer noch verstanden wird, aber nicht unbedingt mit dem Halteproblem verbunden …
2
Exponate für ein Museum of Computing
Alle mir bekannten Computermuseen und Exponate scheinen nur die Geschichte der Computer zu behandeln, aber nichts zu Themen der Informatik. Sie sind an der Schaffung eines neuen Computermuseums beteiligt, das gegründet wurde, um die breite Öffentlichkeit in einer Vielzahl von Themen aus den Bereichen Computer, Informatik, Kommunikation und Mathematik zu …
2
Die Beziehung zwischen Babbage und von Neumann
Es ist bekannt, dass die Analysemaschine von Charles Babbage eine Architektur hatte, die stark an die moderne Von Neumann-Architektur erinnert. Bemerkenswert ist auch, dass die Tabellen zur Darstellung eines Programms für Babbages Analysemaschine ( http://www.fourmilab.ch/babbage/figures/menat3.png ) und von Neumanns Arbeit (wie http://library.ias.edu) /files/pdfs/ecp/planningcodingof0103inst.pdf ) sind ziemlich analog. Jetzt frage ich …
2
Frühe Referenzen zur diskreten Optimierung
(Entschuldigung, wenn dies falsch oder zu weit gefasst ist. Ich bin offen für Vorschläge zur Neuformulierung.) Ich bin daran interessiert, die "alte" Geschichte der Max-Flow-Algorithmen und der diskreten Optimierungsalgorithmen im Allgemeinen zurückzuverfolgen. Ford-Fulkerson ist mein Strohmann eines Ausgangspunkts. Was waren die wesentlichen Fortschritte davor? Wie weit können wir zurückgehen, während …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.