Articoli correlati a Mathematical Logic: Foundations for Information Science

Mathematical Logic: Foundations for Information Science - Brossura

Li, Wei

 
9783034808637: Mathematical Logic: Foundations for Information Science
Brossura
ISBN 10: 3034808631 ISBN 13: 9783034808637
Casa editrice: Birkhäuser, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Preface.- Preface to the Second Edition.- I Elements of Mathematical Logic.- 1 Syntax of First-Order Languages.- 2 Models of First-Order Languages.- 3 Formal Inference Systems.- 4 Computability & Representability.- 5 Gödel Theorems.- II Logical Framework of Scientific Discovery.- 6 Sequences of Formal Theories.- 7 Revision Calculus.- 8 Version Sequences.- 9 Inductive Inference.- 10 Meta-Language Environments.- Appendix 1 Sets and Maps.- Appendix 2 Proof of the Representability Theorem.- Bibliography.- Index.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Birkhäuser
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3034808631
ISBN 13 
9783034808637
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783034808613: Mathematical Logic: Foundations for Information Science: 25

Edizione in evidenza

ISBN 10:  3034808615 ISBN 13:  9783034808613
Casa editrice: Birkhauser, 2014
Rilegato