|
Maurizio Negri Università degli Studi di Torino Elementi di Logica Collana: «I Manuali» 17 x 24 cm pagg. 448 1994 ISBN 88-7916-039-7 € 39,50 |

|
SOMMARIO: Prefazione Insiemi - Strutture - Definizioni - Logica proposizionale - Logica predicativa - Modelli - Funzioni ricorsive - Incompletezza e indecidibilità Bibliografia - Indice analitico. Manuale di base rivolto agli studenti dei corsi di Logica, di Filosofia del linguaggio e di Filosofia della scienza. I primi tre capitoli, che contengono concetti fondamentali riguardanti la teoria degli insiemi, le strutture algebriche e le definizioni induttive, rendono completamente autosufficiente la trattazione successiva. Il quarto e il quinto capitolo contengono il nucleo di un corso di logica di primo livello: il calcolo degli enunciati e il calcolo dei predicati con i rispettivi teoremi di completezza. Il sesto capitolo è unintroduzione allo studio dei modelli delle teorie formali. Il settimo capitolo presenta le funzioni ricorsive come caratterizzazione formale del concetto di funzione calcolabile e di problema decidibile. Lottavo capitolo contiene i teoremi fondamentali di Gödel e Church riguardanti lincompletezza dellaritmetica, lincompletezza della logica del secondo ordine e lindecidibilità della logica del primo ordine. I primi sei capitoli sono corredati da esercizi che dovrebbero aiutare il lettore a impadronirsi degli strumenti dimostrativi fondamentali.
|
I Manuali | Metodo | Materiali | Studi e ricerche | Esedra - Collana di letture | Strumenti | Colloquium | Le Antologie | Lingue di oggi | Lingue e contesti | Traduzione - Testi e strumenti | Archeologia e Arte antica | Biblioteca classica | Materiali per una Palingenesi delle Costituzioni Tardo-imperiali | Collana della Rivista di Diritto Romano | BFLR - Biblioteca di filologia e linguistica romanze | Palinsesti - Studi e Testi di Letteratura Italiana | Biblioteca Insubrica | Biblioteca di Problemata | Laboratorio teoretico | Nomologica | Psicologicamente. Collana dei Dipartimenti di Psicologia. Sapienza Università di Roma | Strumenti e metodi per le scienze sociali | Quaderni di Storia del Pensiero Sociologico | Scienze Sociali | Comunicazione Mente Tecnologia | Il segno e le lettere. Collana del Dipartimento di Studi Comparati dell’Università degli Studi G. d’Annunzio | Costellazioni | Le forme del sentire | Il Filarete. Pubblicazioni della Facoltà di Lettere e Filosofia dellUniversità degli Studi di Milano | Cantar Sottile | Studi sullistruzione superiore. Collana del CIRSIS. Università di Pavia | Istituto Lombardo. Accademia di Scienze e Lettere | Immagini e Parole | Spazio Tesi
Storia della letteratura
- Linguistica storica | Storia delle arti e dello
spettacolo | Scienze dellantichità | Scienze della storia | Storia del pensiero
politico e sociologico | Diritto - Storia e filosofia del diritto | Criminologia
- Psicologia giuridica | Psicologia - Neuropsicologia | Storia del pensiero filosofico e scientifico | Estetica | Logica | Filosofia
teoretica - Ermeneutica | Informatica umanistica | Scienze del linguaggio e della comunicazione | Scienze della formazione | Strumenti per la didattica e per lautoapprendimento | Didattica delle lingue | Cultura e Società | Architettura e Ambiente | Economia | Matematica - Statistica - Metodologia della ricerca sociale | Scienza e Tecnologia
A - B - C - D - E - F - G - H - I - J - K - L- M - N - O - P - Q - R - S - T - U - V - W - Z