本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。

编程思维可以分解为4个部分：问题分解，模式识别，抽象思维，算法设计。这是一种高效且实用的思维方式，尤其在处理看起来很复杂的问题上，非常有效。生活上处处可以运用编程思维。在21世纪的今天，各项各业都已经和信息技术相结合，科学研究更是如此，由此而产生众多交叉学科，编程便成为了交叉学科的*基本技能。编程思维涵盖了反映计算机科学之广泛性的一系列思维活动，是适合每个人的一种普遍的认识和一类普适的技能。本教程希望通过Blockly可视化编程语言作为编程入门工具，通过类似拼图的方式构建出程序，结合游戏案

本书根据读者的特点，采用图文并茂的方式，通过10个来自实际工作的项目，详细介绍了部署虚拟环境安装Windows Server 2016操作系统、活动目录的配置与管理、DHCP服务器的配置与管理、DNS服务器的配置与管理、Web和FTP服务器的配置与管理、证书服务器的配置与管理、Web Farm网络负载均衡、远程桌面服务、虚拟专用网络的安装与配置，以及网络地址转换。 本书适合作为高等教育本、专科院校计算机网络技术相关专业的教材，也可供网络技术人员参考使用。

本书是国家级精品课程、国家精品资源共享课和国家在线精品课程的配套教材，以目前被广泛应用的CentOS 7.4服务器为例，完全兼容RHEL 7.4服务器，采用教、学、做相结合的模式，以理论为基础，着眼应用，全面系统地介绍了利用Linux操作系统架设网络服务器的方法，内容包括: 搭建与测试Linux服务器、常用的Linux命令、Shell与Vim编辑器、学习Shell Script、用户和组管理、文件系统和磁盘管理、DHCP服务器配置、DNS服务器配置、NFS网络文件系统服务、Samba服务器配置、

ROS是一个构建在Linux上的机器人开发系统，本书将Linux操作系统基础与ROS应用融为一体，并用大量实例和案例来帮助读者理解和掌握Linux操作系统和ROS的相关知识。本书共分操作系统概述、进程管理、处理机调度、常用命令、文件系统管理、脚本编程、Linux的服务器配置、Linux的开发环境配置、Linux的数据库部署、基于Linux的ROS应用概述、ROS架构及概念、ROS编程等章节。
本书在介绍Linux基本知识的基础上，融合ROS应用技术，采用知识图谱的形式展现了本书的

本书以应用为导向，基于CentOS Stream 9/RHEL 9，侧重讲解Linux操作系统不同发行版的共性技术。本书共12章，分为4篇：快速入门篇、系统管理篇、基础应用篇、前沿应用篇。第1篇主要包括：Linux操作系统概述、命令行基础。第2篇主要包括：文件和目录管理、用户和组管理、磁盘存储管理、进程管理。第3篇主要包括：软件包与网络服务管理、Shell编程、Linux C编程。第4篇主要通过综合案例介绍Linux操作系统在人工智能、大数据、Docker容器等场景中的应用。
本

"本书是高等职业教育计算机类专业基础课黑马程序员校企“双元”系列教材之一。    作为一本介绍Linux操作系统的入门教材，本书共14个项目：项目1介绍Linux操作系统的安装与使用；项目2～9介绍Linux操作系统的核心知识，包括用户与用户组、文件管理、vim编辑器、软件包管理、进程管理、磁盘管理、网络管理、系统安全管理等；项目10～14介绍Linux操作系统的常用服务，包括Apache服务、FTP服务、DNS服务、DHCP服务、电子邮件服务等。全书采用项目案例编写模式，项目情境式导

本书是针对零基础网页设计人员而编写的入门教程。HTML5与CSS3是网页制作技术的核心，也是每个网页制作人员必须掌握的基础知识。本书从初学者的角度，以实用的案例、通俗易懂的语言详细介绍如何使用HTML5与CSS3进行网页制作的方法和技巧。 本书共10章。第1～4章主要讲解HTML5与CSS3的基础知识，包括HTML5入门、HTML5标签和属性、CSS3入门、CSS3选择器等；第5～9章分别讲解盒子模型、网页布局、表格和表单、多媒体嵌入，以及过渡、变形和动画等，这些内容是网页制作技术的核心；第10

书采用工学结合、任务驱动的模式编写，在编写过程中，明确知识、技能、思政目标，以完成“学生成绩管理系统”为主线，设立顺序渐进的8个项目。通过项目分析，又将其分成若干个具体的任务，每个任务包含着C语言的若干个知识点和技能点；副线以“小学生加减运算训练”递进题的编程来巩固复习前面所学的各个知识点；子线以解决来自于生活中又带有趣味性的实际问题来引导学生对任务中的知识点进行深入思考及对C语言知识的扩展认识。即通过主线、副线、子线“三线”融合的方式使学生进一步加深对C语言知识点的理解，再配合课后的实践训练及

以详实简单的实例，全面验证C语言程序设计中的重要知识和技术。可培养学习者的逻辑思维能力、计算机程序基础和程序调试的方法，进一步巩固所学知识。也对其他专业学生或从业人员在工作方法和思考方法方面有着指导作用，可以提高程序化处理问题的能力。主要内容有C语言基本知识、数据类型、编程基础、结构化程序设计方法应用在数组、函数、指针、结构体与共用体、文件，详细分解与实现了综合实例学生成绩管理系统。