Anna语言导论 pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:中国铁道出版社

作者:

出品人:

页数:229

译者:

出版时间:1990-12

价格:4.15

装帧:平装

isbn号码:9787113009922

丛书系列:

图书标签:

语言学
应用语言学
英语语言学
语言教学
语言分析
Anna
导论
教材
外语教学
语言入门

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

内容简介

本书是国内第一本介绍Anna语言的书籍.Anna是一种以Ada

为基础的规格说明语言，大量吸收了Pascal等语言的研究成果，

可广泛用于软件开发过程中从需求规格说明、设计、编码、测试到

维护各个阶段。全书由三部分组成：第一部分是Anna入门、对

Anna作一般介绍；第二部分是完整的Anna参考手册；第三部分

详细描述了与Anna互补的TSL－1语言。

本书适用于广大软件工作者、高等院校师生，可作为高校本科

生与研究生有关课程的教学参考书。

好的，这是一份基于您提供的书名“Anna语言导论”的反向推断与创作，旨在构建一个不涉及该书任何内容的详细图书简介。 --- 《古文字的迷宫：象形符号与文明的起源》一、本书主题与核心关切本书并非关注当代自然语言的结构、语法或发展脉络，而是将目光投向人类文明最古老的智慧结晶——早期书写体系的起源、演变及其背后的社会文化逻辑。我们深入探讨的是，在人类尚未形成成熟的字母系统之前，那些刻在泥板、石头或莎草纸上的神秘符号，是如何从简单的图画转变为承载复杂思想的媒介的。我们将重点解析那些被时间掩埋的、具有高度视觉冲击力的古文字系统，特别是那些以表意和象形为主要特征的文本。内容涵盖苏美尔楔形文字（Cuneiform）、古埃及圣书体（Hieroglyphs）、早期汉字（甲骨文）以及中美洲的玛雅文字等几大关键文明的早期书写实践。核心关切点在于：文字的“诞生”是否是一个单一事件，还是一系列独立发展的路径？以及，不同地理环境下，人类是如何解决“声音记录”与“概念表达”之间鸿沟的？二、内容详述：跨越时空的符号考古本书结构分为四个主要部分，每一部分都侧重于对特定历史阶段或特定文化语境下文字发展路径的深度剖析。第一部分：原初的描摹——从记事到符号的跨越（约300字）本部分追溯书写行为的前文字阶段。我们首先考察史前人类的刻符、结绳记事（如印加的奇普）和岩画，分析这些原始工具如何满足早期社会对信息存储和传递的需求。随后，我们将重点分析美索不达米亚平原上最早的经济记录——乌鲁克时期的泥板文书。读者将看到，早期的楔形文字是如何从实物记账符号（如描绘一头牛的图形）一步步抽象化、简化，并最终发展出可以表达动词和抽象概念的语标符号（Logograms）。这一阶段强调的是符号的功能性与经济驱动力。第二部分：神圣的语言——象形系统的成熟与固化（约400字）本部分聚焦于那些将书写与宗教、王权紧密结合的文明。我们将详细解读古埃及圣书体。不同于纯粹的记录工具，埃及象形文字被赋予了强大的“神性”和永恒性。我们不仅会分析其表意、音符（表音成分）和限定符（Determinatives）的复杂组合方式，更会深入探讨其在神庙、陵墓以及法老石碑上的空间布局学。读者将理解，为何埃及象形文字在数千年间保持了相对稳定的形态——这种仪式化和僵化正是其维持社会秩序的工具。此外，本部分还将对比分析克里特岛上的线形文字A和B，探究地中海文明中，书写系统在贸易与行政管理中的早期应用。第三部分：体系的革命——从复杂到简洁的演进（约400字）书写系统不可能永远停留在描摹事物的阶段。本部分探讨的是文字系统向音节化、字母化转型的关键性“技术革命”。 1. 赫梯与亚述：楔形文字的拼音化：分析在阿卡德语影响下，楔形文字如何通过“以形表音”的方式，大大扩展了其记录语音的能力，使其能够书写复杂的叙事和文学作品。 2. 腓尼基的突破：辅音文字的诞生：这是人类书写史上最关键的转折点。本书将详细阐述腓尼基商人如何为了贸易的便利性，剥离了大部分表意成分，创造出只记录辅音的辅音音素文字。我们将分析这种极端简化背后的商业逻辑和实用主义精神。 3. 早期汉字的演变轨迹：尽管与西方路径不同，中国的甲骨文也经历了从图画到符号的抽象过程。我们探讨商代文字中“六书”的理论基础，以及其如何侧重于“意群”和“声符兼表意”的混合策略，保持了高度的语素中心特征。第四部分：文本、权力与记忆的建构（约400字）最后一部分将视角从符号本身转向书写行为的社会学意义。书写不是无菌的学术活动，而是权力的延伸。我们将探讨：抄写员的阶层化：在古代社会，掌握复杂书写技能的群体（如埃及的“笔吏”）如何构建起一个精英阶层，并利用知识垄断来维护社会结构。知识的载体与失落：不同材料（泥板、莎草纸、竹简）对文本的保存和传播产生了何种影响？探讨那些因材料脆弱性或政治变迁而永远失传的古代文献。 “文本”作为历史的塑造者：文字不仅仅是记录历史，它也参与了历史的构建。古代法律、神话和编年史是如何通过被记录下来而获得“真实性”和“权威性”的。三、本书的特色与价值本书的最大特色在于其跨文化比较的视野和对符号学而非纯粹语言学的侧重。我们避免使用复杂的现代语言学术语，而是以清晰的图示和案例分析，引导读者进入一个充满奇特逻辑的古代世界。读者将通过本书，不仅能欣赏到古代文字的艺术美感，更能理解人类在面对信息爆炸和沟通需求时，所展现出的惊人创造力与体系构建能力。它是一部关于人类心智如何学会“雕刻时间”的通史。 --- 适用读者群体：历史爱好者、考古学入门者、对符号学和早期文明研究感兴趣的非专业读者。关键词：楔形文字，象形符号，文字起源，古代行政，苏美尔，埃及圣书体，文字的社会功能。

