regola-di-inferenza: documenti, foto e citazioni nell'Enciclopedia Treccani

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] proprietà φ. Gli assiomi e le regole di inferenza delle teorie logiche della programmazione contengono, oltre agli assiomi e alle regole di inferenza delle logiche del prim'ordine, assiomi e regole che stabiliscono relazioni tra programmi e proprietà ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

Scienza greco-romana. Scetticismo e critica della conoscenza scientifica

Storia della Scienza (2001)

Scienza greco-romana. Scetticismo e critica della conoscenza scientifica Jim R. Hankinson Scetticismo e critica della conoscenza scientifica Con le sue riflessioni sui limiti della conoscenza umana, [...] dalle regole formali di una scienza tecnica (Adversus mathematicos, I, 172, 176-95), così come la capacità propria di alcuni di parlare qui le pretese dei dogmatici di progredire, attraverso sicuri modi di inferenza, dai fenomeni alla comprensione del ... Leggi Tutto

CATEGORIA: EPISTEMOLOGIA – STORIA DEL PENSIERO FILOSOFICO

La scienza bizantina e latina. Introduzione

Storia della Scienza (2001)

La scienza bizantina e latina. Introduzione John D. North Introduzione Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] l'esibizione con misure estreme che andavano al di là delle regole di una civile discussione. La filosofia della Natura rimase tipi di inferenza. Vi era un altro stile di pensiero, tuttavia, che era diviso dalle scienze da una linea di demarcazione ... Leggi Tutto

CATEGORIA: STORIA DELL ASTRONOMIA – STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO

BIOINFORMATICA

XXI Secolo (2010)

Bioinformatica Sergio Nasi La bioinformatica, che ha per oggetto la gestione e l’analisi dell’informazione biomedica attraverso i computer, si è sviluppata grandemente sotto l’impulso del Programma [...] biologiche. Un software di inferenza di reti basato su criteri bayesiani è Genomica, volto a identificare moduli regolativi dai dati di espressione genica. La procedura identifica i moduli di geni coregolati, i loro regolatori e le condizioni nelle ... Leggi Tutto

Prova giuridica

Enciclopedia delle scienze sociali (1997)

Prova giuridica Michele Taruffo Prova e prova giuridica Accade nel diritto e in particolare nel processo, come in altri campi d'esperienza, che una decisione debba essere presa sulla base di fatti. [...] relativa a un fatto principale si possa conseguire per via di inferenze derivate da altri fatti, che non sono 'giuridici' ma ". Come si dice comunemente, questo principio opera come 'regola di giudizio' quando appunto si constata che manca la prova ... Leggi Tutto

CATEGORIA: DIRITTO PROCESSUALE

SCIENZA E PROCESSO

XXI Secolo (2009)

Scienza e processo Michele Taruffo La scienza nel processo Il ricorso alla scienza per accertare i fatti nell’ambito del processo, civile e penale, è un fenomeno che risale indietro nel tempo. È dovuto [...] di derivarne la conoscenza per via di inferenze deduttive o quasi deduttive, ma forniscono piuttosto modelli di interpretazione o di valutazione di e sgg.). Vale comunque la pena di far capo a una regola di prudenza, secondo la quale non bisogna ... Leggi Tutto

Dalle macchine semplici alla meccanica newtoniana

Il Contributo italiano alla storia del Pensiero - Tecnica (2013)

Dalle macchine semplici alla meccanica newtoniana Elio Nenci L’invenzione e l’uso di particolari accorgimenti tecnici per spostare e sollevare grandi pesi dovettero sorgere molto presto nelle grandi [...] Sebbene alcuni interpreti moderni incorrano in tale inferenza nelle loro traduzioni, noi riteniamo che il cit., p. 50). Questo principio in genere sfociava nella regola di aumentare maggiormente le dimensioni delle parti formanti le strutture più ... Leggi Tutto

Previsione

Enciclopedia delle scienze sociali (1996)

Previsione Italo Scardovi di Italo Scardovi Previsione La previsione nella scienza Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] suo metodo. Nelle materie di fatto, la prossima volta può sempre essere diversa. Ma pure un'inferenza deduttiva coerente con un (univariata o multivariata) si può evincere una regola di variazione nel tempo attraverso opportuni confronti tra i dati ... Leggi Tutto

CATEGORIA: STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – SOCIOLOGIA

PERCHE LA MATEMATICA?

XXI Secolo (2010)

Perché la matematica? Marco Rigoli Lo scopo di questo saggio è presentare al lettore, invitandolo nel contempo a una personale riflessione, alcuni aspetti della matematica che permeano gran parte della [...] F in ordine a formare i vertici di un poligono più o meno regolare (con il solo scopo di visualizzare in maniera semplice il problema) soprattutto nel caso euclideo) come procedere nella concatenazione di inferenze logiche con le quali si arriva poi a ... Leggi Tutto

Presunzioni [dir. proc. civ.]

Diritto on line (2016)

Cinzia Gamba Abstract La presente voce esamina le presunzioni quali istituti che si ricollegano all'ambito delle prove nel processo civile e sono disciplinati dagli artt. 2727, 2728 e 2729 c.c. Vengono [...] , L.P., op. cit., 656 ss.). La ratio della regola – che vale a livello interpretativo – è piuttosto evidente, in quanto tende ad evitare che la prova del fatto ignorato si fondi su un cumulo di inferenze presuntive, ciò che renderebbe “a tenuta non ... Leggi Tutto

CATEGORIA: DIRITTO PROCESSUALE