Scienza del computer history

5

Ci sono molti tentativi di provare o , e naturalmente molte persone pensano alla domanda, avendo idee per provare entrambe le direzioni.P = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} So che ci sono approcci che hanno dimostrato di non funzionare, e probabilmente ce ne sono altri …

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

2

Cosa significa "Lambda" in "Lambda calculus"?

Recentemente ho letto del calcolo Lambda, ma stranamente non riesco a trovare una spiegazione del perché si chiama "Lambda" o da dove provenga l'espressione. Qualcuno può spiegare le origini del termine?

75 terminology computation-models lambda-calculus history

5

Perché la ricerca sugli algoritmi genetici ha rallentato?

Durante la discussione di alcuni argomenti di livello introduttivo oggi, incluso l'uso di algoritmi genetici; Mi è stato detto che la ricerca ha davvero rallentato in questo campo. Il motivo è che la maggior parte delle persone si sta concentrando sull'apprendimento automatico e sul data mining. Aggiornamento: è accurato? E …

45 machine-learning data-mining evolutionary-computing history

7

Qual è la definizione di Informatica e qual è la Scienza in Informatica?

Sto perseguendo una laurea in Informatica, ma sono in una fase iniziale di questo, e sono abbastanza sicuro che sarò felice della mia scelta dato che sembra un'istruzione accademica e professionale flessibile da perseguire. Detto questo, sembra che ci sia una varietà di definizioni su ciò che l'informatica è veramente …

39 terminology history

2

Perché una lingua normale si chiama 'normale'?

Ho appena completato il primo capitolo dell'Introduzione alla teoria del calcolo di Michael Sipser che spiega le basi degli automi finiti. Definisce un linguaggio regolare come tutto ciò che può essere descritto da un automa finito. Ma non riuscivo a trovare dove spiegasse perché una lingua normale si chiama "normale?" …

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

2

In che modo sono collegati i linguaggi di programmazione e le basi della matematica?

Fondamentalmente sono a conoscenza di tre basi per la matematica Insiemistica Teoria dei tipi Teoria delle categorie Quindi, in che modo sono correlati i linguaggi di programmazione e le basi della matematica? MODIFICARE La domanda originale era "Linguaggi di programmazione basati su basi matematiche" con l'aggiunta del paragarfo di E …

30 programming-languages history type-theory category-theory

7

Perché abbiamo bisogno del linguaggio assembly?

Scriviamo principalmente programmi in un linguaggio di alto livello. Quindi, mentre studiavo, mi sono imbattuto in un linguaggio assembleare. Quindi un assemblatore converte il linguaggio assembly in linguaggio macchina e un compilatore fa lo stesso con un linguaggio di alto livello. Ho scoperto che il linguaggio assembly ha istruzioni come …

27 programming-languages education history

4

Perché le funzioni calcolabili sono anche chiamate funzioni ricorsive?

Nella teoria della computabilità, le funzioni calcolabili sono anche chiamate funzioni ricorsive. Almeno a prima vista, non hanno nulla in comune con ciò che tu chiami "ricorsivo" nella programmazione quotidiana (cioè funzioni che si definiscono). Qual è il significato effettivo di ricorsivo nel contesto della calcolabilità? Perché quelle funzioni sono …

23 computability terminology history

1

Quali sono i primi articoli di informatica che hanno usato la complessità temporale asintotica?

Quando il big O è stato usato per la prima volta in informatica e quando è diventato standard? La pagina Wikipedia su questo cita Knuth, Big Omicron e Big Omega e Big Theta , SIGACT aprile-giugno 1976, ma l'inizio di quel documento recita Molti di noi si sono abituati all'idea …

22 asymptotics history

1

Chi ha coniato il termine "machine learning"?

Sto cercando di capire chi ha coniato il termine "machine learning". Una domanda ausiliaria è da dove viene citato Arthur Samuel che definisce il campo dell '"apprendimento automatico" nel 1959 come: il campo di studio che offre ai computer la capacità di apprendere senza essere esplicitamente programmato ? Puoi trovare …

19 terminology reference-request machine-learning history

5

Qual è il primo utilizzo di "alberi" nell'informatica?

Ho una piccola domanda di storia, vale a dire, come dice il titolo, sto cercando i primi usi degli alberi (come struttura di dati, albero di ricerca, qualunque cosa) nell'informatica.

18 data-structures reference-request trees history

4

"Eugene Goostman" ha davvero superato il test di Turing?

Si dice che "Eugene Goostman", un programma per computer sviluppato per simulare un ragazzo di 13 anni, sia riuscito a convincere il 33% dei giudici che era umano, e quindi ha superato il test di Turing. Il programma per computer, noto anche come chatbot, fingeva di essere un ragazzo ucraino …

18 reference-request artificial-intelligence history turing-test

4

Perché la crittografia RSA è diventata popolare per lo scambio di chiavi?

Questa è una domanda delicata. Non so molto sulla crittografia o sulla sua storia, ma sembra che un uso comune per RSA sia fare lo scambio di chiavi crittografando una chiave simmetrica per inviare un messaggio più lungo (ad esempio, la descrizione di iMessage qui ). Non è esattamente questo …

16 cryptography history

1

Chi sono i legislatori di Paxos?

Nel documento seminale sui sistemi distribuiti The Part Time Parliament (il protocollo Paxos), Leslie Lamport nomina i legislatori immaginari che sono coinvolti nel protocollo del parlamento di Paxon. Secondo questo scritto , osserva che: Ho dato ai legislatori greci i nomi degli informatici che lavorano sul campo, traslitterati con l'aiuto …

15 distributed-systems history

2

Perché la completezza di Turing è giusta?

Sto usando un computer digitale per scrivere questo messaggio. Tale macchina ha una proprietà che, se ci pensate, è in realtà abbastanza notevole: è una macchina che, se programmata in modo appropriato, può eseguire qualsiasi calcolo possibile . Naturalmente, le macchine calcolatrici di un tipo o dell'altro risalgono all'antichità. Le …

15 computability turing-machines history

Domande taggate «history»