La computabilità: algoritmi, logica, calcolatori Scarica PDF EPUB

La computabilità: algoritmi, logica, calcolatori

Scarica Libri PDF

Scarica Libri EPUB
Titolo: La computabilità: algoritmi, logica, calcolatori

Autore: Marcello Frixione,Dario Palladino

Editore: Carocci

Pagine:

Anno edizione: 2011

EAN: 9788843057931

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.



Istituzioni di logica, 2016-2017. PROGRAMMA DETTAGLIATO. PARTE SULLA LOGICA PROPOSIZIONALE E DEL PRIMO ORDINE. F. Berto, Logica da zero a Goedel.
calcolatore (o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali. 1. Cenni storici
Aree della matematica Logica matematica: Teoria degli insiemi · Teoria dei modelli · Teoria della dimostrazione: Algebra: Teoria dei numeri · Teoria dei gruppi
Intelligenza artificiale. L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera
La rappresentazione della conoscenza e l'ingegneria della conoscenza costituiscono contributi centrali per la ricerca nell'ambito dell'intelligenza artificiale.
Altruismo e morale, percorsi separati? Amaro calice sul disgusto e la morale Antropologia e scienze cognitive Beyond freedom and dignity – B. F. Skinner
Introduzione Lo studio della storia greca come vedremo, è uno studio complesso perché spesso ci sono giunte voci contraddittorie sia dalle fonti scritte che
Gli obiettivi da perseguire nel triennio si pongono in linea di continuità con quelli raggiunti nel biennio, rispetto ai quali si caratterizzano per i