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 [...] 1, perché agisce su un solo argomento ed è quindi un operatore unario, mentre and e or sono operatori binari. Gli operatori logici dell’algebra di Boole, detti anche operatori vero-funzionali, sono quelli a cui più frequentemente si fa riferimento ...
Leggi Tutto
social media monitoring
<së'ušl mìidië mònitëriṅ> locuz. sost. ingl., usata in it. al masch. – Metodologia di ricerca diffusa soprattutto nel marketing, il cui scopo è la raccolta e l’analisi degli [...] che sulla base di una specifica parola chiave – o un insieme di parole chiave o un’espressione con operatorebooleano – raccolgono i messaggi ed effettuano misurazioni dell’attività online (quantità complessiva, distribuzione nei diversi social media ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] delle sorti s₁,…,sn di Σ) e una famiglia di funzioni (in corrispondenza delle operazioni f₁,…,fm di Σ).
Esempio. Sia data la segnatura ΣNAT le cui sorti sono: {nat,bool}, le operazioni sono {zero,succ,eq} e il loro tipo è:
zero:→nat; succ:nat→nat ...
Leggi Tutto
Calcolatori
GGianfranco Bilardi e Raffaele Tripiccione
Nicola Cabibbo
Mario Rasetti
Hardware, di Gianfranco Bilardi e Raffaele Tripiccione
Calcolatori paralleli, di Nicola Cabibbo
Calcolo quantistico, [...] regola viene indicata con l'espressione 'funzione booleana' (dal nome del matematico George Boole che, nel XIX secolo, propose queste funzioni come modello delle operazioni del pensiero). Un risultato di logica matematica, emerso a cavallo tra il XIX ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] generalizzazione subì la semantica algebrica, passando dalle algebre di chiusura alle più astratte algebre di Boole con operatore non booleano, chiamate appunto algebre modali.
Il triangolo logiche-modelli-algebre si chiude con la teoria della ...
Leggi Tutto
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] di caratteri (chiamate stringhe) e il cosiddetto tipo booleano, che può assumere solo i valori vero e falso contesto inappropriato per il suo tipo (per es., eseguire un’operazione aritmetica su una variabile di tipo non numerico) genera un errore ...
Leggi Tutto
LINGUAGGI PROGRAMMATIVI
Carlo Ghezzi
I l. p. (o linguaggi di programmazione) costituiscono il mezzo linguistico tramite cui gli elaboratori possono essere programmati. Essi costituiscono pertanto lo [...] sommi una variabile intera a un carattere o un booleano. La semantica dinamica, nel caso dell'espressione precedente, C, supposto che questa non sia già completa, occorre scrivere le seguenti operazioni:
C.N_STUD:=C.N_STUD+1;
C.ALLIEVI[C.N_STUD]:=X ...
Leggi Tutto
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...