COMPUTING WITH LOGIC LOGIC PROGRAMMING WITH PROLOG
DAVID MAIER1987 年出版535 页ISBN:0805366814
A Course of Pure Mathematics,Tenth Edition
[英]哈代(Hardy,G.H.)著2004 年出版509 页ISBN:711113785X
本书揭示了微积分基本思想、无穷级数的性质以及极限等数学方面的题材。
MATHEMATICS FOR BUSINESS AND SOCIAL SCIENCES FOURTH EDITION
ABE MIZRAHI MICHAEL SULLIVAN1988 年出版875 页ISBN:
THE VNR CONCISE ENCYCLOPEDIA OF MATHEMATICS SECOND EDITION
W.GELLERT S.GOTTWALD1975 年出版832 页ISBN:
INVESTIGATING BASIC COLLEGE MATHEMATICS:ANNOTATED INSTRUCTOR'S EDITION
LAURA BRACKEN HAZEL MCKENNA2003 年出版747 页ISBN:0534393071
For all practical purposes:introduction to contemporary mathematics
W.H.Freeman Company2222 年出版884 页ISBN:0716728419
GRADUATE TEXTS IN MATHEMATICS GENERAL RELATIVITY FOR MATHEMATICIANS
R.K.SACHS H.WU1977 年出版291 页ISBN:
CONSTRUCTIVE FORMALISM ESSAYS ON THE FOUNDATIONS OF MATHEMATICS
R.L.GOODSTEIN,D.LIT.2222 年出版91 页ISBN:
郭荣冰,常荆燕主编;杨敬华副主编;侯谦民,潘于丰,周田等编委2004 年出版126 页ISBN:7562920575
本书是根据教育部颁发的关于高职高专“离散数学”课程的基本要求而编写的“创新”教材, 分为数理逻辑, 集合、关系与函数, 代数系统, 图论等四章内容。用“类比法”、“对偶法”突出实用,通俗易懂,由浅入深,通......