Scienza del computer

1

Ad esempio, quando consideriamo un DFA che consente alle stringhe di non avere sotto-stringhe 00o 11che posso produrre i seguenti due DFA:

17 automata finite-automata

2

Correttezza del programma, le specifiche

Da Wikipedia: Nell'informatica teorica si afferma la correttezza di un algoritmo quando si dice che l'algoritmo è corretto rispetto a una specifica. Ma il problema è che ottenere la specifica "appropriata" non è un compito banale e non esiste un metodo corretto al 100% (per quanto ne so) per ottenere …

17 formal-methods software-verification program-correctness

3

Esiste un linguaggio decidibile di Turing non numerabile?

Esistono molte (e intendo molte) lingue numerabili che sono Turing-decidibili. Qualche lingua non numerabile può essere decisa da Turing?

17 formal-languages turing-machines regular-languages church-turing-thesis

2

Perché il factoring di interi di grandi dimensioni è considerato difficile?

Ho letto da qualche parte che l'algoritmo più efficiente trovato può calcolare i fattori nel tempo , ma il codice che ho scritto è o possibilmente seconda della divisione e del modulo veloci. Sono abbastanza sicuro di aver frainteso qualcosa da qualche parte, ma non sono sicuro di dove. Ecco …

17 complexity-theory time-complexity factoring primes

4

Come può il sistema operativo funzionare sullo stesso chip che dovrebbe gestire?

Dalle mie letture sui sistemi operativi (lettura del materiale di base su Wikipedia, siti tecnologici, ecc.) Ho appreso che il sistema operativo è un programma che consente a programmi e applicazioni di interagire con l'hardware in modo efficiente e sicuro. Tuttavia, sono confuso su come il sistema operativo sovrintenda al …

17 operating-systems

3

Qual è lo scopo dell'utilizzo di NIL per rappresentare nodi null?

Nel mio corso Algorithms and Data Structures , professori, diapositive e il libro ( Introduzione agli algoritmi, 3a edizione ) hanno usato la parola NILper indicare, ad esempio, un figlio di un nodo (in un albero) che non esiste. Una volta, durante una lezione, invece di dire NIL, il mio …

17 algorithms terminology data-structures notation

4

Trovare una coppia di vettori di bit non sovrapposti

Ti do un elenco di bitvector di larghezza . Il tuo obiettivo è quello di restituire due bitvector dall'elenco che non hanno 1 in comune, oppure di segnalare che non esiste tale coppia.knnnkkk Ad esempio, se ti do l'unica soluzione è . In alternativa, l'ingresso non ha soluzione. E qualsiasi …

17 algorithms search-algorithms

4

Perché il numero di consenso per test-and-set, 2?

Secondo Wikipedia , L'operazione test-and-set può risolvere il problema del consenso senza attesa per non più di due processi simultanei. Perché non può risolvere il problema per più di due processi?

17 concurrency consensus

3

Quali garanzie offrono effettivamente i sistemi operativi "soft" in tempo reale

Penso di sapere cos'è un sistema operativo in tempo reale "difficile". È un sistema operativo con uno scheduler che fornisce un contratto con il programmatore dell'applicazione. Un'applicazione fornisce una scadenza per ogni richiesta di allocazione delle risorse. Se le richieste di scadenza sono realizzabili , lo scheduler garantisce che ogni …

17 terminology operating-systems process-scheduling real-time

4

Qualcuno ha effettivamente creato un sistema che scrive i programmi per computer dalle specifiche?

Qualcuno ha mai effettivamente scritto un sistema (software o spiegazione dettagliata su carta con semplici esempi) che genera programmi per computer? Inserisco e crea un programma che elenca i numeri primi inferiori a 10. P r i m e ( x ) è semplicemente definito come 1 < x ∧ …

17 logic type-theory coq proof-assistants

3

Esiste una TM che si ferma su tutti gli input ma quella proprietà non è provabile?

Esiste una macchina di Turing che si ferma su tutti gli input ma quella proprietà non è dimostrabile per qualche motivo? Mi chiedo se questa domanda sia stata studiata. Si noti che "non dimostrabile" potrebbe significare un sistema di prova "limitato" (che nel senso debole pensa che la risposta debba …

17 computability reference-request turing-machines halting-problem

3

L'induzione del percorso è costruttiva?

Sto leggendo il libro HoTT e faccio fatica a indurre il percorso. Quando guardo il tipo nella sezione 1.12.1 : ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), non ho alcun problema a capire cosa significhi (ho appena scritto il tipo dalla memoria, per verificarlo). Ciò di cui ho problemi …

17 induction dependent-types homotopy-type-theory

8

Quali problemi di programmazione procedurale risolve in pratica OOP?

Ho studiato il libro "C ++ Demystified" . Ora ho iniziato a leggere "Programmazione orientata agli oggetti nella prima edizione Turbo C ++ (1a edizione)" di Robert Lafore. Non ho alcuna conoscenza della programmazione che vada oltre questi libri. Questo libro potrebbe essere obsoleto perché ha 20 anni. Ho l'ultima …

17 programming-languages object-oriented programming-paradigms

5

Come dimostrare che un problema NON è NP-Complete?

Esiste una tecnica generale per dimostrare che un problema NON è NP-Complete? Ho avuto questa domanda sull'esame che mi ha chiesto di mostrare se qualche problema (vedi sotto) è NP-Complete. Non riuscivo a pensare a nessuna soluzione reale, e ho appena dimostrato che era in P. Ovviamente questa non è …

17 complexity-theory np-complete proof-techniques

3

Quali sono le differenze tra visione artificiale ed elaborazione delle immagini?

Quali sono le differenze tra visione artificiale ed elaborazione delle immagini? Ad esempio, nel riconoscimento degli oggetti, quali sono i ruoli della visione artificiale e dell'elaborazione delle immagini?

17 terminology computer-vision image-processing education