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 delprimoordine (cioè senza variabili di insiemi) della detta ...
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 [...] Herbert A. Simon in grado di dimostrare teoremi della logica delprimoordine - e di proporre una serie di obiettivi ambiziosi che dellinguaggio naturale è l'area dell'elaborazione dellinguaggio vocale: il riconoscimento e la sintesi dellinguaggio ...
Leggi Tutto
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 delprimoordine:
Le [20] ...
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 [...] Herbert A. Simon in grado di dimostrare teoremi della logica delprimoordine – e di proporre una serie di obiettivi ambiziosi che dellinguaggio naturale è l’area dell’elaborazione dellinguaggio vocale: il riconoscimento e la sintesi dellinguaggio ...
Leggi Tutto
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 delprimoordine: 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
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 delprimoordine con un operatore modale M che consente di formulare regole di forma B MB′ / B′ ('Se ...
Leggi Tutto
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 delprimoordine; pilastri e murature portanti, affiancati da colonne libere ...
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 [...] 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 delprimoordine di detta teoria, ossia a quella priva di variabili ...
Leggi Tutto
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 delprimoordine, oppure lo stesso metodo agli elementi finiti. Nel caso implicito, l'equazione [11] genererà per ogni ...
Leggi Tutto
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 delprimoordine e uno dei toni primari non potevano essere insieme che rendeva possibile la riproduzione delle varie vocali dellinguaggio umano. Un diapason, che era collocato davanti a ...
Leggi Tutto
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
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...