共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
5.
6.
7.
心儿飞翔 《青春男女生.妙语》2006,(5)
她总是嫌他不能干。干大事不行,干小事也不行。说大事吧,工作没工作出个名堂,至今仍是个小职员,钱也不见大把大把往家拿,害得她买东西常常要算了又算。说小事吧,饭不会做,衣服洗不净,家里的电器坏了只好干瞪眼,孩子不会教,买东西价不会还价……甚至,甚至在床上也没什么能耐。 相似文献
8.
9.
10.
杜国平 《重庆理工大学学报(社会科学版)》2021,35(6):53-61
以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号「」就可以无歧义地表达所有的逻辑函数,并进而建立包括括号「」的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式. 相似文献
11.
李晟 《重庆理工大学学报(社会科学版)》2014,(11):21-25
以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。 相似文献
12.
15.
21世纪的“新世界秩序”承诺要共同繁荣……也包括全球冲突的危险。这是这个时代的悖论。人类社会的规模(人口、经济产量、资源利用以及生产网遍及全球)既激起了巨大希望,也引发了超级挑战。国家管理和经济学的旧模式已经不够敷用。我们这一代挑战的解决方案需要史无前例的全球合作,但很少有人觉察到这种需要,美国和其他地方的政治精英和知识分子还在热烈争论这个问题。 相似文献
16.
张瑾 《中国农业大学学报(社会科学版)》2014,31(2):154-156
正几近百年的中国乡土小说伴随社会的现代化发生着深刻的变化。历经了20世纪80年代的"寻根"热与90年代的"终结说",乡土小说于新世纪卷土重来,占据新世纪文学的重要一隅。现实社会的巨大变迁也使得乡土小说"从外形到内质都发生了不同于以前的颇为显著的变化"[1]。面对快速的城市化与工业化,乡土作家不仅关注乡村范围内的变迁,而且将视域扩展到了城市中离乡离土的农民工。此类乡土小说融入了发轫于新世纪的"底层文学",彰显 相似文献
17.
这是一串颇受人关注的数字:2000年至 2005年,我国普通高校毕业生的人数分别是 107万人、115万人、145万人、212万人、280 万人和338万人。2006年,预计将有350万名高校生和400万名职业院校毕业生。不难看出, 人才的争夺和就业的困难加剧了,作为职业院校的学生,在求职过程中遭遇困惑和尴尬是不可避免的。其中,带有普遍性的心理困惑起码有这样三种: 相似文献
18.
19.
新世纪远程教育简论 总被引:3,自引:0,他引:3
曾玉宏 《武汉理工大学学报(社会科学版)》2001,14(3):272-274
远程教育是在现代教育思想和教育理论的指导下,利用网络、多媒体等现代信息技术手段实施教育的一种新型教育形式.远程教育的发展对传统教育产生了强烈的冲击,在教育思想、教育模式、教学手段等方面都带来了重大变化.远程教育成为未来教育发展的一种必然趋势. 相似文献