Springer Verlag

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.

Il volume illustra in una prima parte la storia della chirurgia delle fistole, l'anatomia della regione anorettale, il ruolo della flora batterica, la descrizione dei vari interventi, convenzionali e nuovi, compreso l'impiego delle cellule staminali, la preparazione diagnostica con immagini e altri esami, la cura post-operatoria del paziente con i controlli e le medicazioni e le revisioni chirurgiche, la psicosomatica della sepsi anorettale, il problema delle recidive e della continenza. Nella seconda parte il volume assume le caratteristiche di un atlante di chirurgia, offrendo una rassegna delle principali tecniche utilizzate nella pratica clinica con foto a colori dei campi operatori. Lo scopo del libro, destinato a coloproctologi, chirurghi, gastroenterologi, radiologi e ginecologi, è di offrire al lettore una chiave "ragionata passo dopo passo" per la chirurgia di queste affezioni, ricordando, come scrisse John Goligher, che è più difficile guarire una fistola complessa e recidiva che operare un cancro del retto.

Questo volume presenta in modo sintetico ed esauriente i principi scientifici e gli sviluppi più interessanti della neurobiologia. In particolare, gli autori si sono concentrati su quei meccanismi che presiedono allo sviluppo, al funzionamento e alle alterazioni patologiche del sistema nervoso centrale (SNC) meglio conosciuti e di più recente delucidazione. L'idea è che essi possano rappresentare una base per la comprensione di altri meccanismi attualmente sconosciuti. Il testo indaga in particolare la formazione e lo sviluppo del SNC, le tecniche di studio e le implicazioni per le malattie neurologiche, le cellule che compongono il sistema nervoso, le cellule staminali neurali e la neurogenesi, senza tralasciare i principali meccanismi di malattia del cervello. Disegni e tabelle favoriscono la comprensione dei diversi argomenti e la presenza di box dedicati a temi specifici fornisce al lettore spunti per ulteriori approfondimenti. Il volume è un prezioso strumento per studenti, dottorandi di ricerca, medici e specializzandi e consente di seguire l'evoluzione e di comprendere i progressi della neurobiologia.

Questo libro nasce da alcuni laboratori per studenti delle scuole superiori, che sono stati realizzati all'interno del Progetto Lauree Scientifiche grazie a un lavoro di ricerca e sperimentazione comune di scuole e università. I temi dei laboratori sono stati scelti in modo che l'intreccio tra matematica e arte sia culturalmente convincente e didatticamente utile: la prospettiva, la costruzione del piano proiettivo con i suoi punti all'infinito, l'omologia di Piero della Francesca, la catenaria, la sezione aurea, i numeri di Fibonacci, le tassellazioni del piano. Nei laboratori, insieme all'insegnante, gli studenti hanno incontrato fenomeni, affrontato problemi, costruito oggetti e concetti lavorando con le mani e con la mente. Hanno imparato tecniche, usato strumenti, dimostrato teoremi. Il libro e il CD allegato vogliono dare al lettore la possibilità di riprodurre tutto questo e quindi per ogni argomento forniscono un quadro dei concetti matematici, alcuni elementi della genesi storica delle idee e materiali didattici: immagini di opere d'arte, figure e schemi grafici, schede di lavoro, animazioni, pagine di geometria dinamica, software.