Logga in

Li, Wei

Mathematical Logic

Li, Wei - Mathematical Logic, e-bok

54,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783764399771
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. Syntax of First-Order Languages
Wei Li

2. Models of First-Order Languages
Wei Li

3. Formal Inference Systems
Wei Li

4. Computability & Representability
Wei Li

5. Gödel Theorems
Wei Li

6. Sequences of Formal Theories
Wei Li

7. Revision Calculus
Wei Li

8. Version Sequences
Wei Li

9. Inductive Inference
Wei Li

10. Workflows for Scientific Discovery
Wei Li

Nyckelord: Computer Science, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations

Författare
Utgivare
Springer
Utgivningsår
2010
Språk
en
Utgåva
1
Serie
Progress in Computer Science and Applied Logic (PCS)
Sidantal
273 sidor
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783764399771

Liknande e-böcker