Domande taggate «soft-question»

Una domanda delicata è una domanda (possibilmente soggettiva) sul campo dell'informatica teorica anziché essere una domanda nell'informatica teorica.

6
Riviste con rapida revisione
Contesto: la motivazione di questa domanda è duplice. In primo luogo, vorrei ottenere alcuni fatti concreti per comprendere meglio il dibattito in corso su conferenze e riviste . In secondo luogo, se queste informazioni fossero disponibili da qualche parte, potrei prendere una decisione più informata quando invio documenti per la …
8
Perché andare all'informatica / ricerca teorica?
Attualmente sto iniziando l'università [informatica] e lì abbiamo molte opportunità di iniziare la ricerca. Prima di trovare questo sito Web, non avevo intenzione di procedere in questo modo [volevo lavorare con l'IA, probabilmente sviluppatore di giochi], ma ora posso [o ho bisogno] di fare una scelta. Puoi convincermi ad unirmi …
7
Come posso iniziare con CS teorico?
Sono una matricola che studia informatica e so già che voglio andare in università con focus sulla scienza teorica. Ho già letto alcuni dei documenti citati in questa domanda e questa domanda mi ha convinto ulteriormente. Cosa dovrei fare ora , come studente universitario, per essere coinvolto nel campo? Cosa …
8
Quale definizione di tasso di crescita asintotica dovremmo insegnare?
Quando seguiamo i libri di testo o la tradizione standard, la maggior parte di noi insegna la seguente definizione di notazione big-Oh nelle prime lezioni di una classe di algoritmi: f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)).f=O(g) iff (∃c>0)(∃n0≥0)(∀n≥n0)(f(n)≤c⋅g(n)). f = O(g) \mbox{ iff } (\exists c > 0)(\exists n_0 \geq 0)(\forall n \geq …
3
Tesi di Church-Turing estesa
Una delle domande più discusse sul sito è stata cosa significherebbe confutare la tesi di Church-Turing . Ciò è in parte dovuto al fatto che Dershowitz e Gurevich hanno pubblicato una dimostrazione della tesi di Church-Turing sul Bulletin of Symbolic Logic nel 2008. (Non ne parlerò qui, ma per un …
8
I contributi di Alan Turing all'informatica
Alan Turing , uno dei pionieri dell'informatica (teorica), ha dato molti contributi scientifici fondamentali al nostro campo, tra cui la definizione di macchine di Turing, la tesi di Church-Turing, l'indecidibilità e il test di Turing. Tuttavia, le sue scoperte importanti non si limitano a quelle che ho elencato. In onore …
6
Codice in documenti accademici
Nella mia carriera accademica, ho letto diversi articoli accademici su vari argomenti di informatica. Molti dei quali comportano un'implementazione e una certa valutazione di tale implementazione, ma ho scoperto che pochissimi di loro pubblicano effettivamente il codice che hanno usato. Per me, i vantaggi dell'inclusione dell'attuazione effettiva sarebbero significativi, vale …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.