找到 3 条结果 按相关性 按时间降序
离散数学
本书是全国高等学校计算机教育研究会支持的立项教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，旨在为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。 本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材，也可作为教师、研究生或软件技术人员的参考书。
Java面向对象程序设计(微课视频版)
TOIBE公布的近20年来的编程语言排行榜中，Java语言基本每年霸占TIOBE指数榜单的前3名，已经成为热门且主流的程序设计语言。同时，为贯彻落实2020年教育部印发的《高等学校课程思政建设指导纲要》中对工科类专业课程提出的课程思政要求，本书从实用性和思政性两方面设计了一些包含思政元素的编程案例，将思政元素有机融入程序的代码编写中，寓价值观引导于知识传授和程序设计能力培养之中。 本书共13章，主要讲解面向对象程序设计思想与特性、Java语言概述、变量与常量、运算符与表达式、选择结构与循环结构、方法与数组、类与对象、继承与多态、抽象类与接口、内部类与异常、Java常用类、集合与泛型、Lambda与Stream、文件与I/O流、JDBC数据库操作、多线程与网络编程、反射与注解等内容。本书提供了大量应用实例，每章后均附有习题，并且在大部分章节中指出了思政元素融入点。 本书可作为高等院校本科、专科计算机类相关专业的面向对象程序设计（Java）或Java语言程序设计课程的教材，也可作为自学编程人员的参考用书。
离散数学（微课版）
本书是“全国高等学校计算机教育研究会‘十四五’规划教材”，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程的重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。本书知识结构完整，内容丰富，不仅配备了符合教学目标的课后习题，还配备了重点章节的微课视频，既方便教学，又方便自学。 本书可作为高等院校计算机科学与技术及相关专业离散数学课程的教材，也可作为教师、研究生或软件技术人员的参考书。
- 1