Cantitate/Preț
Produs

Logica: Volume 1 - Dimostrazioni e modelli al primo ordine: UNITEXT, cartea 80

Autor Vito Michele Abrusci, Lorenzo Tortora de Falco
it Limba Italiană Paperback – 24 oct 2014
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 19644 lei  38-44 zile
  Springer – 11 dec 2018 19644 lei  38-44 zile
  Springer – 24 oct 2014 27582 lei  6-8 săpt.

Din seria UNITEXT

Preț: 27582 lei

Nou

Puncte Express: 414

Preț estimativ în valută:
5282 5442$ 4425£

Carte tipărită la comandă

Livrare economică 24 februarie-10 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9788847055377
ISBN-10: 8847055377
Pagini: 250
Ilustrații: IX, 190 pagg.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.29 kg
Ediția:2014
Editura: Springer
Colecția Springer
Seriile UNITEXT, La Matematica per il 3+2

Locul publicării:Milano, Italy

Public țintă

Upper undergraduate

Cuprins

​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.

Notă biografică

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.

Textul de pe ultima copertă

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.

Caracteristici

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 Includes supplementary material: sn.pub/extras