Logica - Vito Michele Abrusci, Lorenzo Tortora de Falco

Blick ins Buch

Logica (eBook)

Volume 1 - Dimostrazioni e modelli al primo ordine

Vito Michele Abrusci, Lorenzo Tortora de Falco (Autoren)

eBook Download: PDF

2014 | 2014
IX, 190 Seiten
Springer Italia (Verlag)
978-88-470-5538-4 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

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.

Vito Michele Abrusci è Professore Ordinario di Logica e Fiolosofia presso l'Università degli Studi Roma Tre, dal 1996. Lorenzo Tortora de Falco è Professore associato di Logica presso la Facoltà di Lettere e Filosofia all'Università Roma Tre, dal 2005.

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.

Erscheint lt. Verlag	15.11.2014
Reihe/Serie	La Matematica per il 3+2
Reihe/Serie	UNITEXT
Verlagsort	Milano
Sprache	italienisch
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	funzioni ricorsive • logica del primo ordine • teorema di eliminazione del taglio • teoremi di incompletezza • teoria assiomatica degli insiemi
ISBN-10	88-470-5538-5 / 8847055385
ISBN-13	978-88-470-5538-4 / 9788847055384

Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?

PDF (Wasserzeichen)

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Print-Ausgabe

Buch | Softcover

CHF 35,95