Tempo di lettura stimato:
4h 48m
Architettura e progettazione logica dei computer
Editore: Carocci
Anno: 2008
Lingua: Italiano
Rilegatura: Brossura
Pagine: 144 Pagine
Isbn 13: 9788843046461
Lo studio della logica, come quello di ogni altro tipo di disciplina, richiede lo svolgimento continuo di esercizi. Occorre cimentarsi con modelli, schemi e strategie di risoluzione. Lo scopo di questo libro è guidare il lettore all'uso della deduzione naturale enunciativa e predicativa. Il testo presenta il metodo delle derivazioni elaborato da Frederick Fitch, particolarmente perspicuo ed efficace dal punto di vista didattico. Gli esercizi sono svolti passo dopo passo per fare in modo che il lettore acquisti dimestichezza con il ragionamento formale e infine sia in grado di procedere da solo.
Potrebbe piacerti anche
Other Architettura e progettazione logica dei computer
Autori che ti potrebbero interessare