Computability and Mathematical Logic - Softcover

( MEI ) BU LE SI DENG / HE ZI QIANG DENG

 
9787121007798: Computability and Mathematical Logic

Synopsis

Pub Date :2005-7-1 288 Electronic Industry Press This book is a classic logical teaching. the fourth edition has been completely revised to improve readability. The book discusses the computability theory. basic logic element and some advanced topics . This book also applies to no mathematical background of students . including not only the medium- depth discussion of the basic logic tutorial topics. Cantabile del incompleteness theorem . and involve from Turing computability theory to Ramsey theorem a large number of topics. which has become a classic textbook. The book also added at the end of each chapter exercises. and reorganized and rewritten some of the chapters. each chapter in order to make more independent of each other . increasing the flexibility of teachers to teach . and then expand the scope of use of the book . This book is suitable mathemat...

"synopsis" may belong to another edition of this title.