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

  • 13% Introduction to Methods for Nonlinear Optimization
    Preț: 43020 lei
  • A Circle-Line Study of Mathematical Analysis
    Preț: 40380 lei
  • Numerical Analysis of Ordinary and Delay Differential Equations
    Preț: 29804 lei
  • Mixed Boundary Problems in Solid Mechanics
    Preț: 44127 lei
  • 20% Mathematical Physics: Classical Mechanics
    Preț: 57150 lei
  • Linear Algebra for the Sciences
    Preț: 33821 lei
  • 17% Commutative Algebra through Exercises
    Preț: 36473 lei
  • Scienza delle Costruzioni: Elementi di teoria dell'elasticità lineare
    Preț: 35783 lei
  • 18% A Primer on Mathematical Modelling
    Preț: 23268 lei
  • Eserciziario di Statistica Inferenziale
    Preț: 26603 lei
  • Lectures on Optimal Transport
    Preț: 35891 lei
  • Calcolo Scientifico: Esercizi e problemi risolti con MATLAB e Octave
    Preț: 22126 lei
  • Metodi e Modelli Matematici per le Dinamiche Urbane
    Preț: 27167 lei
  • A Cookbook with Probability One: With Financial Applications
    Preț: 36110 lei
  • Selected Exercises in Algebra: Volume 2
    Preț: 38606 lei
  • Financial Mathematics: Theory and Problems for Multi-period Models
    Preț: 45066 lei
  • Elements of Probability and Statistics: An Introduction to Probability with de Finetti’s Approach and to Bayesian Statistics
    Preț: 44938 lei
  • 17% Mathematical Finance: Theory Review and Exercises
    Preț: 36383 lei
  • 15% Discrete Calculus: Methods for Counting
    Preț: 54937 lei
  • Modelli Lineari Generalizzati
    Preț: 32246 lei
  • Probabilità, Statistica e Simulazione: Programmi applicativi scritti in R
    Preț: 34129 lei
  • Selected Exercises in Algebra: Volume 1
    Preț: 34573 lei
  • 17% Mathematical Analysis: Functions of Several Real Variables and Applications
    Preț: 40248 lei
  • Geometria proiettiva: Problemi risolti e richiami di teoria
    Preț: 23724 lei
  • 15% From Ordinary to Partial Differential Equations
    Preț: 77333 lei
  • 17% Optimization and Approximation
    Preț: 36196 lei
  • Projective Geometry: Solved Problems and Theory Review
    Preț: 54073 lei
  • An Introduction to Special Functions
    Preț: 40630 lei
  • Teoria Spettrale e Meccanica Quantistica: Operatori in Spazi di Hilbert
    Preț: 22185 lei
  • Solved Problems in Quantum and Statistical Mechanics
    Preț: 45162 lei
  • Metodi di ottimizzazione non vincolata
    Preț: 43431 lei
  • Manuale di Relatività Ristretta: Per la Laurea triennale in Fisica
    Preț: 25791 lei
  • Sicurezza del Trasporto Aereo
    Preț: 19241 lei
  • Logic: a Brief Course
    Preț: 37185 lei
  • Curves and Surfaces
    Preț: 48795 lei
  • I capricci del caso: Introduzione alla statistica, al calcolo della probabilità e alla teoria degli errori
    Preț: 23537 lei
  • Algebra for Symbolic Computation
    Preț: 37430 lei
  • Analisi Dimensionale e Modellistica Fisica: Principi e applicazioni alle Scienze Ingegneristiche
    Preț: 32018 lei
  • Problems in Quantum Mechanics: with Solutions
    Preț: 43256 lei
  • Algebra
    Preț: 31868 lei
  • Esercizi di metodi matematici della fisica: Con complementi di teoria
    Preț: 26412 lei
  • Solving Numerical PDEs: Problems, Applications, Exercises
    Preț: 48634 lei
  • Ingegneria degli acquiferi
    Preț: 32321 lei
  • Esercizi di Fisica: Meccanica e Termodinamica
    Preț: 24481 lei
  • Campionamento da popolazioni finite: Il disegno campionario
    Preț: 32470 lei
  • Meccanica quantistica: problemi scelti: 100 problemi risolti di meccanica quantistica
    Preț: 12617 lei
  • Introduzione ai frattali in fisica
    Preț: 47962 lei
  • Elementi di Fisica Teorica
    Preț: 32470 lei
  • Metodi matematici per la teoria dell’evoluzione
    Preț: 31036 lei
  • Fisica Solare
    Preț: 27167 lei

Preț: 19093 lei

Nou

Puncte Express: 286
Preț estimativ în valută:
3654€ • 3853$ • 3042£

Carte tipărită la comandă

Livrare economică 06-13 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9788847018839
ISBN-10: 8847018838
Pagini: 126
Ilustrații: XI, 126 pagg.
Greutate: 0.3 kg
Ediția:2011
Editura: Springer
Colecția Springer
Seriile UNITEXT, La Matematica per il 3+2

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