Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Logica electronic resource Volume 1 Dimostrazioni e modelli al primo ordine / by Vito Michele Abrusci, Lorenzo Tortora Falco.

By: Abrusci, Vito Michele [author.]Contributor(s): Falco, Lorenzo Tortora [author.] | SpringerLink (Online service)Material type: TextTextSeries: UNITEXTPublication details: Milano : Springer Milan : Imprint: Springer, 2014Description: IX, 190 pagg. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9788847055384Subject(s): mathematics | logic | Computer Science | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and Foundations | Logic | Mathematical Logic and Formal LanguagesDDC classification: 511.3 LOC classification: QA8.9-10.3Online resources: Click here to access online
Contents:
1 Introduzione -- 2 Alcune nozioni preliminari -- 3 Dimostrabilità e soddisfacibilità -- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK -- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.
In: Springer eBooksSummary: Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello. Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze. Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

1 Introduzione -- 2 Alcune nozioni preliminari -- 3 Dimostrabilità e soddisfacibilità -- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK -- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza.

Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello. Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze. Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale.

There are no comments on this title.

to post a comment.