Logica: Volume 1 - Dimostrazioni e modelli al primo ordine: UNITEXT, cartea 80
Autor Vito Michele Abrusci, Lorenzo Tortora de Falcoit Limba Italiană Paperback – 24 oct 2014
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.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (2) | 196.44 lei 38-44 zile | |
Springer – 11 dec 2018 | 196.44 lei 38-44 zile | |
Springer – 24 oct 2014 | 275.82 lei 6-8 săpt. |
Din seria UNITEXT
- Preț: 423.61 lei
- 17% Preț: 402.50 lei
- Preț: 403.81 lei
- Preț: 447.04 lei
- 20% Preț: 571.53 lei
- Preț: 455.26 lei
- 13% Preț: 427.17 lei
- Preț: 335.80 lei
- Preț: 283.76 lei
- Preț: 269.55 lei
- Preț: 451.67 lei
- Preț: 221.26 lei
- Preț: 361.11 lei
- Preț: 391.09 lei
- 17% Preț: 363.84 lei
- Preț: 456.57 lei
- 17% Preț: 364.74 lei
- Preț: 362.48 lei
- Preț: 343.04 lei
- Preț: 326.66 lei
- Preț: 358.92 lei
- Preț: 350.22 lei
- Preț: 345.73 lei
- Preț: 240.38 lei
- 15% Preț: 783.49 lei
- Preț: 275.26 lei
- 15% Preț: 556.57 lei
- Preț: 295.90 lei
- Preț: 354.82 lei
- 17% Preț: 361.96 lei
- Preț: 547.80 lei
- Preț: 411.60 lei
- Preț: 221.87 lei
- Preț: 457.53 lei
- Preț: 434.32 lei
- Preț: 261.32 lei
- Preț: 192.41 lei
- Preț: 376.69 lei
- Preț: 494.32 lei
- Preț: 238.49 lei
- Preț: 379.18 lei
- Preț: 324.35 lei
- Preț: 432.57 lei
- Preț: 322.83 lei
- Preț: 267.60 lei
- Preț: 492.70 lei
- Preț: 327.42 lei
- Preț: 248.04 lei
- Preț: 328.93 lei
- Preț: 126.19 lei
Preț: 275.82 lei
Nou
Puncte Express: 414
Preț estimativ în valută:
52.82€ • 54.42$ • 44.25£
52.82€ • 54.42$ • 44.25£
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
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 undergraduateCuprins
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.
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.
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