Le Bussole Libri
Libri pubblicati nella collana Le Bussole 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. La vita e l'eredità spirituale
- 9788829037360 Che cos'è la geopolitica
- 9788829037353 Dialetti d'Italia: Abruzzo
- 9788829037346 Monica Vitti
- 9788829037339 Leggere Saba
- 9788829037322 Il linguaggio della moda
- 9788829036219 Pregiudizi e stereotipi
- 9788829036202 La punteggiatura
- 9788829036189 Leggere Céline
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.
Che cos'è un algoritmo Frixione Marcello Porello Daniele - Carocci, 2026 - Le Bussole
Il concetto di algoritmo ha avuto un ruolo centrale nella scienza degli ultimi cento anni, a partire dai contributi pionieristici di Alan Turing. Con l'avvento dell'informatica, esso è uscito dall'ambito strettamente matematico per investire aspetti via via più ampi della tecnologia, della cultura e della nostra vita quotidiana, sino a giungere agli entusiasmi e alle preoccupazioni che oggi suscitano i successi del machine learning e dell'intelligenza artificiale. Il volume ne ripercorre l'evoluzione in maniera piana e accessibile, dagli algoritmi che si possono ancora eseguire con carta e penna, passando per gli sviluppi stimolati dall'informatica, fino ai modelli più complessi che sono alla base dell'IA, nella convinzione che una comprensione più approfondita di queste nozioni sia fondamentale per interpretare molti aspetti del mondo in cui viviamo.