semantica
Silvio Bozzi
Studio delle proprietà delle teorie e dei linguaggi formali che, nella logica matematica, riguardano i rapporti tra espressioni linguistiche e loro interpretazioni. In questo [...] insiemistiche; possiamo così interpretare le teorie in categorie come i topos di prefasci o fasci ottenendo risultati che non hanno corrispettivo se ci si limita a interpretazioni puramente insiemistiche.
→ Informatica teorica; Logica matematica ...
Leggi Tutto
Stato dell’Europa meridionale, corrispondente a una delle regioni naturali europee meglio individuate, data la nettezza dei confini marittimi e di quello terrestre: la catena alpina, con la quale si collega [...] moda pullover, blue-jeans, casual; nello sport hockey, jogging, windsurf; nella gastronomia roastbeef, hamburger; nell’informatica computer, hardware, software; nei settori dello spettacolo, della pubblicità, dei mezzi di comunicazione di massa cast ...
Leggi Tutto
Matematica
Il concetto di a. è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di a. di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza [...] equipotenti e l’a. stabilisce tra gli elementi dell’uno e quelli dell’altro una corrispondenza biunivoca.
Tecnica
Nell’ingegneria informatica, un’a. è un programma o gruppo di programmi che svolge un insieme di funzioni proprie di uno specifico ...
Leggi Tutto
In senso oggettivo, il complesso di norme giuridiche, che comandano o vietano determinati comportamenti ai soggetti che ne sono destinatari, in senso soggettivo, la facoltà o pretesa, tutelata dalla legge, [...] generazione’ di d. umani, connessi all’impiego delle nuove tecnologie soprattutto nel campo della genetica e dell’informatica. Tale classificazione ha carattere descrittivo e non indica una gerarchia, in quanto i d. umani riconosciuti a livello ...
Leggi Tutto
Città degli USA (2.836.658 ab. nel 2007), nello Stato dell’Illinois, la terza della federazione per popolazione dopo New York e Los Angeles. È situata a 180 m s.l.m. all’estremità sud-occidentale del Lago [...] , alimentare, chimico, tessile e dell’abbigliamento, e soprattutto editoriale) a quelli più moderni e innovativi (elettronica, informatica, high-tech). In fortissima espansione è il comparto dei servizi, nel quale, accanto alle attività commerciali ...
Leggi Tutto
Astronomia
Arco di cerchio massimo che congiunge due stelle sulla volta celeste. Il metodo degli a. serve per individuare e riconoscere una stella che si trova sul prolungamento di un a. determinato da [...] economica, è l’armonizzazione delle norme tributarie, dei criteri distributivi e della pressione fiscale in due o più paesi.
Informatica
Si definisce a. di componenti l’insieme dei procedimenti di configurazione hardware e software che nei sistemi ...
Leggi Tutto
circùito integrato Circuito realizzato con un unico procedimento fisico-chimico, che consente di ottenere una elevata densità dei componenti in dimensioni molto ridotte. Il c.i. può essere di tipo elettrico, [...] un balzo in avanti, e non solo nei campi tradizionali di applicazione dei circuiti, quali le telecomunicazioni e l'informatica. In pratica, molte delle più significative realizzazioni tecniche attuali non sarebbero state possibili senza il salto di ...
Leggi Tutto
Digitale indica, in generale, una rappresentazione dell'informazione di tipo discreto o numerico, risultato di un processo algoritmico effettuato da un computer, la cui funzione può essere quella di creare [...] protagonista umano K. Dullea. Il forte impatto estetico del film di Kubrick contribuì ad avviare il dibattito su arte e informatica. Nel 1975 G. Lucas fondò la ILM (Industrial Light and Magic), una pietra miliare nel progresso degli effetti speciali ...
Leggi Tutto
Chimica bioinorganica
Claudio Luchinat
SOMMARIO: 1. Premesse storiche. 2. La chimica inorganica della vita. 3. I metalli negli esseri viventi. 4. Metalloproteine. 5. Metalloenzimi. 6. Metalli e acidi [...] da un lato (v. chimica: Analisi chimica strumentale, vol. VIII; v. molecole: Metodi di indagine strutturale, vol. IV), e l'informatica dall'altro. In entrambi i casi, tale sviluppo è principalmente legato a quello dell'elettronica, che ha permesso il ...
Leggi Tutto
Nuovi diritti e globalizzazione
Danilo Zolo
La nozione di nuovi diritti
L’espressione nuovi diritti o nuovi diritti umani è di uso recente. Denota, sia pure al di fuori di una tassonomia rigorosa, i [...] più delicata, quella della autonomia intellettuale dei cittadini.
Come è noto, i più recenti sviluppi della tecnologia informatica vengono esaltati, non solo nel mondo del business multimediale, come l’avvento della comunicazione interattiva. È ormai ...
Leggi Tutto
informatica
informàtica s. f. [dal fr. informatique, comp. di informat(ion) e (automat)ique «informazione automatica», termine coniato da Ph. Dreyfus (1962)]. – L’insieme dei varî aspetti scientifici e tecnici che sono specificamente applicati...
informatico
informàtico agg. e s. m. [der. di informatica, per traduz. del fr. informatique come agg. e informaticien come sost.] (pl. m. -ci). – 1. agg. Relativo all’informatica: procedimenti, sistemi, mezzi i.; trattamento i. dei dati; documento...