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 |
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.
|
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 | 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 dellUniversità degli Studi G. dAnnunzio | 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 | Spazio Tesi | Piccoli Giganti Edizioni | Quaderni TaLTaC | Mots Palabras Words - Saggi | Problemata
Letteratura. Studi e testi | 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 | Etica | Informatica umanistica | Scienze della comunicazione - Linguistica| Scienze della formazione | Strumenti per la didattica e per lautoapprendimento | Lingue e Culture | Cultura - Società - Ambiente | Economia | Matematica - Statistica - Metodologia della ricerca sociale
ePub | PDF
A - B - C - D - E - F - G - H - I - J - K - L- M - N - O - P - Q - R - S - T - U - V - W - Z