La Matematica per il 3+2

Logica

Volume 1 - Dimostrazioni e modelli al primo ordine

Authors: Abrusci, Vito Michele, Tortora de Falco, Lorenzo

Free Preview
  • ​Un testo che permette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea
  • Una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica, e la presentazione della teoria assiomatica degli insiemi
  • La presenza di un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi
おすすめポイントをすべて見る

書籍の購入

イーブック n/a
  • ISBN 978-88-470-5538-4
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
ソフトカバー n/a
  • ISBN 978-88-470-5537-7
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
この教本について

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.

Table of contents (5 chapters)

Table of contents (5 chapters)
  • Introduzione

    Pages 1-35

    Abrusci, Vito Michele (et al.)

  • Alcune nozioni preliminari

    Pages 37-48

    Abrusci, Vito Michele (et al.)

  • Dimostrabilità e soddisfacibilità

    Pages 49-108

    Abrusci, Vito Michele (et al.)

  • Verso la teoria della dimostrazione: il teorema di eliminazione del taglio per LK

    Pages 109-136

    Abrusci, Vito Michele (et al.)

  • Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza

    Pages 137-178

    Abrusci, Vito Michele (et al.)

書籍の購入

イーブック n/a
  • ISBN 978-88-470-5538-4
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
ソフトカバー n/a
  • ISBN 978-88-470-5537-7
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
Loading...

あなたへのおすすめ

Loading...

書誌情報

Bibliographic Information
Book Title
Logica
Book Subtitle
Volume 1 - Dimostrazioni e modelli al primo ordine
Authors
Series Title
La Matematica per il 3+2
Series Volume
80
Copyright
2014
Publisher
Springer-Verlag Mailand
Copyright Holder
Springer-Verlag Italia
イーブック ISBN
978-88-470-5538-4
DOI
10.1007/978-88-470-5538-4
ソフトカバー ISBN
978-88-470-5537-7
Series ISSN
2038-5722
Edition Number
1
Number of Pages
IX, 190
Topics