作者简介

目录信息

目录
第一部分：Ada及其规格说明语言Anna
1引言
2Ada典型特征
3Anna基本概念
3.1虚拟Ada行文
3.2标注
3.3新增运算与属性
3.4带量词表达式
4标注种类
4.1对象标注
4.2（子）类型标注
4.3语句标注
4.4子程序标注
4.5异常传播标注
4.6上下文标注
5程序包标注
5.1可见标注与隐藏标注
5.2程序包状态
5.3程序包公理
6语义、实现及工具
6.1公理语义
6.2转换语义与实现
6.3基本工具
7结束语
附录 Ada语法
第二部分：Anna语言参考手册
0作者前言
1Anna基本概念
1.1虚拟Ada行文
1.2标注
1.3标注的语义
1.3.1程序状态
1.3.2断言与Anna核
1.3.3Anna程序的一致性
1.3.4标注的定义性
1.4一致性检查
1.5手册结构
1.6错误分类
2词法元素
2.1字符集
2.2词法元素、分隔符与定界符
2.7形式注解
2.9保留字
2.10 允许的字符替换
3声明与类型标注
3.1声明标注
3.2对象标注
3.2.1 对象约束转换
3.3类型与子类型声明标注
3.3.3适用于所有类型的运算
3.4派生类型标注
3.5纯量类型运算
3.6数组类型标注
3.6.2数组类型运算
3.6.4数组状态
3.7记录类型标注
3.7.4记录类型运算
3.7.5记录状态
3.8 访问类型标注
3.8.2访问类型运算
3.8.3访问类型约束
3.8.4集团状态
3.9 声明部分
4标注中名字与表达式
4.1标注中名字
4.1.4 属性
4.4标注中表达式
4.5运算符与表达式求值
4.5.1 逻辑运算符
4.5.2 关系运算符与成员关系测试
4.6类型转换
4.7限定表达式
4.11带量词表达式
4.11.1带量词表达式转换成Anna核
4.12 条件表达式
4.13修饰符
4.14表达式的定义性
5语句标注
5.1简单与复合语句标注
5.5循环语句标注
5.8返回语句标注
6子程序标注
6.1子程序声明标注
6.2形式参数标注
6.3子程序体标注
6.4子程序调用标注
6.5函数子程序结果标注
6.6标注中子程序重载
6.7运算符重载
6.8子程序属性
7程序包标注
7.1程序包结构
7.2程序包规格说明中可见标注
7.2.1可见类型标注
7.3程序包隐藏标注
7.4私有类型标注
7.4.1私有类型在标注中的运用
7.4.2私有类型运算
7.4.4受限类型相等运算的重新定义
7.7程序包状态
7.7.1状态类型
7.7.2初始状态和当前状态
7.7.3程序包后继状态
7.7.4相对于程序包状态的函数调用
7.7.5状态类型标注
7.8公理标注
7.8.1公理简化表示法
7.8.2隐式相等公理
7.9Anna程序包的一致性
7.9.1 程序包体的一致性
7.9.2可见标注与程序包体的一致性
7.10带标注程序包举例
8标注的可见性规则
8.2声明与声明标注的作用域
8.3可见性
8.5改名声明
8.7重载分辨的上下文
9任务标注
10程序结构
10.1编译单元标注
10.1.1 虚拟上下文子句
10.1.3上下文标注
10.2子单元标注
11异常标注
11.2异常处理段标注
11.3引发语句标注
11.4传播标注
11.7标注的屏蔽检查
12类属单元标注
12.1类属声明标注
12.1.1类属形式对象标注
12.1.2类属形式类型标注
12.1.3类属形式子程序标注
12.3类属标注例举
12.4带标注类属程序包举例
12.5类属单元的一致性
13依赖实现的特征的标注
13.8机器代码插入的标注
12.9与其它语言接口的标注
13.10不作检查的程序设计的标注
13.10.1不作检查的存贮单元回收的标注
13.10.2 不作检查的类型转换的标注
附录A 预定义Anna属性
附录C 预定义Anna环境
附录E Anna语法概要
附录H Anna程序实例
1 符号表程序包
2 Dijkstra荷兰国旗程序
第三部分：TSL－1一种Ada任务定序语言
1概述
2类型表达式与基本事件
3用户定义事件与执行语句
4占位符
5事件匹配与参数汇集
6哨兵
7复合事件
8规格说明
9性质与更新语句
10 宏定义与调用
11TSL―1任务规格说明
12结束语
附录A TSL－1扩充的语法
附录B TSL－1扩充的保留字
附录C TSL－1扩充预定义环境
附录D 例筛法求质数
参考文献
英汉名词对照
· · · · · · (收起)

