返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
本书对初步、经典的数理逻辑进行了讲述，介绍了命题演算、谓词演算、模态逻辑演算，以及构造性逻辑演算等几方面内容。
本书主要内容为船舶动力装置概论、船舶推进装置、船舶管路系统、船舶防污设备及管理、船舶电气及轮机自动化设备的管理、轮机节能技术、备件、物件的管理、轮机安全运行及应急处理。...
