Con ogni acquisto su Bookdealer sostieni una libreria indipendente del territorio.
Editore: Carocci
Reparto: Matematica
ISBN: 9788843046461
Data di pubblicazione: 17/07/2008
Numero pagine: 144
Collana: Le bussole
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.
Registrati gratuitamente e ottieni subito un codice sconto per il tuo primo acquisto.