logo
publist
写文章

简介

该用户还未填写简介

擅长的技术栈

可提供的服务

暂无可提供的服务

计算机科学和哲学,数学哲学与科学哲学和计算机科学的能动作用

1 引言这一文章有两个相互关联的目标:第一,表明数学哲学在20世纪中与两个很不相同的领域,即科学哲学和计算机科学(包括人工智能),产生了重要的相互作用,而且,这三个领域都由这种相互影响得益匪浅;第二,作为对于这种相互关系的进一步分析,文中提出了“能动作用”(dynamic interaction)的概念,作者认为,这事实上代表了知识与概念发展的一个普遍模式。为了讨论的方便,以下先对“能动作用”这一

signature=418c49b7d9d9d211e8a740fd82eb8f74,MS12-041: Vulnerabilities in Windows Kernel-Mode Drivers ...

Publisher FilenameSha1SHA2windows6.1-kb2709162-ia64.msu99C7697130F4B3F4D8603C614343A27F5CBA7467A2CC626317E0F84B73A0C2E5C7DC76ABAB7E379FCBB32CD05B66706CC9F2A74Fwindowsserver2003-kb2709162-x86-enu.exe2D

单片机跑马灯程序c语言,MCS-51单片机控制跑马灯的三种方法

描述在MCS一51单片机的控制系统中,它的四个并行8位输入输出端口P0一P3是我们经常使用的。在并行端口的编程学习中,“跑马灯”是单片机并行端口输出控制的典型实例。所谓跑马灯,是指将八个发光二极管分别连接到单片机的某一并行端口的八根线上,通过编程控制这八个发光二极管从低到高或从高到低依次点亮。图1跑马灯电路图如图1所示,将8个发光二极管阴极接到MCS一51单片机P1端口的8根端口线上,阳极通...

haschanged matlab,[matlab]mathworks上的cody challenge题解及一些常用函数的总结(1)

UPD: 保研弄得差不多了,开始学习别人优秀代码...然后再总结总结... 2013.9.18暑假想练一下matlab,就想像练C++一样找一个可以刷题的OJ。很幸运的是,matlab官网上就有:http://www.mathworks.com/matlabcentral/cody花了些时间刷了一下上面的入门题(Problem Groups里面的Cody Challenge),基本上都是模拟...

比亚迪汉鸿蒙系统测评_如何看待比亚迪汉或使用华为鸿蒙 OS 系统?

比亚迪汉有望成为第一款运行鸿蒙OS的移动设备。你会考虑吗?不是,合着你的意思是你20多万买了个手机?我们这辆车采用的是XX操作系统,行业领先然后你就买了?你买车是为了打电话还是上网?看了这句话,营销意味满满啊……至少我买车,不会因为车使用了哪个车机系统就决定的,我买车是为了出行的,而不是为了上网可笑的问题,低质问题不得不说,营销费是真的花了看了这么一堆的话题,我仿佛忘记了,这是个汽车发布会还真有人

vue 按钮根据状态切换_Vue.js点击切换按钮改变内容的实例讲解

代码实例:代码描述:点击切换按钮,来改变显示的内容,切换不同的单位。flag相当于一个开关,控制开关的改变,来切换不同的单位。同样适用于其他的切换内容实例,也可设置按钮点击显示隐藏等。vue点击切换改变内容new Vue({el:"#example",data:{flag:true,//单位切换开关btnText:'元/吨',},methods:{showToggle:function(){thi

千兆网线8根线定义图_网线的八根芯,分别有什么用

网线一般都有八根线芯,根据T568B(就是一个标准,可以不用知道细节)的标准,相对应网线颜色分为1橙白,2橙,3绿白,4蓝,5蓝白,6绿,7棕白,8棕。其实这个线序只是一个标准,只要网线两头的线缆顺序一样,什么颜色都是可以通的,只不过就是没法维护。网线的具体定义,大类分为三种,百兆普通网线、千兆普通网线、POE网线。首先来看百兆普通网线:网线的1橙白和2橙是负责发送数据,3绿白和6绿是负责接收数据

android评论框弹出框,评论弹出框

image.png这是一个很多app评论回复的时候, 经常用到的弹框。使用Dialog的方式,不会耦合布局,使用简单,可在任何地方使用。可自定义样式。进入自动弹出输入法,发送后自动关闭输入法,设置最大输入字数,超过字数后,字体会变红 等功能。下面是代码:InputTextMsgDialog.javaimport android.annotation.SuppressLint;import an..

到底了