R演算——科学发现的逻辑

R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:计算机教育 2012 (11), p.5-12
1. Verfasser: 李未
Format: Artikel
Sprache:chi
Schlagworte:
R演算
相对论
科学发现
进化论
逻辑验证
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 12
container_issue 11
container_start_page 5
container_title 计算机教育
container_volume
creator 李未
description R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。
doi_str_mv 10.3969/j.issn.1672-5913.2012.11.002
format Article
fullrecord <record><control><sourceid>wanfang_jour_chong</sourceid><recordid>TN_cdi_wanfang_journals_jsjjy201211002</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cqvip_id>42312669</cqvip_id><wanfj_id>jsjjy201211002</wanfj_id><sourcerecordid>jsjjy201211002</sourcerecordid><originalsourceid>FETCH-LOGICAL-c572-4d6f973efa71a21acd69032157f1da7c7f43d6a58115472f018cbc6d454559a13</originalsourceid><addsrcrecordid>eNo9j81KAzEUhbNQsNQ-hCLuJubmt1lK8Q8KQul-SDNNnUFTnSDSXReulYFCwQfQleLe4sMIdfQtjFSEAxfO-TiXg9AOEMy01HsFzkPwGKSiidDAMCVAMQAmhK6hxr-_gVoh5AMSU-ACRANt9z4Xs_pl_jGdRdVP1fL5cXlf1Xev9cPt9_Tt673aROvOnIdh6-82Uf_woN85TrqnRyed_W5iRaznmXRasaEzCgwFYzOpCaMglIPMKKscZ5k0og0guKKOQNsOrMy44EJoA6yJdle1N8Y740dpMb4ufXyYFqEoJr-LAOKeCG6tQHs29qOrPKKXZX5hyknKKQMqpWY_41FYQA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>R演算——科学发现的逻辑</title><source>国家哲学社会科学学术期刊数据库 (National Social Sciences Database)</source><creator>李未</creator><creatorcontrib>李未</creatorcontrib><description>R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。</description><identifier>ISSN: 1672-5913</identifier><identifier>DOI: 10.3969/j.issn.1672-5913.2012.11.002</identifier><language>chi</language><publisher>北京航空航天大学软件开发环境国家重点实验室,北京,100191</publisher><subject>R演算 ; 相对论 ; 科学发现 ; 进化论 ; 逻辑验证</subject><ispartof>计算机教育, 2012 (11), p.5-12</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://image.cqvip.com/vip1000/qk/87565X/87565X.jpg</thumbnail><link.rule.ids>314,780,784,4024,27923,27924,27925</link.rule.ids></links><search><creatorcontrib>李未</creatorcontrib><title>R演算——科学发现的逻辑</title><title>计算机教育</title><addtitle>IT Education</addtitle><description>R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。</description><subject>R演算</subject><subject>相对论</subject><subject>科学发现</subject><subject>进化论</subject><subject>逻辑验证</subject><issn>1672-5913</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><recordid>eNo9j81KAzEUhbNQsNQ-hCLuJubmt1lK8Q8KQul-SDNNnUFTnSDSXReulYFCwQfQleLe4sMIdfQtjFSEAxfO-TiXg9AOEMy01HsFzkPwGKSiidDAMCVAMQAmhK6hxr-_gVoh5AMSU-ACRANt9z4Xs_pl_jGdRdVP1fL5cXlf1Xev9cPt9_Tt673aROvOnIdh6-82Uf_woN85TrqnRyed_W5iRaznmXRasaEzCgwFYzOpCaMglIPMKKscZ5k0og0guKKOQNsOrMy44EJoA6yJdle1N8Y740dpMb4ufXyYFqEoJr-LAOKeCG6tQHs29qOrPKKXZX5hyknKKQMqpWY_41FYQA</recordid><startdate>2012</startdate><enddate>2012</enddate><creator>李未</creator><general>北京航空航天大学软件开发环境国家重点实验室,北京,100191</general><scope>2RA</scope><scope>92L</scope><scope>CQIGP</scope><scope>W92</scope><scope>~WA</scope><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>2012</creationdate><title>R演算——科学发现的逻辑</title><author>李未</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c572-4d6f973efa71a21acd69032157f1da7c7f43d6a58115472f018cbc6d454559a13</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2012</creationdate><topic>R演算</topic><topic>相对论</topic><topic>科学发现</topic><topic>进化论</topic><topic>逻辑验证</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>李未</creatorcontrib><collection>中文科技期刊数据库</collection><collection>中文科技期刊数据库-CALIS站点</collection><collection>中文科技期刊数据库-7.0平台</collection><collection>中文科技期刊数据库-工程技术</collection><collection>中文科技期刊数据库- 镜像站点</collection><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>计算机教育</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>李未</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>R演算——科学发现的逻辑</atitle><jtitle>计算机教育</jtitle><addtitle>IT Education</addtitle><date>2012</date><risdate>2012</risdate><issue>11</issue><spage>5</spage><epage>12</epage><pages>5-12</pages><issn>1672-5913</issn><abstract>R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。</abstract><pub>北京航空航天大学软件开发环境国家重点实验室,北京,100191</pub><doi>10.3969/j.issn.1672-5913.2012.11.002</doi><tpages>8</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1672-5913
ispartof 计算机教育, 2012 (11), p.5-12
issn 1672-5913
language chi
recordid cdi_wanfang_journals_jsjjy201211002
source 国家哲学社会科学学术期刊数据库 (National Social Sciences Database)
subjects R演算
相对论
科学发现
进化论
逻辑验证
title R演算——科学发现的逻辑
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T04%3A56%3A04IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour_chong&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=R%E6%BC%94%E7%AE%97%E2%80%94%E2%80%94%E7%A7%91%E5%AD%A6%E5%8F%91%E7%8E%B0%E7%9A%84%E9%80%BB%E8%BE%91&rft.jtitle=%E8%AE%A1%E7%AE%97%E6%9C%BA%E6%95%99%E8%82%B2&rft.au=%E6%9D%8E%E6%9C%AA&rft.date=2012&rft.issue=11&rft.spage=5&rft.epage=12&rft.pages=5-12&rft.issn=1672-5913&rft_id=info:doi/10.3969/j.issn.1672-5913.2012.11.002&rft_dat=%3Cwanfang_jour_chong%3Ejsjjy201211002%3C/wanfang_jour_chong%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_cqvip_id=42312669&rft_wanfj_id=jsjjy201211002&rfr_iscdi=true