登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 尼罗河往事：古埃及文明4000年 》 售價：NT$ 347.0 《 一个人·谁也不是·十万人（诺贝尔文学奖得主反思自我的巅峰之作） 》 售價：NT$ 250.0 《 重写晚明史（全5册 精装） 》 售價：NT$ 3560.0 《 汉末晋初之际政治研究 》 售價：NT$ 602.0 《 强者破局：资治通鉴成事之道 》 售價：NT$ 367.0 《 鸣沙丛书·鼎革：南北议和与清帝退位 》 售價：NT$ 551.0 《 从康德到黑格尔的发展：兼论宗教哲学（英国观念论名著译丛） 》 售價：NT$ 275.0 《 突破不可能：用特工思维提升领导力 》 售價：NT$ 352.0

建議一齊購買： + NT$ 514 《 Python应用开发实战 》 + NT$ 514 《 图解数据结构--使用Python 》 + NT$ 579 《 现代编译原理 C语言描述 修订版 》 + NT$ 319 《 HTTP/2基础教程 》 + NT$ 497 《 函数式算法设计珠玑 》 + NT$ 518 《 Haskell函数式程序设计 》 編輯推薦： 当前，函数式语言和函数式编程掀起了一股新的热潮，人们用函数式语言开发出越来越多的应用和系统。OCaml就是一种函数式程序设计语言。 本书是学习OCaml语言的入门读物，重点讲解函数式编程的基础知识以及OCaml语言编程技巧，同时兼顾应用软件开发的需求。本书注意将OCaml编程方式同其他语言的编程方式进行比较，便于熟悉其他语言的程序员理解OCaml的特点。书中给出了很多示例代码，并且在每章末尾给出了一些练习题，以帮助读者掌握所学的知识。附录部分给出了部分练习题的解答。 本书适合想要了解函数式语言原理和学习OCaml程序设计的读者阅读参考。 本书包括以下内容： ★ 函数式控制结构及OCaml语言基础； ★ 函数式数据结构； ★ 模块化程序设计； ★ 命令式程序设计； ★ 模块化图形程序设计； ★ 移植OCaml图形程序到F#； ★ 多语言联合程序设计； ★ 面向对象程序设计。 本书深入浅出，循序渐进，非常适合初学者从零起步阅读和学习。另一方面，书中不仅讨论了大量语言特征的情况和编程技术问题，也介绍了一些背景和相关理论问题，以帮助读者更清晰地理解函数式编程的思想、技术和方法。本书的出版将大大 內容簡介： OCaml语言是一种函数式程序设计语言。 本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧，同时兼顾应用软件开发的需求。全书共8章，前5章讲解OCaml语言的函数式控制结构、数据结构、模块化程序设计、命令式程序设计和图形程序设计；第6章介绍如何把OCaml移植到F#，第7章介绍通过C#开发的用户界面调用OCaml或F#程序，第8章介绍面向对象程序设计。 本书适合想要学习OCaml程序语言或者想要学习函数式编程的读者阅读参考。 關於作者： 陈钢 航天科工集团三院304所国家千人计划专家，中国计算机学会会员。本科毕业于浙江大学数学，硕士毕业于北京大学计算机系，并在法国巴黎第七大学获得计算机博士学位。在OCaml语言和COQ定理证明器发源地受过专业训练，是国内初次开展COQ定理证明工作及其在集成电路中的应用的学者，曾在上海交大、南澳大学、波士顿大学、摩托罗拉公司工作。2013年加入航天科工集团三院304所，从事基于定理证明的AES加密算法验证与FPGA实现研究、缺陷分析软件评估研究和形式化飞行控制数学研究。2017年组织了计算机学会形式化工程数学研讨会。 张静 东北大学计算机专业本科毕业。在北京京航计算通讯研究所工作期间，跟随陈钢老师学习OCaml和COQ，并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.