Domande taggate «soft-question»

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

4
Esiste un'analisi matematica algoritmica?
Esistono teoria dei grafi algoritmica / teoria dei numeri / combinatoria / teoria dell'informazione / teoria dei giochi. Esiste un'analisi matematica algoritmica? Secondo il wiki, l'analisi matematica include le teorie della differenziazione, integrazione, misura, limiti, serie infinite e funzioni analitiche. È OK concentrarsi sull'analisi reale (wiki) che si occupa dei …
3
Cosa comporta la ricerca in informatica teorica?
Sto cercando di capire cosa è coinvolto nella ricerca teorica in informatica. Cosa fanno gli informatici teorici? So che si trascorre un tempo significativo nell'insegnamento, nella supervisione di studenti laureati, nella richiesta di finanziamenti e nei compiti dipartimentali. Metterli da parte come trascorri il tuo tempo di ricerca? Quali sono …
4
Ordinazione dell'autore in articoli TCS
Mentre la regola empirica è che nei giornali TCS gli autori sono ordinati in ordine alfabetico, ci sono alcuni notevoli controesempi che vengono in mente, in cui gli autori sono ordinati in un modo diverso, ad esempio, Metodi algebrici per sistemi di prova interattivi [Lund, Fortnow, Karloff, Nisan] Un metodo …
3
Prove trovate dal computer
Nel 1996, un problema aperto di vecchia data è stato risolto da un computer; vale a dire che l' algebra di Robbins e l'algebra booleana sono uguali. La dimostrazione è stata trovata da un teorema automatizzato. Inoltre, la dimostrazione nota del teorema dei quattro colori contiene componenti generati dal computer. …
6
Qual è il punto di chiamare
Qual è la differenza nel chiamare -calculus algebra invece che calcolo? Sollevo questa domanda perché ho letto da qualche parte la riga " -calculus non è un calcolo ma un'algebra" (iirc, attribuito a Dana Scott). Qual è il punto? Grazie.λλλ\lambdaλλ\lambda
2
Mostre per un museo di informatica
Tutti i musei e le mostre informatiche di cui sono a conoscenza sembrano coprire solo la storia dei macchinari informatici, ma nulla su argomenti di informatica. Sei coinvolto nella creazione di un nuovo museo dell'informatica, noleggiato per educare, intrattenere e ispirare il pubblico in una vasta gamma di argomenti di …
3
Dove posso chiedere aiuto per la ricerca / pubblicazione?
Sto sviluppando un algoritmo SAT da un po 'e ho raggiunto un punto in cui mi piacerebbe condividerlo. Non conosco molte persone nell'informatica e non sono sicuro di dove rivolgersi. Mi chiedo quali risorse siano disponibili per qualcuno con un algoritmo che sta prendendo in considerazione la pubblicazione. Ho anche …
3
Note introduttive sulla parallelizzazione, in particolare schemi di problemi e algoritmi
Sto cercando appunti di lezioni disponibili online o altre risorse che forniscano una buona introduzione alla programmazione parallela, proprio come l'analogo parallelo delle lezioni di base di informatica. Il mio focus è il seguente: mentre sono in grado di parlare di divide & conquistare, algoritmi avidi, programmazione dinamica e simili, …
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.