人工智能作为一门独立学科自20世纪中叶诞生以来，先后经历了多次跌宕起伏与技术变革，特别是进入21世纪后，深度学习与智能感知、计算机视觉、脑认知科学的快速发展，使得人工智能应用呈现井喷式发展。本书作为人工智能学科人门的导论课教材，概述了人工智能相关的智能信息处理、脑与认知科学、演化计算与群智能优化、博弈论与智能决策、机器学习及AI芯片、计算机视觉及电力智能机器人等领域的发展史、基本原理与应用案例。通过梳理各分支方向的发展历程，使读者了解并掌握相关方向发展的脉络，为今后深人学习奠定基础。本书既可作为

作为通用人工智能的重要进展，ChatGPT的出现引起了学术界和产业界人士的广泛关注。本书系统地论述了ChatGPT的发展历程、核心技术和基本原理等内容。全书共15章。第1章介绍了ChatGPT的前世今生；第2～6章论述了ChatGPT相关的基础理论与发展应用；第7～10章论述了ChatGPT的核心技术，包括Transformer、基于人类反馈的强化学习、提示学习以及模型学习与优化；第11章和第12章论述了ChatGPT的重要应用场景；第13～15章论述了以ChatGPT为代表的通用大模型范

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

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

操作系统国产化是软件国产化的根本保障，是软件行业必须要攻克的阵地。本书以“理论+实操”相结合的方式，主要讲解国产操作系统统信UOS的基础知识及应用技术。本书全面、系统、由浅入深地介绍了该操作系统的概念、使用、原理、开发和管理等方面的内容。通过大量应用实例，循序渐进地引导读者学习操作系统。全书共有8章，内容包括：国产操作系统统信UOS的起源、发展和应用；图形化界面操作、操作系统常用的命令、用户和用户组的管理、文件系统及磁盘管理、进程与日志管理、应用软件的安装及使用、操作系统网络与安全管理方面的知识

本书是一本面向网络攻防技术初学者和网络信息安全相关专业学生的基础入门教材，书中通过"攻”"防”两个不同角度的入侵实例，结合作者在从事网络安全工作中的教学经验和实战心得，以"做中学”的方式提升学生网络攻防技术技能，理解网络与信息安全方面的基本原理。本书共分为4个部分，分别介绍了目标信息收集、操作系统与服务渗透测试、WEB渗透与加固等部分内容；书中的所有实例均有实际场景描述，当前比较流行的网络攻防技术，如kali Linux渗透测试操作系统、Wanna Cry病毒、Apache log4j2均能通过