• 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
sinonimi
atlante
il chiasmo
Le parole valgono
lingua italiana
3861 risultati
Tutti i risultati [3861]
Biografie [721]
Arti visive [535]
Storia [323]
Temi generali [300]
Diritto [308]
Religioni [248]
Letteratura [253]
Filosofia [206]
Scienze demo-etno-antropologiche [193]
Matematica [184]

La grande scienza. Automi e linguaggi formali

Storia della Scienza (2003)

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. [...] di altre classi di teorie logiche. Una delle prime motivazioni per lo studio dei linguaggi star-free è stata l'osservazione fatta da Robert McNaughton che essi corrispondono alla parte del primo ordine (cioè senza variabili di insiemi) della detta ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA – CIBERNETICA E INTELLIGENZA ARTIFICIALE

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 [...] Herbert A. Simon in grado di dimostrare teoremi della logica del primo ordine - e di proporre una serie di obiettivi ambiziosi che del linguaggio naturale è l'area dell'elaborazione del linguaggio vocale: il riconoscimento e la sintesi del linguaggio ... Leggi Tutto
CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE

L'Ottocento: fisica. Meccanica dei continui e dei sistemi discreti

Storia della Scienza (2003)

L'Ottocento: fisica. Meccanica dei continui e dei sistemi discreti Craig G. Fraser Meccanica dei continui e dei sistemi discreti Origine dei concetti di sforzo e di deformazione La teoria matematica [...] ancora introdotto questo linguaggio, né le relative teorie" (1990, II, p. 1009). Considerando le 'origini' del principio di sforzo, le n equazioni lagrangiane del secondo ordine [11] sono equivalenti alle 2n equazioni del primo ordine: Le [20] ... Leggi Tutto
CATEGORIA: STORIA DELLA FISICA

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 [...] Herbert A. Simon in grado di dimostrare teoremi della logica del primo ordine – e di proporre una serie di obiettivi ambiziosi che del linguaggio naturale è l’area dell’elaborazione del linguaggio vocale: il riconoscimento e la sintesi del linguaggio ... 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

La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale Jeremy Gray Geometria differenziale La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] descrizione è corretta solamente fino a un'approssimazione del primo ordine: occorre tener conto di effetti minori dovuti a portato a esprimere le proprie idee sulla gravità nel linguaggio della curvatura di una varietà quadridimensionale. Mentre la ... Leggi Tutto
CATEGORIA: GEOMETRIA – STORIA DELLA MATEMATICA

Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] l'inferenza non-monotòna in vari modi, due dei quali hanno suscitato un certo interesse. Il primo consiste nell'estendere il linguaggio della logica del primo ordine con un operatore modale M che consente di formulare regole di forma B MB′ / B′ ('Se ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA
TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

GUARINI, Guarino

Dizionario Biografico degli Italiani (2003)

GUARINI, Guarino Nicoletta Marconi Figlio di Raimondo ed Eugenia Marescotti, nacque a Modena il 17 genn. 1624. La casa paterna, sul corso Canal Grande di Modena, sorgeva in adiacenza alla casa dei chierici [...] , nella codificazione di un personalissimo linguaggio architettonico, volutamente autonomo e criticamente distante dell'impianto è replicata in alzato dalla potente cornice del primo ordine; pilastri e murature portanti, affiancati da colonne libere ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: MARIA GIOVANNA BATTISTA DI SAVOIA NEMOURS – JACOPO BAROZZI DA VIGNOLA – BERNARDO ANTONIO VITTONE – AMEDEO DI CASTELLAMONTE – CARLO DI CASTELLAMONTE
Mostra altri risultati Nascondi altri risultati su GUARINI, Guarino (3)
Mostra Tutti

Automi e linguaggi formali

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] di altre classi di teorie logiche. Una delle prime motivazioni per lo studio dei linguaggi star-free è stata l'osservazione da parte di McNaughton che essi corrispondono alla parte del primo ordine di detta teoria, ossia a quella priva di variabili ... Leggi Tutto
CATEGORIA: TEMI GENERALI
TAGS: LINGUAGGIO LIBERO DAL CONTESTO – SISTEMI DI EQUAZIONI LINEARI – LINGUAGGIO DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – RELAZIONE DI EQUIVALENZA

Computazionali, metodi

Enciclopedia della Scienza e della Tecnica (2007)

Computazionali, metodi Alfio Quarteroni I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] esempio schemi alle differenze finite (esplicite o implicite) come visto sopra nel trattamento di equazioni differenziali ordinarie del primo ordine, oppure lo stesso metodo agli elementi finiti. Nel caso implicito, l'equazione [11] genererà per ogni ... Leggi Tutto
CATEGORIA: MATEMATICA APPLICATA
TAGS: FORMULA FONDAMENTALE DEL CALCOLO INTEGRALE – EQUAZIONE DIFFERENZIALE ORDINARIA – EQUAZIONI ALLE DERIVATE PARZIALI – SISTEMA DI EQUAZIONI, LINEARI – METODO DEGLI ELEMENTI FINITI

L'Ottocento: fisica. L'acustica

Storia della Scienza (2003)

L'Ottocento: fisica. L'acustica Dieter Ullmann Myles W. Jackson L'acustica Acustica fisiologica: Helmholtz di Dieter Ullmann Hermann von Helmholtz (1821-1894), uno dei massimi scienziati del XIX sec., [...] ciò significava nello stesso tempo che il tono differenza del primo ordine e uno dei toni primari non potevano essere insieme che rendeva possibile la riproduzione delle varie vocali del linguaggio umano. Un diapason, che era collocato davanti a ... Leggi Tutto
CATEGORIA: ACUSTICA – STORIA DELLA FISICA
1 2 3 4 5 6 7 8 ... 387
Vocabolario
ordine
ordine órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
ordinare
ordinare v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...
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