Ho difficoltà a insegnare il concetto di funzioni calcolabili. Ho cercato di sviluppare l'idea del perché ricercatori come Hilbert / Ackermann / Godel / Turing / Church / ... hanno inventato il concetto di "calcolabilità". Gli studenti hanno immediatamente chiesto: "cosa significa calcolabilità?" e non posso rispondere a meno che …
Sto scrivendo articoli in informatica teorica a volte essendo un singolo autore non anonimo. In precedenza, ho usato il plurale in prima persona in tali articoli, ad esempio: Mostreremo che le classi di complessità X e Y coincidono. Non sono né un madrelingua inglese né estremamente bravo in inglese. Recentemente, …
Insegnerò a un corso di laurea standard in lingue e automi il prossimo semestre e preferirei utilizzare un testo legittimo gratuito oa basso costo. Eventuali suggerimenti? Adoro il testo di Sipser ma l'ultima edizione costa $ 196, cosa difficile da dire con una faccia seria nell'era dei corsi gratuiti.
Sono un laureando e recentemente ho fatto i conti con il fatto che potrei non avere l'intelletto per fare ricerche in informatica teorica, o essere in grado di essere ammesso e completare un programma di dottorato. Tuttavia, mi piacerebbe comunque essere coinvolto nell'informatica teorica poiché lo trovo molto interessante. Finora, …
Quando si mettono insieme i risultati, è spesso desiderabile avere alcuni diagrammi dall'aspetto professionale, piuttosto che diagrammi messi insieme in MS Paint. Qual è lo standard per il disegno di strutture dati?
Ho due domande storiche: Chi ha descritto per primo il calcolo non deterministico? So che Cook ha descritto problemi NP-completi e che Edmonds ha proposto che gli algoritmi P siano algoritmi "efficienti" o "buoni". Ho cercato questo articolo di Wikipedia e ho scremato "Sulla complessità computazionale degli algoritmi", ma non …
La maggior parte degli articoli sono ora scritti in modo collaborativo e i collaboratori si trovano spesso in luoghi diversi. Ho sempre usato i sistemi di controllo della versione per i miei documenti e codice, e ho anche trovato il controllo della versione fondamentale per progetti software collaborativi, ma sembra …
Questa domanda è simile a una domanda più generale su quale sia il giusto modello teorico di un computer per progettare algoritmi e strutture di dati. Qui, chiedo in modo specifico gli attuali computer ad alte prestazioni (come quelli elencati come Top 500 ) o anche circa imminenti supercomputer. Dato …
Ho una ragionevole educazione matematica, ma non mi sono mai trovato al 100% a mio agio con l'algebra astratta (la matematica di gruppi, anelli, campi ecc.). Penso che questo sia stato in parte come avevo bisogno di vedere le applicazioni e tutti quelli che ho potuto trovare erano in fisica, …
Quali sono le migliori risorse per trovare offerte di lavoro per posizioni di docenti nella teoria CS? Esiste un sito Web o una mailing list in particolare che è abbastanza completo? Al momento ho l'impressione che si debba usare una varietà di risorse per ottenere un elenco completo e mondiale …
Questa recente domanda sulla teoria dei giochi mi ha fatto pensare (questa è una tangente, ovviamente): è possibile ottimizzare in modo efficiente una strategia personale per scegliere le domande di ricerca su cui lavorare usando la teoria dei giochi? Per avanzare verso una formalizzazione della domanda, farò le seguenti ipotesi …
Attualmente sto studiando matematica. Tuttavia, non penso di voler diventare un matematico professionista in futuro. Sto pensando di applicare la mia conoscenza della matematica per fare ricerche sull'intelligenza artificiale. Tuttavia, non sono sicuro di quanti corsi di matematica dovrei seguire. (E quali corsi di teoria CS dovrei seguire.) Da Quora …
Mi rendo conto che questa potrebbe essere una domanda controversa, ma questo sembrava il posto giusto da porre. Per favore, reindirizzami se no. Lo sfondo è che sono un "praticante" (dottorando, non studio teoria CS) ma ho una base ragionevole in algoritmi e matematica per studenti universitari. Tuttavia, le discussioni …
Mi piacerebbe sapere se ci sono state congetture che sono state a lungo non dimostrate nel TCS, che sono state successivamente dimostrate da un'implicazione da un altro teorema, che potrebbe essere stato più facile da dimostrare.
La nozione di riduzioni dei tempi polinomiali (riduzioni di Cook) è un'astrazione di un concetto molto intuitivo: risolvere efficacemente un problema usando un algoritmo per un altro problema. Tuttavia, nella teoria della completezza di , la nozione di durezza viene catturata tramite riduzioni di mappatura (riduzioni di Karp). Questo concetto …
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.