Domande taggate «soft-question»

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

7
Organizzazione dei dati di ricerca
Questa è una domanda nello spirito di questa in cui ho risposto che è importante tenere traccia di ciò che hai fatto qualcosa, perché l'hai fatto e cosa non funziona. Personalmente uso i notebook a tale scopo, ma presenta diversi inconvenienti: in primo luogo ho bisogno di molta superficie di …
2
(Come) Potremmo scoprire / analizzare i problemi NP in assenza del modello di calcolo di Turing?
Da un punto di vista matematico / di ragionamento puramente astratto (come) si potrebbe persino scoprire o ragionare su problemi come 3-SAT, somma dei sottoinsiemi, commesso viaggiatore ecc.? Saremmo ancora in grado di ragionare su di loro in modo significativo con il solo funzionale punto di vista? Sarebbe anche possibile? …
1
Perché il lavoro di Schönfinkel sull'eliminazione delle "variabili legate" nella logica era così cruciale?
AFAIK, La prima prova dell'uso di funzioni di ordine superiore risale al documento di Schönfinkel del 1924: "Sui mattoni della logica matematica" - dove ha permesso di passare funzioni come argomenti ad altre funzioni. Sembra interessante. Tuttavia, tutto ciò che ho letto del suo lavoro (e di Curry per estensione) …
5
Esempi di pedanteria in TCS
Larry Wasserman ha un recente post in cui parla della "polizia di valore p". Fa un punto interessante (tutta la mia enfasi) (la premessa in corsivo che ho aggiunto e la sua risposta sotto di essa): La lamentela più comune è che fisici e giornalisti spiegano erroneamente il significato di …
1
Mantenimento dell'ordine in una lista in
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
2
Uso dell'assistente alla prova nella ricerca della teoria della complessità?
Considerando gli argomenti trattati in una conferenza come STOC, alcuni algoritmi o ricercatori di complessità utilizzano attivamente COQ o Isabelle? Se è così, come lo usano nella loro ricerca? Suppongo che la maggior parte delle persone non userebbe tali strumenti perché le prove sarebbero di livello troppo basso. Qualcuno sta …
4
Risorse teoriche di autoapprendimento informatico per programmatori
Sono un ingegnere informatico piuttosto abile, ma non conosco molta teoria. Voglio imparare più teoria. Argomenti particolari che mi interessano sono: complessità computazionale, linguaggi formali e teoria dei tipi. Ma sono perplesso su come iniziare a conoscere questi campi. Quali risorse consiglieresti a qualcuno che vuole imparare più teoria attraverso …
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.