• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
il chiasmo
7 risultati
Tutti i risultati [122]
Informatica [7]
Filosofia [31]
Matematica [26]
Lingua [13]
Temi generali [13]
Biografie [11]
Fisica [10]
Psicologia e psicanalisi [10]
Fisica matematica [9]
Storia del pensiero filosofico [8]

La grande scienza. Intelligenza artificiale

Storia della Scienza (2003)

La grande scienza. Intelligenza artificiale Marco Somalvico Francesco Amigoni Viola Schiaffonati Intelligenza artificiale In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di Alan Turing. L'idea alla base del progetto cibernetico è quella di ... Leggi Tutto
CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE

Intelligenza artificiale

Enciclopedia della Scienza e della Tecnica (2008)

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 [...] il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di Alan M. Turing. L’idea alla base del progetto cibernetico fu di ... Leggi Tutto
CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE
TAGS: ENCICLOPEDIA ITALIANA DI SCIENZE LETTERE ED ARTI – BELL TELEPHONE LABORATORIES – TEORIA DELLA COMPUTABILITÀ – GOTTFRIED WILHELM LEIBNIZ – SECONDA GUERRA MONDIALE
Mostra altri risultati Nascondi altri risultati su Intelligenza artificiale (8)
Mostra Tutti

logica

Dizionario delle Scienze Fisiche (1996)

logica lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] calcolatore, consentendo di cambiarne l'architettura senza modificarne la struttura. ◆ [FAF] L. proposizionale o enunciativa: si occupa dello studio dei connettivi logici che si premettono o si interpongono tra enunciati, senza analizzare all'interno ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

Informatica

Enciclopedia Italiana - VI Appendice (2000)

Informatica Giorgio Ausiello Carlo Batini Vittorio Frosini (App. IV, ii, p. 189; V, ii, p. 704) Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] anni Settanta) e delle algebre di processi (introdotte da R. Milner nello stesso periodo). Le logiche temporali sono logiche modali (di tipo proposizionale o predicativo) i cui operatori fondamentali esprimono la validità di un'asserzione p da un ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: AUTORITÀ PER L'INFORMATICA NELLA PUBBLICA AMMINISTRAZIONE – ACCESSO ABUSIVO A UN SISTEMA INFORMATICO O TELEMATICO – TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – ESERCIZIO ARBITRARIO DELLE PROPRIE RAGIONI
Mostra altri risultati Nascondi altri risultati su Informatica (12)
Mostra Tutti

Visione artificiale

Frontiere della Vita (1999)

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, [...] drawing è realizzabile. Per chi non ha familiarità con il calcolo proposizionale, conviene ricordare che una proposizione booleana è costruita a partire da un certo numero di variabili logiche Xl, ... Xn che possono assumere solo due valori, 0 e 1 ... Leggi Tutto
CATEGORIA: TEMI GENERALI – CIBERNETICA E INTELLIGENZA ARTIFICIALE

Scienza cognitiva

Enciclopedia Italiana - VI Appendice (2000)

Scienza cognitiva Antonio Rainone Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] , è dubbio che il ragionamento umano, almeno nelle situazioni più comuni, si conformi ai canoni normativi della logica classica (proposizionale e predicativa); anzi, sotto molti aspetti esso si rivela più flessibile e insieme più complesso di quanto ... Leggi Tutto
CATEGORIA: EPISTEMOLOGIA – PSICOLOGIA COGNITIVA – ANTROPOLOGIA CULTURALE – CIBERNETICA E INTELLIGENZA ARTIFICIALE
TAGS: ATTEGGIAMENTI PROPOSIZIONALI – INTELLIGENZA ARTIFICIALE – SCIENZA DEI CALCOLATORI – ELABORATORE ELETTRONICO – NEUROSCIENZA COGNITIVA
Mostra altri risultati Nascondi altri risultati su Scienza cognitiva (1)
Mostra Tutti

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] processi (introdotte da Jan Bergstra e Jan Willem Klop all'inizio degli anni Ottanta). Le logiche temporali sono logiche modali (di tipo proposizionale o predicativo), i cui operatori fondamentali esprimono la validità di un'asserzione p da un certo ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI
TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI
Vocabolario
propoṡizionale
proposizionale propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
càlcolo¹
calcolo1 càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali