Dependence Logic - Väänänen Jouko | Libro Cambridge University Press 05/2007 - HOEPLI.it


home libri books ebook dvd e film top ten sconti 0 Carrello


Torna Indietro

väänänen jouko - dependence logic

Dependence Logic A New Approach to Independence Friendly Logic




Disponibilità: Momentaneamente non ordinabile
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
136,98 €
NICEPRICE
130,13 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 05/2007





Sommario

Preface; 1. Introduction; 2. Preliminaries; 3. Dependence logic; 4. Examples; 5. Game theoretic semantics; 6. Model Theory; 7. Complexity; 8. Team logic; 9. Solutions to selected exercises by Ville Nurmi; References; Index.




Prefazione

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of independence friendly logic.




Trama

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.




Autore

Jouko Väänänen is Professor of Mathematics at the University of Helsinki.







Altre Informazioni

ISBN:

9780521876599

Condizione: Nuovo
Collana: London Mathematical Society Student Texts
Dimensioni: 229 x 17 x 152 mm Ø 520 gr
Formato: Copertina rigida
Illustration Notes:28 b/w illus. 31 tables 221 exercises
Pagine Arabe: 236






Utilizziamo i cookie di profilazione, anche di terze parti, per migliorare la navigazione, per fornire servizi e proporti pubblicità in linea con le tue preferenze. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie clicca qui. Chiudendo questo banner o proseguendo nella navigazione acconsenti all’uso dei cookie.

X