• 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
atlante
il chiasmo
lingua italiana
1591 risultati
Tutti i risultati [1591]
Biografie [414]
Storia [349]
Diritto [220]
Religioni [134]
Geografia [87]
Medicina [101]
Economia [95]
Diritto civile [82]
Arti visive [73]
Biologia [63]

problema dell'arresto

Enciclopedia della Scienza e della Tecnica (2008)

problema dell’arresto Fabrizio Luccio Primo esempio di problema indecidibile, cioè che non ammette alcun algoritmo di risoluzione. Il problema dell’arresto nacque nel 1936, sulla base di studi sugli [...] quel secolo, tra cui la macchina dello stesso autore. In modo informale il problema può essere così formulato: presi arbitrariamente se la computazione A(D) si arresta anch’essa in tempo finito (ARR(A,D)=true), o non si arresta mai (ARR(A, D)=false). ... Leggi Tutto
CATEGORIA: PROGRAMMAZIONE E PROGRAMMI
TAGS: ALAN TURING – ALGORITMO

INFORMATICA

Enciclopedia Italiana - IV Appendice (1979)

INFORMATICA Paolo Ercoli Alberto Marini Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] Turing detta "universale" in grado di simulare il comportamento di ogni altra macchina consente di mostrare che il problema dell'arresto di una macchina di Turing non è decidibile con alcun procedimento effettivo. In conseguenza di questo è chiarita ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – TEORIA DELL'OTTIMIZZAZIONE – TEORIA DELLA COMPUTABILITÀ – ELABORATORE ELETTRONICO – PROBLEMA DELL'ARRESTO
Mostra altri risultati Nascondi altri risultati su INFORMATICA (12)
Mostra Tutti

Neoplasie

Enciclopedia del Novecento (1979)

Neoplasie FFrancesco Squartini e Luigi Califano di Francesco Squartini e Luigi Califano NEOPLASIE Oncologia umana di Francesco Squartini sommario: 1. Introduzione. 2. Epidemiologia e frequenza: a) i [...] di canali di trasferimento, costituiscono perciò l'unica grande via di metastatizzazione per la quale il problema dell'arresto dei frustoli neoplastici circolanti assuma rilevanza e concretezza tali da consentire e indurre a studi più razionali ... Leggi Tutto
CATEGORIA: BIOCHIMICA – PATOLOGIA
TAGS: SCLEROSI LATERALE AMIOTROFICA – PREMIO NOBEL PER LA MEDICINA – CARCINOMA A CELLULE SQUAMOSE – CHEMIOTERAPIA ANTIBLASTICA – SINDROMI PARANEOPLASTICHE
Mostra altri risultati Nascondi altri risultati su Neoplasie (18)
Mostra Tutti

Computazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

Computazione, teoria della Fabrizio Luccio La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] un programma arbitrario se questo terminerà la sua computazione o entrerà in un ciclo infinito. L'indecidibilità del problema dell'arresto Pa dimostra che tale filtro non può esistere. Sarebbe inoltre importante poter stabilire se due programmi A1 e ... Leggi Tutto
CATEGORIA: ANALISI MATEMATICA
TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

DISCRETO E CONTINUO

XXI Secolo (2010)

