購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架 暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
布尔加科夫
”共有
732
结果：
（小貼士：您可以使用“精確”查詢方式縮窄範圍）
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
离散数学及其应用（第3版）
『简体书』 作者：傅彦 等 出版：高等教育出版社 日期：2019-08-01 本书是国家精品课程主讲教材。本书系统介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学应用实例，并以课程设计和实验的方式举出大量的例子和应用 ... |
詳情>> | |
 |
离散数学及其应用（原书第8版）
『简体书』 作者：[美]肯尼思·H.，罗森[Kenneth H.，Rosen] 出版：机械工业出版社 日期：2019-10-01 本书是经典的离散数学教材，被全球数百所大学广为采用。书中全面而系统地介绍了离散数学的理论和方法，主要包括：逻辑和证明，集合、函数、序列、求和与矩阵，算法，数论和密码学，归纳与递归，计数，离散概率，关系，图，树，布尔代数，计算模型。全书取材广泛，除包括定义、定理 ... |
詳情>> | |
 |
离散数学
『简体书』 作者：崔艳荣，黄艳娟 主编，陈勇，胡杰，周张兰，冯伟 副主编 出版：清华大学出版社 日期：2019-10-01 本书将离散数学分为数理逻辑、集合论、代数系统和图论四个部分，系统地介绍了命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图、特殊图中有关的定义、定理及证明方法，并给出了离散数学中不同知识点在计算机科学中的应用。本书配有课后习题参考答案及电子教案。 ... |
詳情>> | |
 |
美国教师质量问责机制研究
『简体书』 作者：赵英 出版：北京师范大学出版社 日期：2019-09-01 本书基于布尔克的问责三角理论与汉纳谢克的问责四要素理论所构建起来的认识论框架，按照以国家取向、专业取向、市场取向为经，以问责的总体目标、基本标准、评估工具、结果奖惩为纬的整体框架，对美国教师质量问责理论与实践进行了较为系统的分析。本书对于构建具有中国特色的教师 ... |
詳情>> | |
 |
