ALGORITMI E MACCHINE CALCOLATRICI AUTOMATICHE

Serie: Argomenti di matematica a cura di Corrado Mangione. (serie di volumetti di origine russa). Traduzione italiana condotta sulla versione inglese della prima edizione in lingua russa da Corrado Mangione. Pagine: [5] + 132. Formato: 12 x 19 cm circa. Stato di conservazione: leggere scoloriture sulla copertina ma, nel complesso, un buon esemplare. Privo di firme d'appartenenza, tibri, sottolineature o annotazioni. Copertina editoriale flessibile illustrata a colori. 'Questo volumetto presenta alcuni aspetti storici e delinea lo sviluppo concettuale della teoria degli algoritmi, che tanta importanza ha assunto nelle ricerche matematiche e logiche del nostro secolo. Per definire la nozione di algoritmo, l'Autore considera la stretta relazione fra algoritmi e macchine calcolatrici. Non si richiede al lettore una specifica preparazione matematica, ma solo la conoscenza dell'algebra elementare. Il lettore tuttavia sarà portato a seguire argomentazioni logiche molto sottili'. Indice dei capitoli: I- Algoritmi numerici, II- Algoritmi per giochi, III- Un algoritmo per trovare cammini in un labirinto, IV- Il problema della parola, V- Macchine calcolatrici con controllo automatico, VI- Programmi (algoritmi di macchina), VII- La necessità di una definizione più precisa di 'algoritmo', VIII- La macchina di Turing, IX- La realizzazione di algoritmi nelle macchine di Turing, X- L'ipotesi fondamentale della teoria degli algoritmi, XI- La macchina di Turing universale, XII- Problemi non risolubili per via algoritmica, XIII- La non esistenza di un algoritmo per il problema generale della parola, osservazioni conclusione.