Discreto e continuo Paolo Zellini Matematica e intuizione La matematica ha sempre cercato di stabilire un nesso tra il continuo e il discreto, il primo esemplificato, tipicamente, nelle figure dello [...] variano sui reali, e il campo reale è pure il dominio a cui appartiene il dato in uscita. Il classico problema dell’arresto di Turing (esistenza di una procedura che ci informi se una qualsiasi macchina di Turing, con un sistema di dati iniziali ... Leggi Tutto

Fondamenti della matematicae teoria algoritmica dell'informazione

Enciclopedia della Scienza e della Tecnica (2007)

Fondamenti della matematica e teoria algoritmica dell'informazione Gregory J. Chaitin Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] R*. Si noti che chiedersi se l'N-simo programma fornirà mai un'N-sima cifra è un caso particolare del problema dell'arresto, cioè il problema di determinare a priori se un programma per computer si fermerà o no (in assenza di limiti di tempo per la ... Leggi Tutto
CATEGORIA: LOGICA MATEMATICA

arrèsto

Dizionario delle Scienze Fisiche (1996)

arresto arrèsto [Der. del lat. arrestare "fermare", comp. di ad- e restare] [LSF] Atto ed effetto del fermare, del contrastare; talora, sinon. di interdizione. ◆ [MCF] Altezza, o quota di a.: uno dei [...] il range che quelle particelle avrebbero in aria in condizioni normali e quello che esse hanno nel materiale considerato. ◆ [INF] Problema dell'a.: v. algoritmi, teoria degli: I 102 a. ◆ [PRB] Tempo di a. predicibile: v. processi di punto: IV 601 a ... Leggi Tutto
CATEGORIA: ELETTROLOGIA – FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – MECCANICA DEI FLUIDI – TEMI GENERALI – STATISTICA E CALCOLO DELLE PROBABILITA – ELETTRONICA
Mostra altri risultati Nascondi altri risultati su arrèsto (3)
Mostra Tutti

Italia

Enciclopedia on line

Stato dell’Europa meridionale, corrispondente a una delle regioni naturali europee meglio individuate, data la nettezza dei confini marittimi e di quello terrestre: la catena alpina, con la quale si collega [...] del ducato di Milano, con Filippo Maria Visconti, non arresta questo processo espansionistico. Alleatasi con Firenze, il papa ritmico, più che della resa estrema della tecnica costruttiva. Al problema della facciata delle cattedrali diedero un ... Leggi Tutto
CATEGORIA: ARTE E ARCHITETTURA PER CONTINENTI E PAESI – LETTERATURE PER CONTINENTI E PAESI – MUSICA PER CONTINENTI E PAESI – EUROPA – GEOGRAFIA UMANA ED ECONOMICA – ITALIA – GEOLOGIA PER REGIONI E PAESI – STORIA PER CONTINENTI E PAESI
TAGS: ORDINE MILITARE DEI CAVALIERI DI SANTO STEFANO – MILIZIA VOLONTARIA PER LA SICUREZZA NAZIONALE – SCELTA CIVICA – CON MONTI PER L’ITALIA – COSTITUZIONE DELLA REPUBBLICA ITALIANA – CAMERA DEI FASCI E DELLE CORPORAZIONI
Mostra altri risultati Nascondi altri risultati su Italia (22)
Mostra Tutti

Grecia

Enciclopedia on line

Stato dell’Europa meridionale, comprendente la parte inferiore della Penisola Balcanica, gli arcipelaghi delle Ionie e dell’Egeo e l’isola di Creta. Confina a NO con l’Albania, a N con Repubblica della [...] controllo della situazione con l’aiuto dell’esercito fallì e Costantino fuggì in esilio. Stroncata ogni opposizione con l’arresto di Efeso che trattarono tutti il problema dell’origine e della costituzione dell’Universo. Dalla Ionia la filosofia si ... Leggi Tutto
CATEGORIA: ARTE E ARCHITETTURA PER CONTINENTI E PAESI – CINEMATOGRAFIE NAZIONALI – STORIA DEL CINEMA – LETTERATURE PER CONTINENTI E PAESI – LINGUE E DIALETTI NEL MONDO – MUSICA PER CONTINENTI E PAESI – EUROPA – GEOGRAFIA UMANA ED ECONOMICA – DIRITTO CIVILE – STORIA E FILOSOFIA DEL DIRITTO – STORIA ANTICA
TAGS: UNIONE ECONOMICA E MONETARIA EUROPEA – ASSEMBLEA NAZIONALE COSTITUENTE – FONDO MONETARIO INTERNAZIONALE – ERMESIANATTE DI COLOFONE – DIONISIO DI ALICARNASSO
Mostra altri risultati Nascondi altri risultati su Grecia (19)
Mostra Tutti

Germania

Enciclopedia on line

Stato dell’Europa centrale, confina a N con la Danimarca, a E con la Polonia e la Repubblica Ceca, a SE e a S con l’Austria, a SO e a O con  la Francia, la Svizzera il Belgio e il Lussemburgo, a NO con [...] . L’aspirazione della Prussia a porsi come artefice dell’unità tedesca subì una battuta d’arresto nel compromesso di affronta la difficile situazione della ex RDT alle prese col problema dell’immigrazione dai paesi dell’Est europeo. La storia ... Leggi Tutto
CATEGORIA: EUROPA – LINGUE E DIALETTI NEL MONDO – STORIA PER CONTINENTI E PAESI – MUSICA PER CONTINENTI E PAESI – GEOGRAFIA UMANA ED ECONOMICA – LETTERATURE PER CONTINENTI E PAESI
TAGS: PARTITO SOCIALISTA UNIFICATO DI GERMANIA – CULTURA DEL BICCHIERE CAMPANIFORME – RENANIA SETTENTRIONALE-VESTFALIA – ASSEMBLEA NAZIONALE COSTITUENTE – CORRADO III DI HOHENSTAUFEN
Mostra altri risultati Nascondi altri risultati su Germania (18)
Mostra Tutti
1 2 3 4 5 6 7 8 ... 160
Vocabolario
Tribute band
tribute band loc. s.le f. Gruppo che ripropone brani di un altro gruppo o artista molto famoso, cercando di riprodurne pedissequamente lo stile musicale e di imitarne il modo di stare sulla scena, di atteggiarsi e di vestire. ♦ Festa in libreria,...
piède
piede piède s. m. [lat. pes pĕdis, voce di origine indoeuropea]. – 1. a. Nell’anatomia dei vertebrati, l’ultimo segmento dell’arto posteriore dei tetrapodi (detto più propriam., in anatomia comparata, autopodio); comprende tre gruppi di ossa,...
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