5calore
1risposta
Funzione Ackermann contro n loop nested
11calore
2risposta
Come determinare se una lingua è ricorsiva o enumerabile in modo ricorsivo?
14calore
6risposta
In che modo le matrici e le mappe hash sono costanti nel loro accesso?
39calore
3risposta
Perché sono in uso sia il piccolo che il big-endian?
10calore
1risposta
Per tutti l'introduzione in coq?
24calore
3risposta
Che cos'è un trasduttore di stato finito?
9calore
7risposta
La ramificazione condizionale è un requisito della completezza di Turing?
5calore
5risposta
6calore
4risposta
Ha senso per mappare una struttura di dati del grafico in un database relazionale?
13calore
2risposta
Libri per teoria del sistema di tipo iniziale