本书内容包括数理逻辑,集合论,代数结构和图论以及形式语言与自动化。
《21世纪高等院校教材:物理教学丛论(基础教育课程改革视野下的中学物理教学)》以我国基础教育课程改革和世界科学教育的发展为背景,着眼于中学物理教师的专业成长,立足于中学物理新课程,对物理教学的主要理论和重要议题做出论述。《21世纪高等院校教材:物理教学丛论(基础教育课程改革视野下的中学物理教学)》共分15章,以专题形式撰写,内容几乎包括了中学物理教学的全部核心主题和物理教师专业化成长的基本要求。观点新颖,材料丰富,既有广泛深入的理论阐述,又为中学物理新课程的实施提供实践指导。
本书内容包括数理逻辑,集合论,代数结构和图论以及形式语言与自动化。
本书是一本全面系统地讲述计算机自然语言处理的教材。本书英文版出版之后好评如潮,国外许多大学纷纷把本书选为自然语言处理和计算语言学课程的主要教材,该书被誉为该领域教材的“黄金标准”。本书包含的内容十分丰富,分为四个部分,共21章,深入细致地探讨了计算机处理自然语言的词汇、句法、语义、语用等各个方面的问题,介绍了自然语言处理的各种现代技术。从层次的角度看,本书的论述是按照自然语言的不同层面逐步展开的,首先论述单词的自动形态分析,接着论述自动句法分析,然后论述各种语言单位的自动语义分析,最后论述连贯文本的自动分析、对话与会话的智能代理以及自然语言生成。从技术的角度看,本书介绍了正则表达式、有限状态自动机、文本-语音转换、发音与拼写的概率模型、词类自动标注、N元语法、隐马尔可夫模型、上下
本书全面、系统地讲解了32位嵌入式系统中各组成部分的原理和相关设计。书中对包括ARM、PowerPC在内的RISC处理器,常用嵌入式操作系统,以及嵌入式系统中常用的接口电路(如SDRM、DDR内存、各类Flash、硬盘、液晶、网络接口等)设计做了详细介绍。本书还结合硬件设计,给出了大量用于硬件调试的代码和驱动程序的编写方法。 本书适合于从事嵌入式系统硬件开发及嵌入式系统驱动软件编写的工程师。
本书共分11章,分别就SCILAB操作入门、数值运算、SCILAB数据类型及程序设计、计算结果可视化、SCILAB与C或FORTRAN程序的接口等内容进行了阐述。