Fragen zur Entstehung und Entwicklung der Informatik als wissenschaftliche Disziplin und ihrer Anwendungen.
Es gibt viele Versuche, entweder oder zu beweisen, und natürlich denken viele Leute über die Frage nach und haben Ideen, um beide Richtungen zu beweisen.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ich weiß, dass es Ansätze gibt, die erwiesenermaßen nicht...
Ich habe in letzter Zeit über Lambda-Kalkül gelesen, aber seltsamerweise kann ich keine Erklärung dafür finden, warum es "Lambda" heißt oder woher der Ausdruck kommt. Kann jemand die Ursprünge des Begriffs
Bei der heutigen Diskussion einiger Themen auf Einführungsebene, einschließlich der Verwendung genetischer Algorithmen; Mir wurde gesagt, dass sich die Forschung auf diesem Gebiet wirklich verlangsamt hat. Als Grund wurde angegeben, dass sich die meisten Menschen auf maschinelles Lernen und Data...
Ich strebe einen Bachelor in Informatik an, bin aber noch am Anfang und bin mir ziemlich sicher, dass ich mit meiner Entscheidung zufrieden sein werde, da es so aussieht, als würde eine akademisch und beruflich flexible Ausbildung angestrebt. Allerdings scheint es eine Vielzahl von Definitionen...
Ich habe gerade das erste Kapitel der Einführung in die Berechnungstheorie von Michael Sipser abgeschlossen, in dem die Grundlagen endlicher Automaten erklärt werden. Er definiert eine reguläre Sprache als alles, was durch endliche Automaten beschrieben werden kann. Aber ich konnte nicht finden, wo...
Grundsätzlich sind mir drei Grundlagen für Mathematik bekannt Mengenlehre Typentheorie Kategorietheorie Inwiefern hängen Programmiersprachen und Grundlagen der Mathematik zusammen? BEARBEITEN Die ursprüngliche Frage lautete "Programmiersprachen, die auf mathematischen Grundlagen basieren". mit der...
Wir schreiben hauptsächlich Programme in Hochsprache. Während des Studiums bin ich auf Assemblersprache gestoßen. Ein Assembler konvertiert also Assemblersprache in Maschinensprache und ein Compiler macht dasselbe mit Hochsprache. Ich habe festgestellt, dass Assembler Anweisungen wie Move R1 R3,...
In der Berechenbarkeitstheorie werden berechenbare Funktionen auch als rekursive Funktionen bezeichnet. Zumindest auf den ersten Blick haben sie nichts mit dem zu tun, was Sie in der täglichen Programmierung als "rekursiv" bezeichnen (dh Funktionen, die sich selbst aufrufen). Was ist die...
Wann wurde big O zum ersten Mal in der Informatik eingesetzt und wann wurde es zum Standard? Die Wikipedia-Seite zu diesem Thema zitiert Knuth, Big Omicron und Big Omega und Big Theta , SIGACT April-Juni 1976, aber der Anfang dieses Artikels lautet Die meisten von uns haben sich daran gewöhnt, die...
Ich versuche herauszufinden, wer den Begriff "maschinelles Lernen" geprägt hat. Eine Zusatzfrage ist, woher Arthur Samuel zitiert wird, der das Gebiet des "maschinellen Lernens" im Jahr 1959 definiert als: das Studienfach, das Computern die Fähigkeit gibt, zu lernen, ohne explizit programmiert zu...
Es heißt, dass "Eugene Goostman", ein Computerprogramm, das entwickelt wurde, um einen 13-jährigen Jungen zu simulieren, es geschafft hat, 33 Prozent der Richter davon zu überzeugen, dass es sich um einen Menschen handelt, und damit den Turing-Test bestanden hat. Das Computerprogramm, auch bekannt...
Ich habe eine kleine geschichtliche Frage, nämlich, wie der Titel sagt, ich suche nach frühen Verwendungen von Bäumen (als Datenstruktur, Suchbaum, was auch immer) in der
Das ist eine weiche Frage. Ich weiß nicht viel über Kryptographie oder ihre Geschichte, aber es scheint, als würde RSA häufig den Schlüsselaustausch durchführen, indem ein symmetrischer Schlüssel verschlüsselt wird, um eine längere Nachricht zu senden (z. B. die Beschreibung von iMessage hier )....
Leslie Lamport nennt in dem wegweisenden Artikel über verteilte Systeme The Part Time Parliament (das Paxos-Protokoll) fiktive Gesetzgeber, die am Paxon-Parlamentsprotokoll beteiligt sind. Nach diesem Schreiben stellt er fest, dass: Ich gab den griechischen Gesetzgebern die Namen von Informatikern,...
Ich benutze einen digitalen Computer, um diese Nachricht zu schreiben. Solch eine Maschine hat eine Eigenschaft, die, wenn Sie darüber nachdenken, tatsächlich bemerkenswert ist: Es ist eine Maschine, die, wenn sie entsprechend programmiert ist, jede mögliche Berechnung durchführen kann . Natürlich...
Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung,
In der Literatur ist ziemlich klar, dass kostenpflichtige RAMs mit primitiver Multiplikation insofern unvernünftig sind, als sie können von Turing-Maschinen nicht in Polynomzeit simuliert werden kann PSPACE-vollständige Probleme in der Polynomzeit lösen Alle Referenzen, die ich zu diesem Thema...
Die Berechenbarkeitstheorie wird auch als Rekursionstheorie bezeichnet. Warum heißt es so? Warum ist Rekursion so
Warum ist die Laplace-Transformation für die Bildverarbeitungsfaltung nicht beliebt? Die meisten Lehrbücher behandeln nur die
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...