只为小站
首页
域名查询
文件下载
登录
哈工大数理逻辑.zip
哈尔滨工业大学李涛班的数理逻辑课后作业,有详细的步骤解法,其中部分是书后习题
2021-08-11 12:31:55
801KB
哈尔滨工业大学
数理逻辑
离散数学
1
面向计算机科学的数理逻辑系统建模与推理.PDF
面向计算机科学的数理逻辑系统建模与推理.PDF
2021-08-05 23:38:23
2.13MB
建模
1
面向计算机科学的数理逻辑(PDF:陆钟万)
1) PDF格式,带目录 2) 陆中万著,科学出版社
2021-08-03 16:31:24
3.07MB
数理逻辑
形式化
1
面向科学的数理逻辑
这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识,很有参考价值。
2021-07-12 10:12:42
33.37MB
计算机
数理逻辑
数理逻辑
1
面向计算机科学的数理逻辑
前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表
2021-07-12 10:08:35
5.81MB
逻辑
一阶
推演
1
《离散数学》课件,请配合B站视频学习
B站录课资源网址: https://space.bilibili.com/609703132/channel/detail?cid=142579&ctype=0
2021-06-29 09:04:40
87.89MB
数理逻辑
集合论
抽象代数
图论
1
数理逻辑通俗讲话_10186463
这是有关于数理逻辑通俗讲话_10186463
2021-06-27 22:46:10
3.65MB
数理逻辑通俗讲话_10186463
1
可计算性与数理逻辑(中文版)
数理逻辑经典教材,有兴趣的同学可以看一下,这里的版本是中文版的。
2021-06-25 14:41:43
8.19MB
数理逻辑
1
数理逻辑 汉密尔顿 原版
经典教材,值得拥有,这是第一版的教材了,喜欢的就下来看看吧
2021-06-24 23:07:32
4.14MB
教材
1
公理集合论导引-北航计算机学院教材
是一本讲述公理集合论的好书,也是北航计算机学院高等数理逻辑课的指定教材。
2021-06-22 23:35:24
5.57MB
数理逻辑
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
风电场风速及功率数据.zip
matpower5.0b1.zip
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
IEEE33节点配电网Simulink模型.rar
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
基于ray filter的雷达点云地面过滤ROS节点
PLECS中文手册.pdf
java-spring-web-外文文献翻译40篇.zip
雷达信号处理仿真程序(MTI,MTD等)
狂神说全部笔记内容.zip
MATLAB之LSTM预测
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
EasyMedia-ui.zip
人体姿态检测
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
最新下载
配网终端加密通讯报文.txt
网站交互设计模式(完整)
AFSim2.9.0 Linux编译指南
VEP视频瞬时加密与提取工具
【Unity精品插件】 - UGUI Super ScrollView v2.5.3
DataX-Oracle新增writeMode支持update
电动轮椅车设计【含全套CAD图纸和WORD说明书】.pdf
西南交通大学现代通信原理课设
三菱大型PLC R系列手册+学习资料
poi-3.12-android-a.jar和poi-ooxml-schemas-3.12-20150511-a.jar
其他资源
JAVAweb实现简单的登录注册以及表格填报功能(学生初学者水平)
2017年度中国混合云优秀案例集锦
BFGS+DFP+SUMT——matlab源程序一例
粒子群算法及应用
ArcGIS 10.1 crack+注册机
html5 canvas拖动的流体图片动画效果.zip
最新版Ucenter,修正不兼容php7.7,mysql_connect()不可用等问题
Python程序设计.rar
Angular20210302.rar
西安电子科技大学毛概大作业.doc
python数据分析之Pandas数据结构和操作
GJB9001C-2017质量管理体系要求.pdf
学习利用CUDA10编程 Learning-CUDA-10-Programming-master.zip
redis-desktop-manager-2021.0.zip
场馆申请信息管理系统小作业基于Access
JS生成QRCode二维码带Logo.zip
13种测试视频格式avi,wmv,mkv,mp4,mov,rm,3gp,flv,mpg,rmvb等
ovalshape c# 指示灯控件
W3school离线手册(2019-7-24).chm
学生课绩管理系统(由登陆模块,学生模块,教师模块,管理员模块)
IOS 车牌号录入 自定义键盘
转子信号瀑布图
雷达屏幕显示