Lolli GabrieleMareMagnum
2.720 Ergebnisse
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.
1973Mm 185x240 Testo a cura e con introduzione di Mario G. Losano. Volume rilegato in tela con titolo impresso al piatto, sopracoperta figurata a colori con leggere tracce d'uso, 192 pagine con 24 tavole in nero non comprese nel testo. Libro in buone-ottime condizioni, spedizione in 24 ore dalla conferma dell'ordine.
1964Mm 160x245 Volume rilegato di pp. 387, sovraccoperta editoriale con piccolo strappo, in ottimo stato. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
1964Mm 155x215 Brossura editoriale di pp. 178, sottolineature a penna nella sola introduzione. Opera in buone condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE. WORLDWIDE DELIVERY.
1973Mm 130x180 Collana " Universale scientifica Boringhieri ". Volume di 118 pp. nella sua brossura editoriale, firma di appartenenza, opera in buone condizioni. SPEDIZIONE IN 24 ORE DALLA CONFERMA DELL'ORDINE.
