本书共分4章:第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统,主要讨论语法和β-归约语义;第2章介绍Coq,重点是从函数式程序设计的角度展开讨论,内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型;第3章介绍OCaml这门通用程序设计语言,除了基本的程序设计概念,还讨论

本书共两个部分。第一部分是上机指导,包括从零开始--了解计算机、打造精美文档--文档制作、高效管理数据--电子表格制作、提升说服力--演示文稿制作、快速获取信息--信息检索、感受新兴技术--新一代信息技术概述、提升个人素质--信息素养与社会责任7个方面的内容。读者可以按照《信息技术基础(Windows10+WPSOff

本书详细地介绍了软件测试的相关知识。全书共9章,第1章主要讲解软件测试的基础知识,第2-3章主要讲解黑盒测试方法与白盒测试方法,第4-7章主要讲解接口测试、性能测试、Web自动化测试和App测试的相关知识,第8-9章通过一个综合项目--安享智慧理财,完整呈现软件测试的全过程,帮助读者巩固前面所学的相关知识。

本书以《全国计算机等级考试二级Python语言程序设计考试大纲(2022版)》为基础，以计算机语言类初学者为教学对象，以Python3.x为背景，循序渐进地介绍了Python语言的基本知识、基础语法、数据结构、控制结构和基本应用等内容。本书共分为12章，主要内容有Python概述、数据结构、运算符与表达式、流程控制结构

编程技术是信息技术中最重要的技能和工具之一，它是连接信息和计算机的桥梁。掌握并熟练使用编程语言已成为所有大学生必备的技能。C语言是高级编程语言的先驱，也是最重要和最流行的语言之一。本书的目标是引导初学者进入程序设计的殿堂，内容涉及编程基础知识包括运算符和表达式、数据输入和输出、选择结构、循环结构、数组、函数、指针、结构

本书将引领读者进入Python机器学习领域。机器学习是一套先进、深刻且内容丰富的算法集合，已成为数据科学中数据建模与分析的重要方法。Python是一款简明、高效且功能强大的开源工具，也是数据科学实践中最常用的计算机语言。学好机器学习的理论方法，掌握Python这个实用工具，是成长为数据科学人才所必需的。本书采用理论与实

VisualBasic作为程序设计的入门语言，具有易学易懂的特点。Windows是当今主流操作系统，而VisualBasic作为一种支持可视化程序设计的语言，也是开发Windows应用程序最简单易学的语言之一。本书是针对内蒙古自治区职业教育编写的，全书共分12个项目，介绍了VisualBasic程序开发环境、数据类型和

本书是一本介绍二进制分析相关工具及其应用的图书，共分为五大部分，内容涵盖了ELF二进制代码的生成、Linux环境下分析二进制文件的相关工具、静态的二进制代码分析、动态的二进制代码分析、IntelPin的架构及工具的制作、污点分析技术及实现、约束求解原理与应用、符号执行技术及应用、模糊测试技术及实现、常见的系统攻击及系统

本书重点介绍Python语言在数据处理与数据挖掘方面的应用技巧，主要包括数据分析基础知识（数据收集与分析软件、数据挖掘的分析基础、简单数据的统计分析），数据分析高级方法（多元数据的综合分析、时序数据的模型分析），大数据基本处理方法（大数据分析基础应用、文献计量与科研评价、社会网络分析方法、数据分析编程平台）等内容。附录

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