Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
La computabilità, algoritmi, logica, calcolatori -  Marcello Frixione, Dario Palladino - copertina
La computabilità, algoritmi, logica, calcolatori -  Marcello Frixione, Dario Palladino - copertina
Dati e Statistiche
Fuori di libri Post sulla Community Fuori di libri
Wishlist Salvato in 22 liste dei desideri
La computabilità, algoritmi, logica, calcolatori
Disponibilità immediata
11,40 €
-5% 12,00 €
11,40 € 12,00 € -5%
Disp. immediata
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
11,40 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
12,00 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Nani
12,00 € + 6,50 € Spedizione
disponibile in 15 giorni lavorativi disponibile in 15 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
11,40 € Spedizione gratuita
disponibilità immediata disponibilità immediata
Info
Nuovo
Libreria Internazionale Romagnosi snc
12,00 € + 8,90 € Spedizione
disponibile in 3 giorni lavorativi disponibile in 3 giorni lavorativi
Info
Nuovo
Libreria Nani
12,00 € + 6,50 € Spedizione
disponibile in 15 giorni lavorativi disponibile in 15 giorni lavorativi
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

Chiudi
La computabilità, algoritmi, logica, calcolatori -  Marcello Frixione, Dario Palladino - copertina
Chiudi

Promo attive (0)

Descrizione


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.
Leggi di più Leggi di meno

Dettagli

2011
16 marzo 2011
142 p., Brossura
9788843057931
Chiudi

Indice

Introduzione
1. Algoritmi
Che cos’è un algoritmo/Diagrammi di flusso/Algoritmi che talvolta non producono risultati/Numeri naturali e codifiche dei dati
2. Funzioni matematiche e algoritmi
Il concetto matematico di funzione/Funzioni calcolate da algoritmi/Funzioni e algoritmi di decisione/Funzioni totali e funzioni parziali/Funzioni aritmetiche e codifiche/Non computabilità e indecidibilità: un’anteprima
3. Le macchine di Turing
Verso una nozione rigorosa di algoritmo/Il modello di calcolo di Alan Turing/Macchine che calcolano funzioni aritmetiche/Macchine che non si fermano
4. Funzioni ricorsive
Introduzione/Operazioni tra funzioni: composizione e ricorsione/La classe delle funzioni ricorsive primitive/La calcolabilità delle funzioni ricorsive primitive/Funzioni calcolabili non ricorsive primitive/La classe delle funzioni ricorsive generali/Funzioni ricorsive generali totali
5. Tesi di Church e problemi indecidibili
La tesi di Church/La tesi di Church e il calcolo parallelo/La macchina di Turing universale/Esistenza di problemi indecidibili
6. La computabilità e i fondamenti della matematica
L’evoluzione del metodo assiomatico/I teoremi di Church e di Gödel
7. Computabilità, informatica e studio della mente
Programmi memorizzati e macchine di von Neumann/Complessità computazionale/Mente, computazione, scienza cognitiva
Bibliografia

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Inserisci la tua mail

Chiudi