intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] come settore autonomo; durante il convegno vennero presentati alcuni programmi capaci di comportamenti intelligenti, quale per es. il logic theorist, in grado di dimostrare teoremi di logica matematica. In una prima fase di evoluzione l’i ...
Leggi Tutto
Complesso delle risorse (terre, materie prime, energie naturali, impianti, denaro, capacità produttiva) e delle attività rivolte alla loro utilizzazione, di una regione, uno Stato, un continente, il mondo [...] da ipotesi volutamente astratte si desumessero logicamente le necessarie conseguenze, e per renderla e. accentrata per evitare sprechi. Nel contempo, elementi di programmazione si sono inseriti in misura crescente nei sistemi basati prevalentemente ...
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 [...] ) decidono di condividere e far proprie le idee e i programmi rivoluzionari. Si tratta tuttavia di un’élite: la maggior parte Tassoni (1620), la sua prima netta formulazione e sistemazione logica, e mezzo secolo più tardi metterà a rumore il campo ...
Leggi Tutto
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] che supportano; secondo la prima tassonomia si distinguono l. imperativi, funzionali e logici; possibili paradigmi sono la programmazione procedurale, quella strutturata e quella orientata agli oggetti.
I primi sviluppi dei linguaggi di ...
Leggi Tutto
Processo logico volto a realizzare un prodotto che soddisfi in modo ottimale requisiti espliciti (relativi a obiettivi e a vincoli tecnologici, di costo, tempo, qualità) vigenti nell’intero ciclo di vita [...] delle due parti hardware e software in cui l’intero dispositivo è suddiviso (hardware/ software co-design). Dispositivi logiciprogrammabili sono contenuti in quasi tutti gli apparati e sistemi digitali e sono senz’altro preferiti agli ASIC, quando ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] dimostrato la non esistenza di un piano proiettivo di ordine 10 con un programma che ha girato per molti anni (suddiviso in vari casi: per quelli . Essa mostra rinvii dalla combinatoria alla logica matematica e ai fondamenti (calcolabilità e ...
Leggi Tutto
(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali.
Cenni storici
Le origini
Il desiderio di realizzare uno strumento in grado di compiere [...] o l’unità aritmetica e logica. Questo sistema di trasferimento autonomo (canale) viene inizializzato dall’unità centrale con le informazioni di quante parole devono essere trasferite e l’indirizzo della prima; il programma del canale è in grado ...
Leggi Tutto
giòchi, teorìa dei Modello matematico per lo studio delle 'situazioni competitive', in cui cioè sono presenti più persone (o gruppi di persone, o organizzazioni) dette appunto 'giocatori', con autonoma [...] numero molto maggiore di partecipanti ma con lo stesso risultato. Programmi creati ad hoc erano in grado di battere il TfT, giocato una volta sola, sembra difficile sfuggire alla sua logica di dilemma. Ma esistono risposte diverse, non è detto ...
Leggi Tutto
Scienza dell’uomo, considerato sia come soggetto o individuo, sia in aggregati, comunità, situazioni.
A. fisica
Ramo delle scienze biologiche che studia l’umanità dal punto di vista naturalistico, cioè [...] alla loro intesa e coinvolgere fin dalla fase della programmazione le due parti, in maniera che il risultato non una parte di Y (dito è parte della mano). La prima forma logica è alla base delle tassonomie, mentre la seconda è alla base delle ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] e opere pubbliche, e in generale per valutare comparativamente programmi di spesa pubblica. Nella valutazione di progetti pubblici, successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’ ...
Leggi Tutto
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...