LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] P, si dice che x è una variabile libera di P. L'insieme delle variabili libere di P si indica con VL(P).
Il risultato [N a con qualche termine già occorrente nel ramo si ottiene un ramo chiuso. Ciò è illustrato dal seguente albero che mostra che ¬A(n ...
Leggi Tutto
Simulazione del reale
Paolo Leoncini
La simulazione del mondo fisico, nota oggi come realtà virtuale, è un ambito tecnico-scientifico in cui, avvalendosi dell’informatica, dell’interfaccia uomo-macchina [...] più schermi piani affiancati per offrire continuità dell’immagine, o chiusi intorno agli spettatori come le pareti di una stanza, o del costo/ora di manodopera specializzata. Nel caso di insiemi complessi come, per es., quelli aeronautici, navali, ...
Leggi Tutto
chiuso1
chiuso1 agg. [part. pass. di chiudere]. – 1. Ha tutti gli usi e le varie accezioni di chiudere: tenere la porta ch.; starsene ch. in casa; lo stabilimento rimarrà ch. tutto il mese; ch. per lutto di famiglia; le iscrizioni sono già...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...