Mathematical Logic
Foundations for Information Science
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the…
Mehr
CHF 86.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
- ISBN: 978-3-0348-0861-3
- EAN: 9783034808613
- Produktnummer: 16572694
- Verlag: Springer Basel
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 316 S.
- Masse: H24.1 cm x B16.0 cm x D2.3 cm 641 g
- Auflage: 2nd ed. 2014
- Abbildungen: HC runder Rücken kaschiert
- Gewicht: 641
Über den Autor
Wei Li is Professor at the School of Computer Science and Engineering and Director of the National Laboratory of Software Development Environment at Beihang University in Beijing, China.
100 weitere Werke von Wei Li:
China und China-Erfahrung in Leben und Werk von Anna Seghers
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 72.25
Organisational Semiotics for Business Informatics
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 59.95
Service Science and Knowledge Innovation
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 157.50
Information and Knowledge Management in Complex Systems
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 104.00
Digitalisation, Innovation, and Transformation
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 118.00
Wireless Algorithms, Systems, and Applications
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 125.00
Organisational Semiotics for Business Informatics
Foundations for Information Science
Foundations for Information Science
Ebook (EPUB Format)
CHF 59.35
Advanced Seat Suspension Control System Design for Heavy Duty Vehicles
Foundations for Information Science
Foundations for Information Science
Ebook (EPUB Format)
CHF 206.40
Data Driven Smart Manufacturing Technologies and Applications
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 177.00
Intelligent Computing and Block Chain
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 106.50
Security, Privacy, and Anonymity in Computation, Communication, and Storage
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 97.00
Smart Growth and Sustainable Development
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 118.00
Convex Optimization for Signal Processing and Communications
Foundations for Information Science
Foundations for Information Science
Ebook (EPUB Format)
CHF 54.15
Convex Optimization for Signal Processing and Communications
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 54.15
Sustainable Manufacturing and Remanufacturing Management
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 177.00
Stereoselective Formation of Amines
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 275.50
Combinatorial Optimization and Applications
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 113.50
Wireless Algorithms, Systems, and Applications
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 153.50
Algorithmic Aspects in Information and Management
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 106.50
Echocardiography in Adult Congenital Heart Disease
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 159.50
Teaching Overweight Students in Physical Education
Foundations for Information Science
Foundations for Information Science
Ebook (EPUB Format)
CHF 54.80
The SAGE Handbook of International Migration
Foundations for Information Science
Foundations for Information Science
Ebook (EPUB Format)
CHF 138.00
Renewable Energy Microgeneration Systems
Foundations for Information Science
Foundations for Information Science
Ebook (EPUB Format)
CHF 185.75
Security, Privacy, and Anonymity in Computation, Communication, and Storage
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 87.50
Human-Centered Urban Planning and Design in China: Volume I
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 153.50
Human-Centered Urban Planning and Design in China: Volume II
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 153.50
Teaching Overweight Students in Physical Education
Foundations for Information Science
Foundations for Information Science
Ebook (PDF Format)
CHF 53.50
Bewertungen
Anmelden