Cantitate/Preț
Produs
Total produse
Vezi coșul
Logica: Metodo Breve de Daniele Mundici

Logica: Metodo Breve: UNITEXT, cartea 50

Autor Daniele Mundici
it Limba Italiană Paperback – 10 feb 2011
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
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ț: 37209 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ț: 48889 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ț: 35753 lei
  • 15% Exercise Book of Statistical Inference
    Preț: 62820 lei
  • A Gentle Invitation to the Fractional World
    Preț: 38301 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ț: 20161 lei

Puncte Express: 302

Carte tipărită la comandă

Livrare economică 15-21 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

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

Specificații

ISBN-13: 9788847018839
ISBN-10: 8847018838
Pagini: 144
Ilustrații: XI, 126 pagg.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.23 kg
Ediția:2011
Editura: Springer
Colecția UNITEXT
Seria UNITEXT

Locul publicării:Milano, Italy

Public țintă

Upper undergraduate

Caracteristici

Senza richiedere prerequisiti, lo studente perviene alla dimostrazione del teorema di completezza di Goedel per la logica dei predicati con eguaglianza Numerosi esercizi guidano il lettore a una lettura attiva e a una piena comprensione dei concetti logici fondamentali Le nozioni fondamentali sintattiche e semantiche vengono presentate in contesti di complessita' crescente, partendo dalla logica proposizionale delle clausole, fino alla logica dei predicati con eguaglianza Lo studente interessato alla computer science puo' trovare in questo testo una introduzione, elementare ma rigorosa, alla deduzione automatica Gli studenti di filosofia e linguistica troveranno semplici esercizi esemplificativi dei teoremi fondamentali, basati sul linguaggio naturale Includes supplementary material: sn.pub/extras