Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] di tale tipo sono la risolubilità di un sistema di equazioni lineari a variabili intere, la soddisfacibilità di un'espressionebooleana, il problema dello scheduling (decidere se si può allocare un insieme di lavori su più macchine in modo da ...
Leggi Tutto
operatore logico
operatore logico in un’algebra di → Boole, sinonimo di operazione su variabili booleane. Gli operatori logici fondamentali sono gli operatori and, per il prodotto logico, or, per la [...] introduzione di operatori di necessità e possibilità – rispettivamente indicati con ☐ (detto box) e ◊ (detto diamond) – permette di formalizzare espressioni in cui ci si spinge a indagare le modalità con cui esse sono vere o false. Essi rientrano tra ...
Leggi Tutto
query
query in informatica, istruzione che permette l’accesso ai dati contenuti in un database attraverso una opportuna ricerca (da cui il nome in inglese). La query è scritta in un particolare linguaggio [...] i dati (record) del database usando opportuni comandi. Normalmente, per raffinare la ricerca si usano espressioni logiche in cui sono presenti le operazioni booleane and, or, not (→ Boole, algebra di). L’output della query, a meno che non venga ...
Leggi Tutto