只为小站
首页
域名查询
文件下载
登录
高级数理逻辑 教案 北京邮电
逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容: 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
2021-09-29 18:54:21
765KB
逻辑
数理
高级
计算机专业理论基础
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
多目标优化算法(四)NSGA3的代码(python3.6)
多目标微粒子群算法MOPSO MATLAB代码
avantage 软件 xps 处理软件30天后不能使用问题
基于Matlab的IEEE14节点潮流计算.zip
得到品控手册7.0.pdf
ChinaMeteorologicalDataHandler.R
基于Matlab的PI/4 DQPSK的调制解调源代吗
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
拾荒者扫描器.zip
mingw-w64-install.exe
python实现的学生信息管理系统—GUI界面版
粒子群算法优化3-5-3多项式工业机器人时间最优轨迹规划算法matlab代码
BP神经网络+PID控制simulink仿真
刚萨雷斯《数字图像处理》第四版答案.pdf
CNN卷积神经网络Matlab实现
最新下载
国际10-20系统脑电极分布VISO图图.vsdx
校园导游系统课程设计报告
千分尺 螺旋测微器 flash动画
ROSE mirror HA 双机热备软件
魂斗罗素材
国开《计算机绘图》课程形考1-4 .dwg答案(可直接使用)
DS18B20温度采集+串口发送+模块化编程 51单片机
Plex v7.12电视端app
IBM CPLEX 12.10 学术版 mac操作系统安装包
ADC参数测试资料&matlab源程序
其他资源
SOT23-5封装带3D模型.PcbLib
MDP(马尔可夫决策过程) MATLAB 源码
hdl_dumb_0.83中文修改版
在线学习网站DEMO源码(JAVA 毕业设计 J2EE)
CH340驱动(USB串口驱动)_XP_WIN7-win10全兼容
CNAS认证-软件类所有资料
UReport使用手册(docx、typora)、demo案例以及源码
java井字棋
2016年全国中学信息技术课程教学案例大赛获奖作品 初中 一等奖 遮罩动画应用教学设计
PL/0语言编译器源代码及测试代码
fme 2012的licgen.exe
2020年初升高一衔接班英语期末考试.doc
关于如何定位电极以获得较高fECG SNR的一些规律性
ssp伪春菜(附人格)
人工智能综述
浙江省计算机一级总结复习资料
MATLAB神经网络与案例精讲源码
支持http接口自由mock,可根据需要进行接口mock测试。
西北工业大学02-11年信号与系统历年真题
连续系统离散化问题
C语言库函数手册--c语言大全