Domande taggate «soft-question»

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

1
Carriere per teorici informatici
Quali sono le carriere tipiche per gli informatici teorici (persone con laurea in informatica teorica)? Che tipo di industrie e istituzioni cercano conoscenze teoriche in informatica? Quali carriere analizzano in genere i teorici informatici?
4
Risultati interessanti in TCS che sono facilmente spiegabili ai programmatori senza background tecnico
Supponiamo che stai incontrando programmatori che hanno seguito alcuni corsi di programmazione professionale (/ auto-pensiero) ma non hanno studiato matematica a livello universitario. Al fine di mostrare loro la bellezza di TCS, vorrei raccogliere alcuni bei risultati / domande aperte provenienti da TCS che possono essere facilmente spiegate. Un buon …
6
Consigli per la scuola di specializzazione in Informatica
Sto cercando qualche consiglio e feedback. Background: sono uno studente di matematica universitario, con un interesse per l'informatica teorica (complessità computazionale, teoria dei grafi, combinatoria). Voglio perseguire un dottorato in informatica e concentrarmi sulla teoria. Il mio background è in aree matematicamente intense dell'informatica, ma mi manca un background più …
3
Sentirsi insoddisfatti dopo ogni presentazione
Sono uno studente universitario di terzo anno presso un'università "top 20" che lavora su una complessità a grana fine (molti giocano con 3-SUM, OV e le solite congetture popolari sulla durezza). Sono stato abbastanza produttivo nell'ultimo anno circa e ho 3 documenti accettati e due documenti inviati. Tutto ciò per …
2
In che modo esattamente il calcolo lambda cattura la nozione intuitiva di calcolabilità?
Ho cercato di avvolgere la mia testa attorno al cosa, perché e come di -calculus ma non sono in grado di fare i conti con "perché funziona"?λλ\lambda "Intuitivamente" ottengo il modello di calcolabilità di Turing Machines (TM). Ma questa -strazione mi lascia confuso.λλ\lambda Supponiamo che le TM non esistano, quindi …
3
Usi delle categorie
Non sono un informatico teorico. Sono un teorico stabile dell'omotopia usando le categorie . Ho visto applicazioni della teoria delle categorie e dei topoi teoria di informatica teorica, e mi chiedevo se ci fosse un modo si potrebbe usare ∞ -categories (e preferibilmente per me, teoria omotopia stabile) in informatica …
4
Come essere più "teorici"?
Ci scusiamo in anticipo per questo una domanda delicata che non ha una risposta chiusa e corretta. Questo è probabilmente il miglior forum per porre la mia domanda. Sono uno studente del terzo anno nel gruppo di teoria di una delle 15 migliori scuole negli Stati Uniti. Finora ho fatto …
1
In che modo le riviste servono la comunità TCS?
In passato, le riviste erano il modo principale in cui le scoperte scientifiche / matematiche venivano divulgate e verificate. In alcune aree lo sono ancora. Tuttavia, nell'informatica (teorica) quel ruolo è quasi interamente svolto da conferenze e divulgazione basata sul web (ad es. Arxiv o home page personali). Ci sono …
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.