Computerwissenschaften history

5

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 funktionieren, und es gibt wahrscheinlich …

96 complexity-theory reference-request history p-vs-np reference-question

2

Wofür steht das „Lambda“ in der „Lambda-Rechnung“?

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 erklären?

73 terminology computation-models lambda-calculus history

5

Warum hat sich die Erforschung genetischer Algorithmen verlangsamt?

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 Mining konzentrieren. Update: Ist das korrekt? Und wenn ja, welche …

45 machine-learning data-mining evolutionary-computing history

7

Was ist die Definition von Informatik und was ist die Wissenschaft in der Informatik?

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 darüber zu geben, was Informatik …

39 terminology history

2

Warum heißt eine reguläre Sprache "regulär"?

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 er erklärt, warum eine reguläre Sprache "regulär" …

31 formal-languages regular-languages terminology finite-automata history

2

Wie hängen Programmiersprachen und Grundlagen der Mathematik zusammen?

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 zusätzlichen Paragrafie von Und Implementierungen der Theorie 1. Typentheorie in Coq 2. Mengen-Theorie in SETL 3. Kategorietheorie in …

30 programming-languages history type-theory category-theory

7

Warum brauchen wir Assemblersprache?

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, Move A 5 usw. enthält. Und es ist ziemlich schwer zu lernen. …

27 programming-languages education history

4

Warum werden berechenbare Funktionen auch rekursive Funktionen genannt?

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 eigentliche Bedeutung von rekursiv im Kontext der Berechenbarkeit? Warum …

23 computability terminology history

1

Was sind die ersten Informatik-Artikel, die asymptotische Zeitkomplexität verwendeten?

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, …

22 asymptotics history

1

Wer hat den Begriff „maschinelles Lernen“ geprägt?

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 werden ? Sie können viele, viele Verweise auf …

19 terminology reference-request machine-learning history

5

Was ist die früheste Verwendung von "Bäumen" in der Informatik?

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 Informatik.

18 data-structures reference-request trees history

4

Hat 'Eugene Goostman' den Turing-Test wirklich bestanden?

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 als Chatbot, gab vor, ein 13-jähriger ukrainischer …

18 reference-request artificial-intelligence history turing-test

4

Warum wurde die RSA-Verschlüsselung für den Schlüsselaustausch populär?

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 ). Ist das nicht genau das, wofür …

16 cryptography history

1

Wer ist der Gesetzgeber von Paxos?

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, die auf diesem Gebiet tätig waren, transkribiert mit Guibas 'Hilfe in …

15 distributed-systems history

2

Warum ist die Vollständigkeit von Turing richtig?

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 reichen Rechenmaschinen der einen oder anderen Art bis in …

15 computability turing-machines history

Als «history» getaggte Fragen