Comprendo che il modello di Turing è diventato lo "standard" nel descrivere il calcolo. Sono interessato a sapere perché questo è il caso, ovvero perché il modello TM è diventato più ampiamente utilizzato rispetto ad altri modelli teoricamente equivalenti (per quanto ne sappia), ad esempio la recursione μ di Kleene …
Sembra chiaro che una serie di sottocampi dell'informatica teorica sono stati significativamente influenzati dai risultati della fisica teorica. Ne sono due esempi Calcolo quantistico Risultati della meccanica statistica utilizzati nell'analisi della complessità / algoritmi euristici. Quindi la mia domanda è: ci sono delle aree principali che mi mancano? La mia …
I computer reali hanno una memoria limitata e solo un numero limitato di stati. Quindi sono essenzialmente automi finiti. Perché gli informatici teorici usano le macchine di Turing (e altri modelli equivalenti) per studiare i computer? Qual è lo scopo di studiare questi modelli molto più forti rispetto ai computer …
Sono uno studente di secondo anno in teoria. Ho lavorato su un problema nell'ultimo anno (nella teoria dei grafi / algoritmi). Fino a ieri pensavo di stare bene (stavo estendendo un teorema da un documento). Oggi ho capito che ho fatto un semplice errore. Mi sono reso conto che sarà …
Nel 1937 Turing descrisse una macchina Turing. Da allora molti modelli di calcolo sono stati descritti nel tentativo di trovare un modello che sia come un vero computer ma comunque abbastanza semplice da progettare e analizzare algoritmi. Di conseguenza, abbiamo dozzine di algoritmi per, ad esempio, il problema SORT per …
Su MathOverflow, Timothy Gowers ha posto una domanda intitolata " Dimostrare che il rigore è importante ". La maggior parte della discussione riguardava casi che mostravano l'importanza della prova, di cui probabilmente le persone su CSTheory non devono essere convinte. Nella mia esperienza, le prove devono essere più rigorose nell'informatica …
Nonostante diversi anni di lezioni, sono ancora in perdita quando si tratta di scegliere un argomento di ricerca. Ho esaminato documenti di diverse aree e parlato con professori e sto cominciando a pensare che questo sia l'approccio sbagliato. Ho letto che aiuta a trovare un problema interessante (non importa la …
Sono uno studente di dottorato del quarto anno in informatica teorica. Mi piacerebbe rimanere nel mondo accademico, quindi sto pensando al modo migliore per avanzare nella mia carriera. Ovviamente il modo migliore per farlo è scrivere un sacco di buoni lavori, ma un'altra domanda è se dovrei cercare di avere …
DICHIARAZIONE DI NON RESPONSABILITÀ: questa è una domanda a risposta aperta e i puritani dello scambio di stack probabilmente proverebbero un impulso straordinario a votarla fino all'oblio. Tuttavia, non riesco a pensare a nessun altro forum più appropriato e promettente per ottenere una risposta a questa domanda. Mentre lavoro su …
Sono uno studente di dottorato del terzo anno in un'area di CS teorico che vorrebbe consigli per una situazione difficile con il mio consulente. Il mio consulente non è coinvolto nei miei progetti di ricerca. In particolare, ho escogitato tutte le mie idee di carta e ho eseguito le carte …
Il mio dipartimento mi chiede spesso di tenere discorsi con gli alunni delle scuole superiori sugli elementi più matematici dell'informatica. Faccio del mio meglio per scegliere argomenti da TCS che potrebbero ispirare il loro interesse (che coinvolge principalmente qualcosa a che fare con il problema di Halting) ma mi piacerebbe …
Esiste sempre un modo per applicare argomenti relativi all'informatica teorica. Ma i libri di testo e i corsi di laurea di solito non spiegano il motivo per cui la teoria degli automi è un argomento importante e se ha ancora applicazioni pratiche. Pertanto, gli studenti universitari potrebbero avere difficoltà a …
Adoro fare TCS nel mio tempo libero. Ultimamente ho cercato di fare delle ricerche per hobby. Sto cercando qualche input aggiuntivo dalle persone che lo fanno a tempo pieno: - Pensi che sia possibile farlo "solo per divertimento"? Non ho intenzione di ottenere un dottorato. - Quali risorse consiglieresti?
Cosa dovresti fare quando vedi una domanda sollevata in pubblico, dì qui sullo scambio di pile, a cui conosci la risposta, perché stai esaminando come parte dell'attuale progetto di ricerca? Ad esempio, vedo una domanda TCS.SX a cui conosco la risposta, perché di recente ho lavorato sul problema. Non ho …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.