Isbn: 9787303136025 - model theory and its application in computer science (j2)(chinese edition) (1 resultados)

paperback. Condición: New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Paperback Pages Number: 300 Language: Chinese. Basic Course of Mathematics and Applied Mathematics series of textbooks for university textbooks: model theory and its application in computer science is to give undergraduate and graduate students of the Department of Mathematics and Computer Science Department class of model theory. its main content is the model on the basic principles and application in computer science computing complexity theory and machine proof. Basic Course of Mathematics and Applied Mathematics series textbooks Learning from the textbook of the new century: model theory and its application in computer science a total of 20 chapters. including the occurrence and development of model theory. knowledge of the preparation on the set theory. model theory in the form of language. the basic nature of the model. the compactness theorem LST theorem. Basic Course of Mathematics and Applied Mathematics series textbooks Learning from the textbook of the new century: model theory and its application in computer science for the relevant reference reading.Four Satisfaction guaranteed,or money back.…