离散数学及其应用（原书第8版·本科教学版）
『简体书』 作者：[美] 肯尼思·H.罗森[KennethH.Rose 著 出版：机械工业出版社 日期：2020-03-01 本书是经典的离散数学教材，被数百所大学广为采用。本科教学版缩减了篇幅，保留的主要内容包括：逻辑和证明，集合、函数、序列、求和与矩阵，计数，关系，图，树，布尔代数。 取材广泛，除包括定义、定理的严格陈述外，还配备大量的例题、图表、应用实例和练习。第8版做了与时 ... |
詳情>> | |
 |
昆虫记
『简体书』 作者：[法]法布尔 出版：哈尔滨出版社 日期：2019-10-01 本书是法国昆虫学家法布尔以无比的热情、追求真理的精神，以人性观照虫性，将昆虫世界化作供人类获得知识、趣味、美感和思想的美文。它是一部倾其一生心血著成的科学巨著，是世界公认的青少年科普经典，更是被看作动物心理学的诞生。 在本书中，作者不仅仅是简单地记录昆虫，而 ... |
詳情>> | |
 |
离散数学及其应用（英文精编版·原书第8版）
『简体书』 作者：[美]肯尼思 H.，罗森[Kenneth H.，Rosen] 出版：机械工业出版社 日期：2019-12-01 本书是经典的离散数学教材，被全球数百所大学广为采用。英文精编版为满足本科教学需求而缩减了篇幅，保留的主要内容包括：逻辑和证明，集合、函数、序列、求和与矩阵，计数，关系，图，树，布尔代数。全书取材广泛，除包括定义、定理的严格陈述外，还配备大量的例题、图表、应用实 ... |
詳情>> | |
 |
奇妙数学史 从代数到微积分
『简体书』 作者：[英]迈克·戈德史密斯[Mike，Goldsmith] 出版：人民邮电出版社 日期：2020-01-01 你觉得数学很无聊吗？再想想。 这本书以趣味的方式讲述了代数学和微积分的故事，探索了数个世纪以来令人惊讶的数学发展过程。你知道布尔代数吗？它只使用了两个数字：1 和 0。在布尔运算中，1 1 总是等于 1。尽管这看起来很奇怪，但这种代数方法被用于在每个微芯片中 ... |
詳情>> | |
 |
离散数学及其应用（英文版·原书第8版）
『简体书』 作者：[美]肯尼思·H.，罗森[Kenneth H.，Rosen] 出版：机械工业出版社 日期：2020-01-01 本书是经典的离散数学教材，被全球数百所大学广为采用。书中全面而系统地介绍了离散数学的理论和方法，主要包括：逻辑和证明，集合、函数、序列、求和与矩阵，算法，数论和密码学，归纳与递归，计数，离散概率，关系，图，树，布尔代数，计算模型。全书取材广泛，除包括定义、定理 ... |
詳情>> | |
 |
外国经典诗歌珍藏丛书：叶芝诗选（精装）
『简体书』 作者：叶芝 著，傅浩 译 出版：时代文艺出版社 日期：2020-04-01 《叶芝诗选》精选叶芝的《快乐的牧人之歌》《在你年老时》《丽达与天鹅》《天青石雕》和《布尔本山下》等诗篇，展现了其早期华丽风格，善于营造梦幻般的氛围，以及其后期现代主义诗风。其中《在你年老时》是被国内读者熟知的英国经典歌颂爱情的诗歌，其语言简明，但情感丰富真切。 ... |
詳情>> | |
 |
外国经典诗歌珍藏丛书：叶芝诗选
『简体书』 作者：叶芝 出版：时代文艺出版社 日期：2020-02-01 《叶芝诗选》精选叶芝的《快乐的牧人之歌》《在你年老时》《丽达与天鹅》《天青石雕》和《布尔本山下》等诗篇，展现了其早期华丽风格，善于营造梦幻般的氛围，以及其后期现代主义诗风。其中《在你年老时》是被国内读者熟知的英国经典歌颂爱情的诗歌，其语言简明，但情感丰富真切。 ... |
詳情>> | |
 |
公理化集合论机器证明系统
『简体书』 作者：郁文生，孙天宇，付尧顺 出版：科学出版社 日期：2020-03-01 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理含选择公理 ... |
詳情>> | |
 |
昆虫记
『简体书』 作者：[法]让-亨利·法布尔 著，陈筱卿 译 出版：巴蜀书社 日期：2020-06-01 《昆虫记》是法国昆虫学家法布尔倾其一生心血著成的科学巨著，是久享盛名的青少年科普经典。他笔下的昆虫世界生机盎然，小小的昆虫恪守自然规则，为了生存和繁衍不懈努力，表现出惊人的灵性。本书不仅仅是简单的昆虫记录，而且以人性来观照昆虫世界，研究的是生命的活态生命与环境 ... |
詳情>> | |
 |
Python游戏趣味编程
『简体书』 作者：童晶 出版：人民邮电出版社 日期：2020-07-01 本书把趣味游戏开发应用于Python编程教学，通过介绍12个由易到难的趣味游戏案例的编写过程，带领读者从零基础开始学习。本书共13章，系统讲解了Python语言基本概念、开发环境搭建、循环、列表、数据类型、条件、复合运算符、字符串拼接、布尔变量、数组、函数、列 ... |
詳情>> | |
 |
少儿编程之旅 趣学Python
『简体书』 作者：张霞，刘颖 出版：人民邮电出版社 日期：2020-07-01 本书分为6章，系统全面地介绍了Python语言的基础语法、基本数据类型与组合数据类型。基本数据类型包括整数、浮点数、字符串、布尔值和空值；组合数据类型包括序列类型（字符串、列表和元组）、字典类型和集合类型。 本书包括IT行业的14个故事与话题，例如伊莉莎程序、 ... |
詳情>> | |
 |
昆虫记（青少年科普经典 诺贝尔奖提名作品）
『简体书』 作者：[法]法布尔 出版：中国友谊出版公司 日期：2020-07-01 《昆虫记》是法国昆虫学家法布尔以无比的热情、追求真理的精神，倾其一生心血著成的科学巨著，是世界公认的青少年科普经典。在他的笔下，昆虫世界是如此千奇百怪、生机盎然，小小的昆虫恪守自然规则，为了生存和繁衍进行着不懈的努力，蜘蛛、蜜蜂、螳螂、蝎子、蝉、甲虫、蟋蟀等尤 ... |
詳情>> | |
 |
《自然》百年物理经典II（英汉对照）
『简体书』 作者：[英]菲利普·鲍尔[Philip，Ball]赵忠贤 主编 出版：外语教学与研究出版社 日期：2020-08-01 《〈自然〉百年物理经典II（英汉对照）》是《〈自然〉百年物理经典》中的一册，精选了《自然》杂志1939年2005年期间发表的重要物理学论文近百篇，并为每篇文章撰写了简短的导读，读者可以迅速了解文章大意和研究背景。在这期间劳特布尔等发明了核磁共振成像技术；霍金提 ... |
詳情>> | |
 |
计算机文化基础
『简体书』 作者：刘文胜 出版：华中科技大学出版社 日期：2020-09-01 《计算机文化基础》涵括了计算机硬件、软件系统的两大内容，全书分上下两篇，8大部分，12个章节。上篇为计算机组成与工作原理，由布尔代数和一位加法器进而说明电子数字计算机的工作机制，各章节分别是：CH1 微机系统概述、CH2 微机硬件选购与装配技术、CH3 微机软 ... |
詳情>> | |
 |
基本逻辑学——思维与表达正确性问题探究
『简体书』 作者：冯琦 出版：科学出版社 日期：2020-09-01 本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德 ... |
詳情>> | |
 |
数字逻辑电路分析与设计（第二版）（英文版）
『简体书』 作者：[美]Victor P.，Nelson[维克多 ? P.，纳 出版：电子工业出版社 日期：2020-11-01 本书以介绍数字设计的基础知识以及丰富案例为主要特色，并在*版的基础上进行了全面的修订与更新，更加突出了数字设计相关技术的应用。本书内容包括：计算机与数字系统，数制系统，逻辑电路与布尔代数，组合逻辑电路分析与设计，时序逻辑电路简介，同步时序逻辑电路分析与设计，异 ... |
詳情>> | |