《语言学中的逻辑》是一本专为语言学家而编写的逻辑学教材,涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法,还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法,最后一章讨论了语言逻辑和语言哲学的重要理论问题。语言学家想要了解语言分析所使用的逻辑理论和方法,有此一卷足矣!《语言学中的逻辑》的特色是将现代逻辑的理论和方法应用于对自然语言的分析,包括句法分析、语义分析和语用分析。各章后面附有练习,全书后面附有练习答案。《语言学中的逻辑》是一部长销不衰的经典教材,出版以来重印达11次之多,并有芬兰语、德语、西班牙语、瑞典语、日语、汉语等多种语言版本。
2021-03-09 16:40:21 14.33MB 语言学 教育学 哲学 逻辑学
1
卡内基-梅隆软件开发学院及其它学院的研究人员用尽毕生的精力去定义一个理论学科(即软件开发理论),到后来才发现仍有很多东西比较模糊,他们对此也不隐瞒。软件开发,自从产生以来,它以迷人的风采征服了许许多多有才华的人,一些教授、专家学者及商业管理人士不由提出这样一个问题:即然软件能迷住这么多人,为什么人类无法定义它、解释它,深刻地了解它?为什么一些天才的科学家穷其一生的精力也不能把这些迷惑归纳成一种科学工程学科或行业标准?我们当中的大部分人,特别是商人、工程师及学术机构研究人员把计算机与软件看成一个非常普通的东西,他们用各种荒唐的方式同计算机交流,计算机对来自用户的威胁与谴责充耳不闻。软件无处不在,
1
时至今日,广告教父DavidOgilvy的言论与作品仍然是无数广告人心中不朽的经典与学习典范。本文作者从其著作《一个广告人的自白》以及他广告生涯中最为传奇的一系列案例,总结了8点可为F2P游戏所用的经验。经典美剧《广告狂人(MadMen)》中的主角DonDraper的原型即是DavidOgilvy——被誉为“广告教父(FatherofAdvertising)”的他是20世纪叱咤广告界的传奇人物,其著作《一个广告人的自白》则是无数同行心中当之无愧的经典。此书于1963年首次出版,内容围绕纸媒广告展开(电视广告只是一笔带过),细数广告行业的运行规律和运营广告公司并兼顾创意和管理的种种金规戒律,是广
1
哲学家 该项目侧重于对进程进行线程化的基础知识以及如何在相同的内存空间上工作。 您将学习如何创建线程,并发现互斥量,信号量和共享内存。 项目要求 许多哲学家坐在圆桌旁,做着以下三件事之一: eating , thinking或sleeping 。 哲学家坐在圆桌旁,中间放着一大碗意大利面。 桌子上有一些叉子。 由于通心粉很难用一个叉子来食用和吃,所以假设哲学家must philo_eat with two forks一个。 哲学家决不能挨饿。 每个哲学家都需要philo_eat。 哲学家不互相讲话。 哲学家不知道另一位哲学家何时会死。 每次哲学家吃完饭,他都会掉下叉子开始睡觉。 哲学家睡觉后,他会开始思考。 当哲学家去世时,模拟停止。
2021-02-18 20:06:53 159KB Makefile
1
时至今日,广告教父DavidOgilvy的言论与作品仍然是无数广告人心中不朽的经典与学习典范。本文作者从其著作《一个广告人的自白》以及他广告生涯中最为传奇的一系列案例,总结了8点可为F2P游戏所用的经验。经典美剧《广告狂人(MadMen)》中的主角DonDraper的原型即是DavidOgilvy——被誉为“广告教父(FatherofAdvertising)”的他是20世纪叱咤广告界的传奇人物,其著作《一个广告人的自白》则是无数同行心中当之无愧的经典。此书于1963年首次出版,内容围绕纸媒广告展开(电视广告只是一笔带过),细数广告行业的运行规律和运营广告公司并兼顾创意和管理的种种金
1
Python7天速成
2021-01-28 22:13:54 29.9MB python
1
用JAVA实现哲学家就餐问题,本源码中采用的是奇数号哲学家先拿左手后拿右手,而偶数号哲学家采用先拿右手后拿左手的策略来预防死锁。
2020-05-16 20:48:53 5KB JAVA 哲学家就餐
1
哲学家进餐问题是一个多线程运用的经典例子,涉及到线程同步/互斥,临界区访问问题以及一个避免死锁的解决方法。。。。
2020-05-16 20:46:16 6KB java
1
文档为实验报告,运行环境是ubantu,文档包含哲学家就餐问题的代码,使用三种方法解决哲学家就餐问题,顺序资源法,加房间法和P_sim法,希望对大家有帮助
2020-05-05 16:43:42 191KB P_sim
1
操作系统原理实验报告+源代码,哲学家就餐问题有界面,且能在死锁与不死锁情况下运行,生产者与消费者问题也有界面···
1