INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] di dati end-to-end attraverso una rete, ed è operativo solo negli end-systems. Il controllo del flusso del TCP luogo un ricco insieme di strutture di controllo per definire la logica secondo la quale l'algoritmo evolve (per esempio i concetti ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] C(W) il tasso di cooperazione tra sinapsi vicine. L'operatore lineare B è dato da:
formula. [46]
Si può notare Come abbiamo già visto, unità semplici di questo tipo possono valutare solo funzioni logiche semplici, come X AND y, X OR y, e NOT x. ...
Leggi Tutto
Calcolatori
LLew Kowarski
di Lew Kowarski
SOMMARIO: 1. Definizioni e storia: a) i calcolatori come dispositivi numerici; b) i calcolatori come dispositivi elettronici; c) stadi dello sviluppo storico. [...] obbligato a pensare in termini di connessioni e supporti di dati relativamente poco maneggevoli. Per un tipo di operazionilogiche più elementari, come l'ordinamento di un gran numero di dati disordinati, la soluzione meccanica o elettromeccanica si ...
Leggi Tutto
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] . La 'fisica' che l'evoluzione digitale sperimenta nell' ambiente dell'elaboratore consiste nell'insieme delle operazionilogiche svolte dal processore, nella topologia (non euclidea) caratteristica della memoria, nelle regole per la distribuzione ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] assumere solo due valori, 0 e 1 ('falso' e 'vero'), e sulle quali sono ammesse le operazioni di negazione logica, rappresentata da una barra sulla variabile (x̄=1 se e solo se x=0), di somma logica (x+y=1 se e solo se x=1 oppure y=1) e di prodotto ...
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. [...] . Dai lavori di Kurt Gödel degli anni Trenta era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò lasciava aperta la ricerca di sottoteorie decidibili. Un primo risultato era stato ottenuto da Thomas Pressburger ...
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 [...] teorie di base, sia già esistenti (per es., la logica matematica), sia del tutto nuove (come la teoria dei degli stati finali f appartenenti a F. X[P] è pertanto una sequenza finita di operatori legali: ⟨g1,g2,…,gk⟩ tale che:
i =s0→g1→s1→g2→s2→…→gk→sk ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di uno degli stati finali f appartenenti a F. X[P] è pertanto una sequenza finita di operatori legali: ≈g1,g2,…,gk ≅ tale che:
[1] i= s0 g1→ s1 g2→ s2 ...
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 [...] formale. Dai lavori di Kurt Gödel degli anni Trenta del Novecento era noto che la teoria logica degli interi con le operazioni + e × è indecidibile; ciò lasciava aperta la ricerca di sottoteorie decidibili. Un primo risultato fu ottenuto da Thomas ...
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 [...] le tuple i cui valori soddisfino determinate condizioni (a loro volta connesse dagli operatorilogici AND, OR, NOT): in sostanza, applicare questo operatore equivale a definire un sottoinsieme orizzontale della relazione considerata. Ad esempio, la ...
Leggi Tutto
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di incantesimi; o. d’inganni; e ant. con il...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...