Maurizio Negri Università degli Studi di Torino

Elementi di Logica

Collana: «I Manuali» – 14,5 x 21 cm – pagg. 448 – 1994 ISBN 88-7916-039-7

€ 51,00


Mappa cliccabile
Scarica file pdf Get Acrobat Reader

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 è un’introduzione 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. L’ottavo capitolo contiene i teoremi fondamentali di Gödel e Church riguardanti l’incompletezza dell’aritmetica, l’incompletezza della logica del secondo ordine e l’indecidibilità della logica del primo ordine. I primi sei capitoli sono corredati da esercizi che dovrebbero aiutare il lettore a impadronirsi degli strumenti dimostrativi fondamentali.

Acquista il libro Acquisto il Volume - Buy the book


—————————————————————————

Catalogo per Collane

I Manuali | Metodo | Materiali | Studi e ricerche | Esedra - Collana di letture | Strumenti | Colloquium | Le Antologie | LED Bibliotheca | Lingue e Culture | Lingue di oggi | Lingue e contesti | Traduzione - Testi e strumenti | Archeologia e Arte antica | Quaderni di Erga-Logoi | Hellenika. Studi di Storia greca | 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 | Nomologica | Parerga Nomologica | Humanity by Design. Laboratorio di Antropologia Sociologia e Design della Comunicazione | Laboratorio teoretico | Etica e Vita Comune | Irene. Interdisciplinary Researches on Ethics and the Natural Environment | International Research Center for Cognitive Applied Neuroscience (IrcCAN) | Psicologicamente. Collana dei Dipartimenti di Psicologia. Sapienza Università di Roma | Psychologica | ECPS - The Series | Strumenti e metodi per le scienze sociali | Quaderni di Storia del Pensiero Sociologico | Scienze Sociali | Comunicazione Mente Tecnologia | Languages Cultures Mediation. The Series | Il segno e le lettere. Collana del Dipartimento di Lingue, Letterature e Culture moderne dell’Università degli Studi G. d’Annunzio | Costellazioni | Le forme del sentire | Il Filarete. Pubblicazioni della Facoltà di Lettere e Filosofia dell’Università degli Studi di Milano | Cantar Sottile | Studi sull’istruzione superiore. Collana del CIRSIS. Università di Pavia | Istituto Lombardo. Accademia di Scienze e Lettere | Spazio Tesi | Piccoli Giganti Edizioni | Quaderni TaLTaC | Mots Palabras Words - Saggi | Problemata
—————————————————————————

Catalogo per Argomenti

Letteratura. Studi e testi | Estetica - Intermedialità - Arte - Musica - Spettacolo | Scienze dell’antichità | Scienze della storia | Filosofia - Logica - Pensiero Matematico e Scientifico | Etica - Filosofia ambientale | Pensiero politico e sociologico | Diritto - Storia, filosofia e sociologia del diritto | Psicologia giuridica - Criminologia | Psicologia - Neuropsicologia | Informatica umanistica | Scienze della formazione | Strumenti per la didattica e per l’autoapprendimento | Scienze della Comunicazione e Linguistica | Lingue e culture - Mediazione interlinguistica e interculturale | Culture e Società | Economia | Statistica - Metodologia della ricerca sociale

—————————————————————————

eBooks

ePub | PDF

—————————————————————————

Autori e Curatori

A - B - C - D - E - F - G - H - I - J - K - L- M - N - O - P - Q - R - S - T - U - V - W - Z