Springer Verlag

Il volume presenta le nozioni fondamentali del Calcolo delle probabilità e della statistica, così come di solito vengono insegnate nei corsi presenti nelle Lauree Triennali di indirizzo scientifico. La scelta degli argomenti e la loro presentazione rispecchiano la notevole esperienza didattica acquisita dall'autrice, che da molti anni è docente in questo tipo di corsi, e di conseguenza il suo modo di porgere la materia. Il principale obiettivo del testo è quello di aiutare il lettore a padroneggiare la disciplina limitando per quanto possibile gli strumenti tecnici; ciò dovrebbe consentire a uno studente, anche di non elevata preparazione matematica, di apprendere comunque senza troppa difficoltà i concetti di base. L'autrice si è soffermata in modo particolare sulle motivazioni che portano a introdurre le varie nozioni e su alcuni punti che in genere gli studenti trovano di difficile comprensione.

Il testo è dedicato a studenti e cultori interessati ad affrontare argomenti di astrofisica delle stelle, delle galassie e della cosmologia, e raccoglie molti degli argomenti di fisica, matematica e tecnologia necessari per lo studio dell'astrofisica. È stata data soprattutto evidenza ai metodi teorici su cui si basa lo sviluppo dei modelli di struttura ed evoluzione stellare e galattica, per giungere fino ai concetti principali della cosmologia astrofisica. Sono inoltre forniti riferimenti bibliografici per approfondimenti. Alcuni argomenti specifici possono essere consultati nelle Appendici disponibili on-line su Springer Extras Materials. Nei primi dieci capitoli sono illustrati i metodi fondamentali dell'astrofisica, le tecniche osservative, le teorie gravitazionali e la fisica dei fluidi e dei plasmi, indispensabili per costruire i modelli astrofisici. Nei rimanenti dieci capitoli sono presentate le attuali conoscenze sulla struttura ed evoluzione stellare, sulle galassie e la distribuzione della materia alle grandi scale e sulla cosmologia, fino al modello del big-bang. Il testo rappresenta il risultato dell'esperienza di insegnamento dell'autore in corsi di Fondamenti di astrofisica, Astrofisica dei plasmi, Astrofisica teorica, Radioastronomia e Laboratorio di astrofisica che ha tenuto a Torino, la SISSA di Trieste e la University of Chicago.

La proposta nasce dalla constatazione dell'importanza dell'approccio quantitativo a problemi di rilevanza quotidiana in molte realtà industriali. L'opera, oltre a proporre modelli di riferimento, vuole promuovere la comprensione degli stessi e degli approcci formali ad essi collegati attraverso costanti riferimenti a reali pratiche di pianificazione e gestione. Il panorama editoriale italiano non sembra offrire nell'ambito del business management un'opera avente questo stesso indirizzo. L'esperienza acquisita dagli autori nei rapporti professionali con diverse realtà industriali è alla base della qualità complessiva dell'opera. Gli obiettivi principali sono: presentare modelli di ottimizzazione tratti o ispirati da casi di studio concreti nell'ambito industriale, manifatturiero e logistico; illustrare alcuni dei principali approcci di modellazione matematica ai problemi di rilevanza industriale; costituire materiale didattico integrativo per corsi a livello universitario ed avanzato.

Picasso che dialoga con Luciano Emmer è l'immagine simbolo di "Matematica e cultura 2011". Un omaggio al grande artista spagnolo e un ricordo del regista italiano che ha partecipato diverse volte agli incontri veneziani. E quelle immagini indimenticabili di Picasso a torso nudo che affresca una grande parete, e i suoi segni cancellati per un banale errore umano e rimasti solo sulla pellicola. Di arte, di arte contemporanea, di arte antica si parla. Di Venezia, di quel grande capolavoro che è la basilica di San Marco, e dei mosaici dimenticati del suo pavimento. Ne scrivono Ettore Vio che della basilica è il Proto, e Luigi Fregonese che ne ha portato a termine, con altri, il rilievo tridimensionale. Un lavoro di 20 anni! E di teatro, di matematica e cucina, non tralasciando le tante applicazioni della matematica. Con un occhio particolare alla letteratura di Neal Stephenson e al suono delle maree. Non potevano mancare le bolle di sapone e i fantastici progetti architettonici basati su lamine di sapone computerizzate di Tobias Walliser. Né manca la geometria delle gondole e i rapporti tra spazio matematico e teologia. Matematica, Venezia, cultura, un incontro che continua a stupire, anno dopo anno, rinnovandosi sempre. Pur restando in continuità con gli eventi passati.

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.

Questo ampio libro di testo di Ottimizzazione Combinatoria è la traduzione in italiano dell'ultima edizione (la quarta, ulteriormente aggiornata) del libro "Combinatorial Optimization -Theory and Algorithms" la cui prima edizione risale all'anno 2000. Il libro deriva dall'esperienza degli autori in vari corsi di Ottimizzazione Combinatoria (e su argomenti più specifici) a livello di master e di dottorato, tenuti presso l'Università di Bonn. Il libro privilegia i risultati teorici e descrive dettagliatamente algoritmi dotati di dimostrate garanzie circa il loro tempo di calcolo e la loro efficienza, piuttosto che metodi euristici. Esso contiene dimostrazioni complete, ma concise, anche per molti risultati avanzati, alcuni dei quali non risulta siano stati finora trattati in un libro di testo. Alla fine di ogni capitolo vengono proposti numerosi esercizi e viene presentata un'esauriente e aggiornata bibliografìa. Si può quindi legittimamente affermare che questo libro riflette l'attuale stato dell'arte dell'Ottimizzazione Combinatoria.

Vedere è un dono meraviglioso che ogni giorno tutti possono apprezzare. Vedere è vivere, è gioire, è comunicare, è aprire il proprio essere al mondo esterno: è quindi importante che l'organo della vista sia messo in condizioni di lavorare al meglio delle sue possibilità, e per poter farlo occorre essere bene informati. Quest'opera, formata da due volumi, descrive in maniera semplice e chiara l'occhio, il suo sviluppo, i suoi difetti e le sue malattie; presenta l'igiene oculare, la protezione dalle radiazioni tossiche e spiega come usare le lenti a contatto, gli occhiali da sole, e tratta tanti altri aspetti utili a mantenere l'organo della vista in buone condizioni. Il secondo volume offre anche un panorama degli interventi laser e chirurgici di maggior diffusione per consentire a chi deve affrontare questa esperienza di capire meglio l'atto operatorio e come comportarsi nel decorso postoperatorio. L'opera in sostanza contiene quasi tutto ciò che è necessario sapere sui propri occhi e sulla propria vista; costituisce quindi una lettura di grande utilità per chi vive nel mondo moderno tutto imperniato sull'utilizzo della vista.