论文部分内容阅读
计算机语言是一种符号化、形式化的人工语言，在它初创时期就与逻辑结下了不解之缘。逻辑科学是以自然语言和人工语言的语法和语义研究为基础的关于命题之间推论关系的一般理论。计算机与逻辑之间有着内在联系，可以说逻辑是计算机语言的重要基础理论。
谈计算机语言的逻辑基础
【摘 要】
：
计算机语言是一种符号化、形式化的人工语言，在它初创时期就与逻辑结下了不解之缘。逻辑科学是以自然语言和人工语言的语法和语义研究为基础的关于命题之间推论关系的一般理论
【机 构】
：
黑龙江省计量检定测试院
【出 处】
：
哈尔滨市委党校学报
【发表日期】
：
2009年6期
其他文献
【摘要】 说话训练的形式是多种多样的，对于低年级学生来说，越是活泼有趣的形式，就越容易接受。而动作，无疑是一种有效的辅助手段。我们应该充分利用孩子们好动的特点，让孩子们“动”起来，并最终“说”出来。 【关键词】 低年级；口语训练；形式；方法 大家都知道，好动是孩子的天性。当孩子们向我们讲述某件事时，他们总是一边说，一边用丰富的动作来补充，有有时甚至手舞足蹈。这除了是因为好动，还因为他们掌握
文跃进(1959-),男,出生于湖北黄石。1972年考入湖北艺术学校附中,主修小提琴专业、师从姜德顺、张金洲、何漂民教授,1977年附中毕业留校,1978年考入湖北艺术学院大学部本科就
音乐是表达人们思想感情、反映社会现实的艺术。学生通过对音乐作品的欣赏、演唱、演奏等活动，能得到美的感受与享受，从而达到增强身心健康、丰富精神生活的目的。同时，音乐又会
月光千里是梦的乐章，阳光万丈是梦的目光，五十六种颜色编织梦的衣裳神州大地凝聚着梦的力量。蓝天白云是梦的翅膀，锦绣山河是梦的流淌，九百六十万平方公里的热土华夏儿女接力着梦
儒家思想在两千多年的社会实践活动中，对我国的领导思想产生了深刻的影响，尤其是其“修身”、“齐家”、“治国平天下”所表述的领导思想，更为后代所尊崇。
十一届三中全会以来，以邓小平为核心的党的第二代中央领导集体把马克思列宁主义、毛泽东思想创造性地运用于当代中国，创立了邓小平理论。在这一理论体系中，邓小平社会稳定理论占
普通高中新一轮课程改革大力倡导以学生为本的理念,生物学教学中引导学生自主学习正是这一理念的有效做法。所谓“自主学习”,是指学生在教师的科学指导下,通过能动的创造性
11月27日,省委副书记、省长郭庚茂在省政府第四次全体会议上强调,抓好当前工作,谋划好明年发展,以更加昂扬的斗志、更加务实的作风、更加有力的措施,努力夺取保增长、保民生