Cantitate/Preț
Produs
Total produse
Vezi coșul
Logica de Vito Michele Abrusci

Logica: 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

Din seria UNITEXT

  • Measure, Integration and a Primer on Probability Theory: Volume 1
    Preț: 41764 lei
  • Eserciziario di Statistica Inferenziale
    Preț: 26089 lei
  • Geometria proiettiva
    Preț: 22934 lei
  • Financial Mathematics
    Preț: 44106 lei
  • 15% Discrete Calculus
    Preț: 53442 lei
  • Calcolo Scientifico
    Preț: 23221 lei
  • 15% From Ordinary to Partial Differential Equations
    Preț: 52141 lei
  • Modelli Lineari Generalizzati
    Preț: 31942 lei
  • Metodi e Modelli Matematici per le Dinamiche Urbane
    Preț: 26833 lei
  • Probabilità, Statistica e Simulazione
    Preț: 36932 lei
  • Topology
    Preț: 34592 lei
  • Mathematical Analysis
    Preț: 42859 lei
  • Scienza delle Costruzioni
    Preț: 35292 lei
  • Numerical Analysis of Ordinary and Delay Differential Equations
    Preț: 33491 lei
  • 15% Partial Differential Equations in Action
    Preț: 48067 lei
  • Mathematical Finance
    Preț: 36357 lei
  • Linear Algebra for the Sciences
    Preț: 31356 lei
  • 15% Introduction to Methods for Nonlinear Optimization
    Preț: 38606 lei
  • A Compact Course on Linear PDEs
    Preț: 44146 lei
  • Mixed Boundary Problems in Solid Mechanics
    Preț: 43500 lei
  • Commutative Algebra through Exercises
    Preț: 38985 lei
  • A Cookbook with Probability One
    Preț: 31568 lei
  • Exact Controllability and Stabilization of the Wave Equation
    Preț: 33680 lei
  • Probability Theory II
    Preț: 45276 lei
  • The Forcing Method in Set Theory
    Preț: 31323 lei
  • Lectures on Optimal Transport
    Preț: 37689 lei
  • Calculus Problems, II
    Preț: 35157 lei
  • 20% Exercise Book of Statistical Inference
    Preț: 61433 lei
  • A Gentle Invitation to the Fractional World
    Preț: 37659 lei
  • Elements of Probability and Statistics
    Preț: 44040 lei
  • Teoria Spettrale e Meccanica Quantistica
    Preț: 31087 lei
  • Solved Problems in Quantum and Statistical Mechanics
    Preț: 44702 lei
  • Metodi di ottimizzazione non vincolata
    Preț: 46992 lei
  • Manuale di Relatività Ristretta
    Preț: 25490 lei
  • Sicurezza del Trasporto Aereo
    Preț: 20813 lei
  • Logic: a Brief Course
    Preț: 36719 lei
  • Curves and Surfaces
    Preț: 47930 lei
  • I capricci del caso
    Preț: 22836 lei
  • Algebra for Symbolic Computation
    Preț: 37005 lei
  • Analisi Dimensionale e Modellistica Fisica
    Preț: 31749 lei
  • 17% Problems in Quantum Mechanics: with Solutions
    Preț: 38591 lei
  • Algebra
    Preț: 31582 lei
  • Esercizi di metodi matematici della fisica
    Preț: 26280 lei
  • Solving Numerical PDEs: Problems, Applications, Exercises
    Preț: 47736 lei
  • Ingegneria degli acquiferi
    Preț: 32060 lei
  • Esercizi di Fisica: Meccanica e Termodinamica
    Preț: 23434 lei
  • Campionamento da popolazioni finite
    Preț: 35431 lei
  • Meccanica quantistica: problemi scelti: 100 problemi risolti di meccanica quantistica
    Preț: 13647 lei
  • Introduzione ai frattali in fisica
    Preț: 47426 lei
  • Elementi di Fisica Teorica
    Preț: 32220 lei

Preț: 26914 lei

Puncte Express: 404
Paperback (2) de la 25068 lei

Carte tipărită la comandă

Livrare economică 17 iunie-01 iulie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9788847055377
ISBN-10: 8847055377
Pagini: 204
Ilustrații: IX, 190 pagg.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:2014
Editura: Springer
Colecția UNITEXT
Seria UNITEXT

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