Mathematical Logic Algorithm Theory by Yuan Xiang (1 results)

paperback. Condition: New. Language:Chinese.Paperback. Pub Date: 2023-04 Pages: 180 Publisher: China Railway Publishing House This book takes the evolution of mathematical logic and algorithm theory as the main line. and discusses its main features in combination with the development of computer and artificial intelligence disciplines. This book is divided into 8 chapters. and the main contents include the mathematical history view of the unity of algorithmization and axiomatization. the mathematization of logic. the a.…