Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - Grāmatas - Springer Nature Switzerland AG - 9783030878849 - 2022. gada 5. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Zhe Hou
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 2021 edition

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Zhe Hou izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

222 pages, 6 Illustrations, color; 28 Illustrations, black and white; X, 222 p. 34 illus., 6 illus.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2022. gada 5. decembris
ISBN13 9783030878849
Izdevēji Springer Nature Switzerland AG
Lapas 222
Izmēri 233 × 155 × 17 mm   ·   366 g
Valoda Vācu  

Vairāk no tā paša izdevēja

Skatīt visus Zhe Hou ( piem., Hardcover Book un Paperback Book )