La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] cui si possa chiedere aiuto durante un calcolo. Tale idea si può pensare come un'astrazione del processo interattivo uomo-macchina, in cui il computer ha la possibilità di demandare certe scelte al programmatore: tale possibilità è utile quando, per ...
Leggi Tutto
refrigerazione
refrigerazióne [Der. del lat. refrigeratio -onis, dal part. pass. refrigeratus di refrigerare (→ refrigerante)] [FTC] [TRM] Processo per sottrarre calore da un corpo che debba essere mantenuto [...] di quella ambiente: v. refrigerazione. ◆ [FTC] Impianto di r.: detto comunem. impianto frigorifero, è tipic. costituito da una macchina frigorifera nella quale un fluido refrigerante passa dallo stato liquido a quello di vapore in uno scambiatore di ...
Leggi Tutto
autoregolazione
autoregolazióne [Comp. di auto- e regolazione] [FTC] Regolazione automatica, spontanea, soprattutto con rifer. ad apparecchi, dispositivi, processi, impianti, ecc.; in partic.: (a) a. [...] che agisce all'istante opportuno; (b) a. intrinseca, quando è strettamente dipendente dalle caratteristiche di funzionamento della macchina o dell'apparecchio, e si compie perciò indipendentemente dall'intervento di qualsiasi apposito dispositivo. ...
Leggi Tutto
Informatica
Processo inverso
(reverse engineering) L’attività di analisi di un prodotto (hardware e/o software) e, più in generale, di un dispositivo, ottenuto mediante ingegnerizzazione, al fine di individuarne [...] interno e ricostruirne il progetto che ne era alla base. Per es., il reverse engineering del codice in linguaggio macchina di un programma permette di riottenere un codice sorgente corrispondente a esso (cioè un codice sorgente che, se compilato ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] da 14.24(λ/μ)n2B−s, ove λ e μ sono gli autovalori massimo e minimo, rispettivamente, di A e la macchina esegue le operazioni aritmetiche in base B con s cifre significative. Non si comprese subito tutto il significato e l'importanza del rapporto ...
Leggi Tutto
indotto
indótto [agg. e s.m. Part. pass. di indurre, der. del lat. inducere, comp. di in- e ducere "condurre"] [LSF] Di fatto o fenomeno che non abbia la sua causa nell'oggetto medesimo in cui si manifesta, [...] III 506 f. ◆ [ALG] Fibrato i.: v. fibrati: II 571 a. ◆ [FTC] [EMG] Reazione d'i.: in una macchina elettrica generatrice (alternatore, dinamo), il complesso delle azioni prodotte dal campo magnetico delle correnti nell'i., che hanno carattere reattivo ...
Leggi Tutto
Watt James
Watt 〈uòt〉 James [STF] (Greenock 1736 - Heathfield, Birmingham 1819). ◆ [TRM] Diagramma di W.: il diagramma delle isoterme di un gas perfetto nel piano pressione-volume, le quali sono rami [...] equilatera. ◆ [ANM] Regolatore centrifugo di W.: meccanismo che permette di mantenere automaticamente costante la velocità di rotazione dell'albero di una macchina a vapore. È il prototipo di controllo automatico: v. controllo, teoria del I 748 b. ...
Leggi Tutto
ruota
ruòta [Der. del lat. rota] [LSF] Disco che può girare intorno a un asse passante per il suo centro e ortogonale al suo piano, usato, con molte varianti, per vari scopi, spec. come organo della [...] trasformazione di moto, ecc.). ◆ [MCC] Sinon. di rotore, quando costituisce la parte caratterizzante di una macchina, come, per es., nelle turbine e nelle macchine elettriche (in quest'ultimo caso, anche r. polare). ◆ [STF] [ELT] R. a, o di, specchi ...
Leggi Tutto
utensile
utensìle (meno comune utènsile) [s.m. uso sostantivato dell'agg. precedente: già in lat. esisteva il pl. neutro sostantivato utensilia "cose utili spec. per la vita domestica, utensili" e su [...] [FTC] [MCC] Denomin. generica di arnese, di varia forma, dimensione e materia, che, usato manualmente o applicato a una macchina, serve ad asportare o incidere il materiale (legno, metalli, pietre, ecc.) dei pezzi in lavorazione, o anche a imprimervi ...
Leggi Tutto
Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] H.B. Curry. Dall’altro si cerca di caratterizzare in modo astratto il procedimento di calcolo. Si hanno in questo modo la teoria delle macchine di A. Turing, la teoria degli a. normali di A.A. Markov, e i sistemi di produzioni di E.L. Post. L’aspetto ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
macchinare
v. tr. [dal lat. machinari, der. di machĭna nel senso di «macchinazione, inganno»; nel sign. 2, der. di macchina] (io màcchino, ecc.). – 1. Ordire, preparare, tramare, a danno di altri: m. insidie; m. la morte, la rovina di qualcuno;...