Luigi Viola
La giurimetria si occupa dell’utilizzo del metodo scientifico per affrontare problemi giuridici, così da rafforzare certezza del diritto e prevedibilità della decisione, unitamente alla [...] in Riv. dir. ind., 2018, 421).
Alla logica booleana si è affiancata l’intelligenza artificiale (Fiammella, B., Intelligenza Giur. it., 2019, 1657; Stilo, L., Dall’algebra di Boole all’informatica moderna passando attraverso la capacità di ...
Leggi Tutto
algoritmo di ricerca
algoritmo di ricerca algoritmo il cui obiettivo è la ricerca di un elemento specifico in una lista composta da numerosi elementi. Esempi elementari di ricerche possono essere la [...] di un campo dà come risultato un insieme di record, l’algoritmo di ricerca dovrà utilizzare le operazioni booleane (→ Boole, algebra di) per perfezionare la ricerca, operando i confronti opportuni. Per esempio, la query al programma di ricerca per ...
Leggi Tutto
minimizzazione
minimizzazione in generale, processo di riduzione al minimo. Il termine è usato in logica classica per indicare la possibilità di introdurre un sistema minimo di connettivi, da cui ricavare [...] spesso indicato con ↓ (→ enunciati, linguaggio degli). Sempre in logica si parla di minimizzazione di una espressione booleana, cioè di una espressione dell’algebra di Boole, per indicare la sua scrittura più sintetica. Per minimizzare un’espressione ...
Leggi Tutto
variabile booleana
variabile booleana variabile che può assumere solo uno di due valori, generalmente indicati con 1 e 0. Questi due valori numerici corrispondono rispettivamente ai valori di verità [...] di un enunciato: vero o falso (→ Boole, algebra di). ...
Leggi Tutto