读后感

评分☆☆☆☆☆

用户评价

评分☆☆☆☆☆

我对这本书最大的不满在于其对“实证”的漠视。语言学，无论多么偏向理论，终究离不开对真实语言数据的分析和检验。然而，《Anna语言导论》似乎信奉一种纯粹的、脱离现实的思辨。书中充满了对“理想语言模型”的构建和推崇，但这些模型在任何一个已知的、活着的语言体系中都找不到清晰的对应。我特别留意了关于“代词系统复杂性”的章节，这是一个非常适合引入跨文化对比的领域。原本，我期待看到不同语系中主格、宾格、与格等标记如何反映社会等级或交流情境。但作者仅仅是构建了一个高度抽象的代数结构来描述这种复杂性，然后用一些晦涩的符号来表示变量之间的关系。这与其说是语言学的探讨，不如说是在进行纯粹的数学建模练习。书中缺乏具体的语料分析，没有脚注引用任何实地田野调查的结果，甚至连常用的语言学工具（如IPA符号的规范使用）也显得敷衍。读完后，你可能会觉得你理解了一种精妙的逻辑体系，但你却无法用它来分析你日常听到的任何一句话。这种空中楼阁般的理论构建，实在让人感到乏味且无用。

评分☆☆☆☆☆

说实话，我是在一个雨天的下午开始翻阅这本《Anna语言导论》的，本想沉浸在一个语言学的世界里寻找慰藉。然而，这本书提供的“慰藉”是一种令人焦躁的错觉。它的叙事节奏极其不连贯，仿佛作者在不同的时间点、针对不同的听众写下了几篇互不关联的讲稿，然后生硬地缝合在了一起。举个极端的例子，在描述元音系统的发展时，它突然插入了一段关于中世纪手抄本墨水化学成分的冗长讨论，而这段内容与前后的语言学讨论几乎没有任何逻辑上的桥梁。这种主题的随意切换，让读者的大脑时刻处于高度警惕中，生怕错过任何一个可能存在的关联点，结果往往只是徒劳。我甚至开始怀疑，这本书是否经过了严谨的编辑审阅。很多地方的论证逻辑存在明显的跳跃，比如从某个具体语言现象的描述，直接跃升到对人类心智哲学的抽象探讨，中间那段至关重要的推理过程被完全跳过了。对于一个渴望系统学习的读者来说，这本书就像是一张地图，上面标注了所有主要城市的名字，但省去了所有连接这些城市的高速公路和铁路。它给予了你对“存在”的认知，却剥夺了你“如何到达”的路径。

