Springer Verlag: Unitext

La progettazione dei sistemi fognari e dei manufatti in essi presenti richiede un'attenta conoscenza delle leggi che regolano

In passato, l'arte della "scrittura nascosta" (meglio nota come crittografia) era per lo più riferita ad un insieme di metodi

Il testo fornisce le conoscenze necessarie per affrontare, con un approccio quantitativo, i molteplici aspetti connessi al flu

Questo volume è dedicato al campionamento da popolazioni finite

In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il teorema di completezza di Robinson e il teorema di compattezza di Godel per la logica di Boole. Il lettore incontrerà qui altre idee chiave della logica: una sintassi non ambigua, la risoluzione, la procedura di Davis-Putnam, la semantica di Tarski, l'equivalenza e la conseguenza logica, i modelli di Herbrand, gli assiomi dell'eguaglianza, le forme normali di Skolem, le refutazioni come oggetti grafici, e la costruzione di alcuni modelli non-standard. I prerequisiti matematici sono minimi: il testo è accessibile a chiunque abbia già visto qualche dimostrazione per induzione. Il manuale può essere usato come sussidiario per un primo corso di Logica Matematica per matematici e per informatici. Parti del testo possono essere di appoggio in un corso di Logica per filosofi e linguisti, soprattutto per i numerosi esercizi, mai troppo difficili, di collegamento tra logica e linguaggio naturale.

Il testo, che nasce dall'esperienza didattica degli autori, si propone di introdurre gli aspetti fondamentali della teoria della probabilità e dei processi stocastici, guardando con particolare attenzione alle connessioni con la meccanica statistica, il caos, le applicazioni modellistiche e i metodi numerici. La prima parte è costituita da un'introduzione generale alla probabilità con particolare enfasi sulla probabilità condizionata, le densità marginali ed i teoremi limite. Nella seconda parte, prendendo spunto dal moto Browniano, sono presentati i concetti fondamentali dei processi stocastici (catene di Markov, equazione di Fokker-Planck). La terza parte è una selezione di argomenti avanzati che possono essere trattati in corsi della laurea specialistica.

La finanza matematica ha visto un notevole sviluppo in tempi recenti, soprattutto per l'introduzione di strumenti finanziari atti a contenere il rischio nelle operazioni di mercato. Lo studio delle problematiche legate a tali strumenti richiede tecniche matematiche talvolta sofisticate e la maggior parte di queste tecniche sono legate alla teoria della Probabilità. Gli ambienti finanziari sono quindi divenuti uno sbocco professionale non solo per gli economisti, ma anche per i matematici ed in generale per i laureati delle discipline tecnico-scientifiche. Il presente libro è inteso come testo e nasce dall'esperienza d'insegnamento degli autori.

Il libro è basato sulle lezioni attualmente tenute dall'autore presso l'Università di Bari, ed è progettato in modo da rappres

L'opera fornisce una introduzione alla geometria delle varietà differenziabili, illustrandone le principali proprietà e descrivendo le tecniche e gli strumenti usati per il loro studio.

La geometria frattale permette di caratterizzare le strutture complesse e irregolari che godono della proprietà di invarianza

Il volume presenta le nozioni fondamentali del Calcolo delle probabilità e della statistica, così come di solito vengono inseg

Il testo è dedicato a studenti e cultori interessati ad affrontare argomenti di astrofisica delle stelle, delle galassie e del

Le applicazioni tecnologiche innovative (nanotecnologie, microfluidica, sviluppo di processi chimici ecosostenibili, bioingegn

In questo libro di testo vengono descritti e analizzati gli algoritmi più significativi per la soluzione di problemi di ottimi

La razionalizzazione delle scienze ha avuto un grande impulso con l'avvento e il consolidarsi dei concetti dell'analisi dimensionale, accanto alla quale si è sviluppata la modellistica fisica. Al tempo in cui gli elaboratori non erano disponibili o non erano accessibili, la modellistica fisica rimaneva l'unico strumento per affrontare e risolvere numerosi problemi di ingegneria; non a caso la maggior parte delle pubblicazioni scientifiche nel settore è riconducibile a quel periodo. Anche oggi i modelli fisici hanno un ruolo insostituibile nella progettazione di molte opere, nonostante i costi e i tempi di lavorazione spesso elevati, ma ampiamente compensati dall'utilità dei risultati ottenuti. Tale scelta trova riscontro nelle normative nazionali e internazionali per la realizzazione di opere di particolare complessità e impegno economico quali, ad esempio, le opere marittime o le opere di ingegneria strutturale; già da molti decenni, in alcuni codici esteri, i modelli fisici possono sostituire i modelli analitici. Questo testo è stato concepito per gli studenti e per i ricercatori impegnati nello studio di modelli concettuali e analitici, oltre che nella realizzazione di modelli fisici, e si sviluppa su basi teoriche ma con numerosi esempi applicativi. I settori di interesse sono quelli dell'idraulica, della scienza e tecnica delle costruzioni, della geotecnica e della fisica tecnica, con brevi note per lo studio di sistemi complessi.

A partire dagli studi sulla prospettiva degli artisti del Rinascimento, la geometria proiettiva si è sviluppata nei secoli suc