Odifreddi PiergiorgioMareMagnum
2 499 résultats
2013br. Impertinente, in senso letterale, è chi "non appartiene", ad esempio a una politica o a una religione, e non appartenendo, suscita i risentimenti e le stizze di coloro che, appartenendo, lo tacciano di arroganza o insolenza. Il matematico impertinente è una specie del genere, caratterizzata dal fatto di non appartenere non per partito preso ma per motivi mutuati dalla più pura razionalità esistente: quella matematica. E l'incarnazione del matematico impertinente è Piergiorgio Odifreddi che nei saggi raccolti in questo volume su politica, religione, letteratura, filosofia e scienza - dispiega l'arsenale della ragione per argomentare che non è affatto vero che non possiamo non dirci cristiani, o che siamo tutti americani, o che la cultura è solo quella mitologica e (pseudo) filosofica sulla quale vive l'informazione. Ed è invece vero che non possiamo non dirci tecnologici, che siamo tutti africani, e che la cultura è anche (o soprattutto?) quella matematica e scientifica che informa la vita.
2016br. Nella misura in cui le leggi della matematica si riferiscono alla realtà non sono certe. E nella misura in cui sono certe, non si riferiscono alla "realtà". In tale antinomia A.Einstein descrisse l'incompatibilità tra l'idea di certezza e quella di precisione, ovvero la profonda crisi epistemologica che caratterizzò il pensiero scientifico del novecento: l'indeterminazione concettuale dei fenomeni, l'indicibilità di alcune asserzioni logiche e la vaghezza del rapporto tra mondo reale e mondo linguistico. A far seguito a tale rivoluzione paradigmatica, il tempo dimostrò presto i limiti della logica classica quale strumento inferenziale per descrivere la complessità della realtà. La logica fuzzy, valorizzando i paradossi e le ricorsività proprie della realtà, facilita la modellizzazione di sistemi complessi. L'autorevolezza della logica fuzzy risiede nella capacità di rappresentare la realtà mediante valori diversi dai semplici vero-falso, bianconero o 0-1, insite nella tradizione della logica classica, ma valutando tutte le sfumature di un mondo fatto principalmente di grigi, di verità parziali e di valori continui, anche di quelli apparentemente scollegati tra loro. Nel corso del testo, dopo una divulgativa introduzione ai principi della logica fuzzy, saranno affrontate in forma discorsiva alcune questioni, fortemente differenziate tra di loro, ma con in comune i caratteri propri della complessità del mondo...
2013br. Pur conservando l'ormai nota e inconfondibile metafora che vede un calcolatore come una gerarchia di livelli, questa nuova edizione presenta numerosi cambiamenti, che allineano i contenuti del manuale allo stato dell'arte dei più recenti sviluppi dell'industria. Gli esempi presentati riguardano Intel Core i7, OMAP4430 di Texas Instruments e ATmega168 di Atmel. Il Core i7 è un esempio di CPU largamente utilizzata su portatili, desktop e server, OMAP4430 è una diffusissima CPU basata su ARM, molto utilizzata su smartphone e tablet e ATmega168 è il microcontrollore della piattaforma open-source ARDUINO, presente in numerosi sistemi integrati, dalle radiosveglie digitali ai forni a microonde.
2021br. Lo studio della logica a livello universitario è sempre più diffuso, ma viene spesso affidato a testi di difficile lettura e di grandi dimensioni. Questo volume, rivolto a studenti di materie sia umanistiche sia scientifiche, è un'agile guida introduttiva che coniuga una non comune chiarezza espositiva con il necessario rigore scientifico. Tutti i concetti e le tecniche di calcolo caratteristiche dell'indagine logica sono presentati in modo graduale e illustrati con molteplici esempi. Ogni capitolo è corredato di numerosi esercizi - tutti con risposta, spesso adeguatamente commentata - che consentono di consolidare le conoscenze acquisite. In questa terza edizione, a cura di Marcello Frixione, oltre a doverosi aggiornamenti bibliografici, sono stati introdotti vari riquadri nei quali vengono chiariti alcuni aspetti puntuali o concetti di base dell'indagine logica.
2020br. Tutti sappiamo che due più due fa quattro, ma pochi di noi sono in grado di dire perché. Si tratta, in effetti, di un'affermazione tutt'altro che scontata da un punto di vista matematico. Si celebrano coloro che dimostrano teoremi apparentemente astrusi, si girano film su questi personaggi eccentrici, ma come abbiano fatto, in che cosa consista la loro prova non sembra essere mai del tutto chiaro. In QED , che altro non è se non l'acronimo per Quod Erat Demonstrandum , formula di rito posta alla fine di tutte le dimostrazioni matematiche, la problematica delle dimostrazioni viene inserita in un quadro storico e filosofico, dai greci a Descartes alla rigorizzazione dell'Ottocento, ma soprattutto le dimostrazioni vengono discusse dall'interno, per far risaltare il loro ruolo nella costruzione della matematica. Al termine della lettura, sarà impossibile restare insensibili al fascino dell'eleganza razionale dell'attività dimostrativa, dal lampo d'intuizione iniziale alla sua inevitabile e stringente conclusione, a volte così poco intuitiva da risultare sorprendente.
2012ill., br. Pinocchio rivive le sue avventure sullo sfondo di nuovi paesaggi paradossali. Il più celebre burattino di tutti i tempi si troverà di fronte al dilemma del coccodrillo, al paradosso del mentitore, a quello della nave di Teseo, alla mitica gara tra Achille e la tartaruga e tanti altri: come farà a superare questi nuovi ostacoli? L'immancabile Grillo parlante con la sua proverbiale sapienza spiega al burattino, e ai lettori, come uscire dall'impasse in cui le contraddizioni logiche e matematiche li hanno fatti sprofondare. Un libro per scoprire il gusto del ragionamento, arricchito di illustrazioni che reinventano la popolare fiaba di Collodi.
2006br. Il testo, adottando un adeguato compromesso fra livello di approfondimento e rigore formale, fornisce una visione omogenea e sintetica delle reti logiche, classificate ulteriormente in reti combinatorie e reti sequenziali, dai fondamenti alla progettazione, includendo anche i modelli teorici di supporto (algebra di Boole, automi). La prima parte tratta le reti combinatorie; la seconda parte riguarda l'analisi e il progetto delle reti sequenziali, mentre nell'ultimo capitolo sono esaminate le reti booleane a soglia. I capitoli sono corredati da esercizi e quesiti e dalle relative soluzioni. Il volume si conclude con tre appendici - sul comportamento asintotico delle funzioni, sulla rappresentazione numerica e sui linguaggi regolari - fondamentali per approfondire la materia. Sul sito www.carocci.it si trovano poi materiali didattici di ausilio per il docente ed esercizi di riepilogo per gli studenti, utili al ripasso e all'autovalutazione del livello di apprendimento.
2021br.
2015br. Lo scopo di questo testo è illustrare i principi generali dei sistemi di elaborazione, facendo riferimento ad architetture e sistemi reali e introducendo contestualmente i principi di base delle tecnologie abilitanti e il loro impatto sulle architetture. Il testo consente al lettore di analizzare come l'evoluzione delle tecnologie microelettroniche incida sulle soluzioni architetturali dei sistemi di elaborazione. Viene, quindi, proposto un percorso che affianca alla classica trattazione, che illustra i modi di funzionamento dei calcolatori elettronici, un nuovo approccio basato su approfondimenti inerenti all'evoluzione e alle prospettive delle nuove soluzioni tecnologiche e alle loro implicazioni sullo sviluppo e la progettazione di nuovi modelli architetturali, affrontando in modo sistematico anche le tematiche relative alle tecniche d'interazione fra i nodi di elaborazione e il mondo esterno con riferimento ai problemi di interconnessione di più unità e al progetto di unità di I/O, nonché a quelli posti dai sistemi embedded nel loro impiego in molte applicazioni industriali.
2011br. La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in modo meccanico. Nata negli anni trenta del secolo scorso, ha assunto un ruolo centrale per la nuova scienza dei calcolatori nel secondo dopoguerra. Il testo si propone di esporre i concetti fondamentali della computabilità senza presupporre alcuna conoscenza tecnica preliminare, guidando così il lettore in un percorso ai confini tra logica, informatica, intelligenza artificiale e teorie della mente.
2008ill., br. L'adesione al pensiero razionale non preserva la psiche di chi lo esercita. Tra i molteplici esempi quello di Gödel è forse il più luminoso. Considerato il più grande logico del XX secolo, grazie ai teoremi di incompletezza (1931), Kurt Gödel fu ossessionato dal timore di essere avvelenato e finì per morire dopo aver deciso di smettere di alimentarsi. Ma accanto a queste manifestazioni ve ne furono altre ben più creative connesse alla sua credenza in demoni, angeli ed extraterrestri e ai tentativi di darne dimostrazione razionale, fino al tentativo di applicare le sue teorie alla prova ontologica dell'esistenza di Dio. alla base di questo viaggio tra logica e follia, lo studio delle migliaia di pagine inedite di Gödel, dove si trovano l'applicazione del teorema di incompltezza al diavolo, tentativi teorici stravaganti e credenze deliranti.
1787In-16° pp. 236, leg. in pergamena coeva con evidenti tracce del tempo.
1784Vol. due uniti In-16° cm. 15,5 pp. 156-466. leg. in piena pergamena coeva con tass. al dorso. Salvo una picc. mancanz alla parte inf. del secondo frontesp. i vol. sono in ottime condizioni.
1791in-8°, pp. XIV-(2)-269-(3). Leg. in cartonato edit. rustica con tit. manoscritto sul dorso. Tracce del tempo e d'uso sui piatti. Leggere bruniture all'interno.
1996In-8° pp. 339 con ill. n.t. Leg. edit. con sovrac. ill. Ottimo sttao salvo tracce di targhetta al dorso.
18868vo., small neat signature on title; handsomely bound in brown full crushed morocco, sides with gilt frame border, back with raised bands, second and fourth compartments lettered and ruled in gilt, all other compartments tooled and ruled in gilt, gilt top, hand-made endpapers, original gilt from backstrip preserved and mounted on new leaf at front, ribbon marker, a most attractive copy ideal as a gift or for presentation. First published in 1843. Includes the author's Prefaces to the first, third, fourth and eighth editions.
19318vo., First Edition, some mild offsetting from fold-ins to free endpapers, small neat contemporary signature on front paste-down; green cloth, gilt back, a near fine copy in unclipped dustwrapper, the latter lightly age-soiled, and chipped (not affecting lettering) at head of backstrip. With the trade ticket of Blackwell of Oxford on front paste-down. EXTREMELY SCARCE, ESPECIALLY IN THIS CONDITION.
1923In-8° pp. 10, bross. muta recente.
1868Mm 150x215 Brossura cucita di pp. 112, intonso, privo di coperta, restauro al dorso, macchia umidità ultima di copertina. Opera in buone condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
1998Mm 105x140 Brossura editoriale di pp. XII-254, timbro commerciale al frontespizio, in buono stato. A cura di Elliott Anthony, Frosh Stephen. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
1994Mm 160x240 Brossura editoriale di 385 pp. con copertina illustrata a colori, illustrazioni in b/n nel testo.Alcune sottolineature a matita e con evidenziatore celeste. Volume in buono stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
1987Mm 170x245 Volume di pp. X-725. tavole a colori fuori testo. Atti del Congresso internazionale Varese 24-25-26 ottobre 1985. Interventi, tra gli altri, di L. Geymonat, G. Giorello, M. Pera, G. Montalenti, M. Ceruti, E. Bellone. Opera in buonissime condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE. WORLDWIDE DELIVERY
1969Mm 180x250 Volume rilegato in mezza pelle, titolo ed autore al piatto e al dorso, x-311 pp. Timbri di biblioteca privata dismessa e tracce di nastro adesivo ai fogli di guardia, peraltro il libro è in ottime condizioni. Spedizione in 24 ore dalla conferma dell'ordine.
1969Mm 145x205 Volume rilegato in tela, sopracoperta originale, viii-333 pp. Testo in lingua inglese - english text. Libro in ottime condizioni, spedizione in 24 ore dalla conferma dell'ordine.
1973Mm 135x205 Brossura editoriale di pp. 195, in buono stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
