Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Sottotipo implicito vs esplicito
Questa pagina afferma che molte lingue non usano il sottotipo implicito (equivalenza strutturale), preferendo il sottotipo esplicito / dichiarato (equivalenza di dichiarazione) Ho principalmente usato linguaggi di programmazione che usano il sottotipo esplicito . Quali sono i vantaggi del sottotipo implicito, come descritto nelle note sopra.
3
Generalizzazioni del metodo di Brzozowski di derivati ​​delle espressioni regolari alle grammatiche?
Il metodo dei derivati ​​di Brzozowski è una tecnica molto carina per costruire automi deterministici da espressioni regolari in modo piacevolmente algebrico. Ho elaborato alcune generalizzazioni carine di questa tecnica per gestire alcune classi più grandi di grammatiche, ma gli algoritmi sono abbastanza semplici da sembrare abbastanza possibili che siano …
1
La struttura dati quad-edge (Delaunay / Voronoi)
2 domande per i geometri computazionali o algebristi: Sto appena iniziando ad immergermi nella geometria computazionale e lo adoro =) Sto tentando di leggere il famoso articolo di Guibas e Stolfi intitolato "Primitivi per la manipolazione di suddivisioni generali e il calcolo dei diagrammi di Voronoi" al fine di implementare …
4
Applicazioni della teoria della complessità
La teoria della complessità sembra catturare qualcosa di fondamentale sulla struttura dell'universo, in quanto formalizza l'idea intuitiva che alcuni problemi sono più difficili di altri. Scott Aaronson ha predetto : "Il presupposto della durezza NP sarà alla fine visto come analogo alla Seconda Legge della Termodinamica o all'impossibilità della segnalazione …
1
Tecniche per mostrare la non derivabilità in logiche e altri sistemi di prove formali
Nei sistemi di prova per la logica proposizionale classica se si vuole dimostrare che una determinata formula non è derivabile, si mostra semplicemente che può essere derivato (anche se altre tecniche sono certamente possibili). La non derivabilità deriva essenzialmente dalla solidità e completezza del sistema di prova.ψψ\psi¬ ψ¬ψ\neg\psi Sfortunatamente per …
18 lo.logic 
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.