评分☆☆☆☆☆

这本书的文字风格极其的、近乎刻板的学院派，仿佛是从某部上世纪五十年代的德语哲学译本中汲取了营养。句子结构冗长且复杂，一个简单的陈述往往需要通过层层嵌套的从句和大量的后置定语才能表达完整。这使得阅读速度被极大地拖慢，光是理解一个句子的主谓宾结构就需要耗费额外的认知资源。我不得不时常停下来，反复咀嚼那些被堆砌在一起的复杂词汇组合，才能勉强跟上作者的思路。例如，在探讨语言的递归性时，作者没有采用清晰的层次结构图或直观的例子，而是用了一段将近八十个词的复合句来阐述一个相对基础的概念。这种表达方式，与其说是为了精确，不如说是为了展示作者的“学识深度”。结果是，内容本身的创新性或深度并未因此得到提升，反而让读者产生了一种强烈的疏离感和阅读疲劳。我更倾向于那种能用简洁、有力的语言将复杂思想表达清晰的书籍。这本书，则完全是另一种极端，它像一个固执的守门人，用晦涩的语言设置了层层壁垒，让普通读者望而却步，最终只能放弃深入了解其核心的努力。

评分☆☆☆☆☆

我得说，这本书在装帧和排版上确实下了功夫，封面设计简约大气，字体选择也很典雅，拿在手里颇有分量感，绝对是那种能体面地摆在书架上的读物。然而，内容上的空洞感实在太强烈了，简直是华丽包装下的轻飘之物。我花了大力气去理解其中关于“符号学与语义场的动态耦合”那一章，期待能看到一些前沿的思考或者独特的视角。结果呢？通篇充斥着大量的使用频率极高、但实际上并没有被赋予明确定义的核心词汇，仿佛作者在用一种只有他自己才能心领神会的“黑话”进行交流。例如，书中反复出现的“结构性张力”一词，在上下文中的指代模糊不清，有时似乎指语法上的冲突，有时又隐晦地指向社会文化层面的差异。这种模棱两可的处理方式，极大地削弱了文本的说服力。每一次我试图深入追问“为什么”或“如何实现”时，作者的回应都是一个更抽象的术语。这让我开始怀疑，作者究竟是在阐述一种成熟的理论，还是在对一系列未经验证的直觉进行包装。阅读体验非常割裂，让人很难集中精神去消化那些看似深刻实则空洞的论述，更像是在阅读一篇篇缺乏实质内容的学术论文的引言部分合集。

评分☆☆☆☆☆

这本《Anna语言导论》读下来，给我的感觉就像是误入了一个精心布置却又空无一物的展厅。我原本期待能在这个“导论”里找到理解语言结构、历史演变或者至少是某种核心理论框架的钥匙，但实际阅读体验却更像是在翻阅一本充满专业术语的摘要集，每页都在提及一些重要的概念，却从不深入展开。作者似乎热衷于勾勒一幅宏大的语言蓝图，但这个蓝图的细节全都被刻意省略了。比如，在探讨“语序的认知负荷”那部分时，作者引用了三位学者的观点，每位学者的理论核心被一句话概括，然后立刻跳到了下一个主题——“词汇稀疏性与习得路径”。这种跳跃性使得读者完全无法在脑海中构建起扎实的知识网络。我尝试着去寻找一些实际的语言材料作为佐证，比如一个具体的句子是如何被解析，或者一个特定语言现象背后的文化根源，但这些“肉”似乎都被剔除了，只剩下了冰冷的骨架。读完感觉自己掌握了一堆零散的知识点标签，但这些标签之间没有建立起有效的连接。对于初学者来说，这无疑是令人沮丧的，因为他们需要的是一个从基础到深入的、有逻辑支撑的引导，而不是一连串被高度提炼的概念堆砌。整体来看，它更像是一份为已经掌握基础知识的专业人士准备的、极其浓缩的会议纪要，而非一本真正意义上的“导论”。

评分☆☆☆☆☆