Le Bussole Libri
Libri pubblicati nella collana Le Bussole con argomento Logica Logica matematica
Prossime uscite della collana Le Bussole
Libri previsti in uscita su Unilibro.it:
- 9791280559746 Bikeboobs. Guida al ciclismo come pratica femminista
- 9791256750825 Pio Brunone Lanteri
- 9788829037360 Che cos'è la geopolitica
- 9788829037353 Dialetti d'Italia: Abruzzo
- 9788829037346 Monica Vitti
- 9788829037339 Leggere Saba
- 9788829037322 Il linguaggio della moda
- 9788829036202 La punteggiatura
Esercizi di logica Cavagnetto Stefano - Carocci, 2008 - 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.
La computabilità, algoritmi, logica, calcolatori Frixione Marcello Palladino Dario - Carocci, 2011 - Le Bussole
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.