Language in Action 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


Language in Action

简体网页||繁体网页
Johan F. A. K. van van Benthem 作者
The MIT Press
译者
1995-6-28 出版日期
377 页数
USD 40.00 价格
Paperback
丛书系列
9780262720243 图书编码

Language in Action 在线电子书 图书标签: 哲学  逻辑学  逻辑  形式句法  动态逻辑  nobutdunbuy  lambda  dynamic-logic   


喜欢 Language in Action 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-25


Language in Action 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Language in Action 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Language in Action 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



Language in Action 在线电子书 用户评价

评分

本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读

评分

本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读

评分

本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读

评分

本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读

评分

本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读

Language in Action 在线电子书 著者简介


Language in Action 在线电子书 图书目录


Language in Action 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Language in Action 在线电子书 图书描述

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.

Language in Action 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Language in Action 在线电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Language in Action 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





Language in Action 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有