Risultati della ricerca
Abbiamo trovato 3 libri cercando Daniele Mundici.
Dalla macchina di Turing a P/NP
di Daniele MundiciDal 1936 i costi delle procedure meccaniche di calcolo si misurano contando i passi delle macchine di Turing. Costruiremo la macchina di Turing "universale", capace di effettuare tutte le procedure...
Al momento non disponibile, ordinabile in 3 settimane circa Aggiungi a lista dei desideri
Prezzo: € 19,00
Editore: McGraw-Hill Education
ISBN: 9788838674020
Collana: Print on demand
Anno Edizione: 2021
Logica. Metodo breve
di Daniele MundiciIn 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...
Al momento non disponibile, ordinabile in 3 settimane circa Aggiungi a lista dei desideri
Prezzo: € 25,95
Editore: Springer Verlag
ISBN: 9788847018839
Collana: Unitext
Anno Edizione: 2011
Logic. A brief course
di Daniele MundiciIn 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...
Momentaneamente non ordinabile Aggiungi a lista dei desideri
Prezzo: € 59,98
Editore: Springer Verlag
ISBN: 9788847023604
Collana: Unitext
Anno Edizione: 2012
