数理化
-
国外计算机科学教材系列 可计算性与数理逻辑
(美)布勒斯(Boolos,G.S.)等著2003 年出版356 页ISBN:7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。...
-
数学教学法 工艺、铁路和矿业工人技术学校数学教学参考书
(苏)巴尔苏可夫(А.Н.БарсуКов),(苏)多布雷宁(И.Н.Добрынин)著;中华人民共和国劳动部技工培训司译1956 年出版198 页ISBN:15033·136
本类热门