L'Io cosciente: una visione neuroeuristica della mente
Alessandro E.P. Villa
(Laboratoire de Neuro-heuristique, Institut de Physiologie, Université de Lausanne, Losanna, Svizzera)
John G. Taylor
(Centre [...] che il cervello compie. Si capisce che stiamo proponendo un programma di lavoro per il futuro, ma torniamo ora al complessità tale da non poter essere facilmente descritta in termini matematici o logici. Per questo motivo non ci sembra possibile ...
Leggi Tutto
La grande scienza. Imaging diagnostico computerizzato
Marco Salvatore
Arturo Brunetti
Imaging diagnostico computerizzato
Attualmente vengono utilizzate diverse tecniche e svariati approcci fisici per [...] questa radiazione 'sconosciuta' raggi X (in quanto in matematica 'X' indica una quantità sconosciuta). Quando lo scienziato (Goodman 1998; Ashcroft e Goddard 2000).
Imaging e programmazione della terapia
I dati di imaging sono stati sempre ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] Sessanta del secolo scorso, e la maggior parte delle più prestigiose università ha definito programmi di studio comprendenti corsi di matematica, fisica e ingegneria elettronica soltanto nei primi anni Settanta. Benché considerata scienza piuttosto ...
Leggi Tutto
Reti neurali
100.000.000.000 neuroni, 700.000.000.000.000 sinapsi per costruire un pensiero
Modelli interpretativi dei circuiti neuronali
diPaolo Del Giudice
13 luglio
Al Dartmouth College, nel New Hampshire, [...] è forse corretto dire che un modello è una metafora (matematica, meccanica o altro) del sistema in esame; si può ancora al di là delle capacità degli strumenti di calcolo programmabili (è tipico il caso del riconoscimento visivo in situazioni ...
Leggi Tutto
Cognitivi, processi
Domenico Parisi
La psicologia cognitiva
Il termine 'cognitivo', benché derivato originariamente dal latino, è stato importato nella letteratura scientifica italiana dalla lingua [...] comportano i fenomeni che si vogliono studiare e capire. Nel programma è incorporata una teoria o modello dei fenomeni, e il verbalmente o con altri mezzi simbolici (vari simbolismi, la matematica, ecc.) i concetti e i meccanismi con cui descrivere ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] agli strumenti di comunicazione, ha però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni fermarsi mai (come ben sanno i programmatori: ogni programmatore ha scritto un programma che entra in un loop).
Un ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] di base, sia già esistenti (per es., la logica matematica), sia del tutto nuove (come la teoria dei problemi). Nel stati. Nel 1997, per la prima volta nella storia, un programma sviluppato dalla IBM (Deep blue) ha sconfitto il campione del mondo ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] la logica temporale, che è applicata alla verifica dei programmi.
Parole infinite e alberi
Il lavoro di Büchi ha parole sturmiane hanno una lunga storia, che risale al matematico e astronomo Johann Bernoulli III. Una loro definizione equivalente ...
Leggi Tutto
Banche dati e basi di dati
Guido M. Rey
Introduzione: banche dati e basi di dati
I termini 'banca di dati' e 'base di dati' sono entrati nell'uso corrente per indicare un sistema di dati memorizzati [...] i dati; a tal fine vengono utilizzati i vari linguaggi di programmazione messi a disposizione dal Sistema di Gestione.
Sistemi di Gestione di ingegneria, intelligenza artificiale, linguistica, matematica, meccanica quantistica, medicina, pedagogia, ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] 'efficienza di un algoritmo è l'espressione matematica del tempo che esso richiede in funzione della V[1],…,V[n])=true then accetta)
else SAT(k+1)
Poiché il programma costruisce 2n configurazioni binarie di n elementi, e per ognuna di essi esegue un ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
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...