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

€ 48,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 | 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 | 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 | Storia delle arti e dello spettacolo | Scienze dell’antichità | 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 | Etica | Informatica umanistica | Scienze della comunicazione - Linguistica| Scienze della formazione | Strumenti per la didattica e per l’autoapprendimento | Lingue e Culture | Cultura - Società - Ambiente | Economia | Matematica - Statistica - Metodologia della ricerca sociale | Scienza e Tecnologia

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

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