La computabilità: algoritmi, logica, calcolatori Scarica PDF 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 |