biblio toscana

In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite. In altre parole si tratta di un modello astratto che definisce una macchina in grado di eseguire algoritmi e dotata di un nastro potenzialmente infinito su cui può leggere e/o scrivere dei simboli. Introdotta nel 1936 da Alan Turing come modello di calcolo per dare risposta all'Entscheidungsproblem (problema di decisione) proposto da Hilbert nel suo programma di fondazione formalista della matematica, è un potente strumento teorico che viene largamente usato nella teoria della calcolabilità e nello studio della complessità degli algoritmi, in quanto è di notevole aiuto agli studiosi nel comprendere i limiti del calcolo meccanico; la sua importanza è tale che oggi, per definire in modo formalmente preciso la nozione di algoritmo, si tende a ricondurlo alle elaborazioni effettuabili con macchine di Turing.

L'ingegneria meccanica è un ramo dell'ingegneria che applica principi di fisica, di scienza dei materiali e di altre discipline inerenti la progettazione di componenti e sistemi meccanici. Si tratta di una delle discipline ingegneristiche più antiche e più ampie. Lo studio dell'ingegneria meccanica si è affermato in Europa a partire dalla Rivoluzione industriale del XVIII secolo, sebbene alcuni suoi aspetti fossero già noti dai tempi dell'Antica Grecia, tuttavia, il suo sviluppo può essere fatto risalire a diverse migliaia di anni fa in tutto il mondo. Nel XIX secolo, gli sviluppi della fisica portarono allo sviluppo della scienza dell'ingegneria meccanica e il campo si è continuamente evoluto per incorporare i progressi attuali; oggi gli ingegneri meccanici stanno perseguendo sviluppi in settori quali compositi, meccatronica e nanotecnologia, sovrapponendosi anche a ingegneria aerospaziale, ingegneria metallurgica, ingegneria civile, ingegneria elettrica, ingegneria manifatturiera, ingegneria chimica, ingegneria industriale e altre discipline ingegneristiche a vari livelli: gli ingegneri meccanici possono anche lavorare nel campo dell'ingegneria biomedica, in particolare con la biomeccanica, i fenomeni di trasporto, la biomeccatronica, la bionanotecnologia e la modellizzazione dei sistemi biologici.

IMA S.p.A., abbreviazione di I.M.A. Industria Macchine Automatiche, è una società italiana, a capo del Gruppo IMA, con sede a Ozzano dell'Emilia. È tra le principali aziende internazionali specializzate nel processo di confezionamento di prodotti farmaceutici, alimentari, cosmetici, tabacco, tè e caffè. IMA S.p.A. è quotata alla Borsa di Milano dal 1995 ed è nell'indice FTSE Italia STAR dal 2001, oltre che in quello FTSE Italia Mid Cap.

La direttiva macchine indica informalmente la direttiva dell'Unione europea 2006/42/CE che si applica a macchine fisse, mobili, trasportabili e di sollevamento/spostamento, anche se alcune macchine restano però escluse dal campo d'applicazione di tale direttiva.