[SLFM 004] On the Metamathematics of Algebra - Abraham Robinson


-
[SLFM 004] On the Metamathematics of Algebra - Abraham Robinson
134.29MB
《计算理论书籍合集》(Computation Theory Book Collection)
2018-04-05目录: 01. A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Compl
134.29MB
[计算理论.Computation.Theory.合集].(35本).rar
2013-02-18中文名: 计算理论书籍合集 原名: Computation Theory Book Collection 作者: Shawn Hedman Madhu Sudan Herbert S. Wilf 等资
7.23MB
Recursion Theory for Metamathematics(Raymond M. Smullyan)
2010-04-14Recursion Theory for Metamathematics(Raymond M. Smullyan) 0 Prerequisites I Recursive Enumerability
Mysql数据库基础入门视频教程
2018-10-24Mysql数据库基础入门视频课程:属于零基础Mysql数据库教程,从数据库的基本专业术语介绍到数据库软件的下载使用 一步一步带你安装MySql。SQL阶段你将学会如果使用数据定义语言DDL,数据操作语言DML,数据查询语言DQL 在学会各中查询语句之后,会带你学习数据的完整性, 掌握如果正确的向数据库中添加数据 以上掌握技能之后,将会带你学习如何进行多表操作,关系的建立,各种连接查询等. 常用函数,事务的学习,您将学到什么是事务的提交,回滚,并发操作及脏读,幻读. 最后视图,存储过程,索引的学习,将会带你掌握更高级的数据库技术.
7.25MB
四史答题软件安装包exe
2021-02-28四史答题软件安装包exe
309KB
obs-multi-rtmp_Windows_0.2.4.zip
2020-07-10OBS多路推流插件obs-multi-rtmp
程序员的数学:微积分
2019-09-28本课程介绍程序员必备的数学基础内容,在取材上侧重人工智能、数据分析等热门领域
Java系列技术之JavaWeb入门
2018-09-18JavaWeb里的基础核心技术
JAVA入门精品课程
2018-12-20课程目标: 1、让初学者从小白开始,善于运用知识点,解脱学习的苦恼 2、能够学习更多的工作中使用技巧,成为编程高手
2020华为HCIA/HCNA/数通/路由交换/实验/视频/教程/持续更新赠题库
2020-05-25本课程不仅可以帮助大家顺利考取华为HCIA证书,同时技术视频均为理论+实战配套讲解,讲解细致,通俗易懂,资料完整,可以让大家学到实实在在企业用到的网络技术,本课程包含完整的学习资料,视频+PPT课件,能够帮助你快速掌握HCIA数通网络技术,同时视频中3-4视频后面的附件课件包含了HCIA数通考试题库(带答案),适合从零基础学网络考HCIA的同学!
- 实时 摔倒识别 /运动分析/打架等异常行为识别/控制手势识别等所有行为识别全家桶 原理 + 代码 + 数据+ 模型 开源! 36852021-03-02文章目录一、 基本过程和思想二 、视频理解还有哪些优秀框架三、效果体验~使用手势:python run_gesture_recognition.py健身_跟踪器:卡路里计算三、训练自己数据集步骤然后,打开这个网址:点击一下start new project但是官方的制作方法是有着严重bug的~我们该怎么做呢!原代码解读 大家好,我是cv君,很多大创,比赛,项目,工程,科研,学术的炼丹术士问我上述这些识别,该怎么做,怎么选择框架,今天可以和大家分析一下一些方案: 用单帧目标检测做的话,前后语义相关性很差(也有
12.91MB
微信小程序源码-合集3.rar
2020-09-04微信小程序源码,包含:汤总便利、茶铺门店、滴滴拼车、同城拼车(带后台)、企业OA系统、房地产公司展示、华云智慧园区、汽车维修、评测、停车等源码。
1.64MB
C语言程序设计第五版-谭浩强-课后习题 答案-完整版.pdf
2020-12-03-
60.61MB
VSCode 64位 Win安装包
2020-10-26VSCode安装包,64位,版本1.50.1,适合Windows系统。Visual Studio Code (简称 VSCode / VSC) 是一款免费开源的现代化轻量级代码编辑器,支持几乎所有主流
819KB
python入门教程(PDF版)
2010-07-24python入门教程(PDF版),原版,入门必备。
57.86MB
微信小程序源码-合集5.rar
2020-09-04微信小程序源码,包含:豆瓣、微信、论坛、停车、房贷计算、股票、蜗牛生活、物品回收、学车预约、住房装修、斗鱼直播、水利、快拍、同城等源码。
39.41MB
微信小程序源码-合集1.rar
2020-09-04【微信小程序-源码合集】该合集主要整理 包含交友互动、节日祝福、金融行业、旅游行业、论坛系列、美容行业!
企业员工角色权限管理平台(SpringBoot2.0+Mybatis+Shiro+Vue)
2019-08-07课程简介: 历经半个多月的时间,Debug亲自撸的 “企业员工角色权限管理平台” 终于完成了。正如字面意思,本课程讲解的是一个真正意义上的、企业级的项目实战,主要介绍了企业级应用系统中后端应用权限的管理,其中主要涵盖了六大核心业务模块、十几张数据库表。 其中的核心业务模块主要包括用户模块、部门模块、岗位模块、角色模块、菜单模块和系统日志模块;与此同时,Debug还亲自撸了额外的附属模块,包括字典管理模块、商品分类模块以及考勤管理模块等等,主要是为了更好地巩固相应的技术栈以及企业应用系统业务模块的开发流程! 核心技术栈列表: 值得介绍的是,本课程在技术栈层面涵盖了前端和后端的大部分常用技术,包括Spring Boot、Spring MVC、Mybatis、Mybatis-Plus、Shiro(身份认证与资源授权跟会话等等)、Spring AOP、防止XSS攻击、防止SQL注入攻击、过滤器Filter、验证码Kaptcha、热部署插件Devtools、POI、Vue、LayUI、ElementUI、JQuery、HTML、Bootstrap、Freemarker、一键打包部署运行工具Wagon等等,如下图所示: 课程内容与收益: 总的来说,本课程是一门具有很强实践性质的“项目实战”课程,即“企业应用员工角色权限管理平台”,主要介绍了当前企业级应用系统中员工、部门、岗位、角色、权限、菜单以及其他实体模块的管理;其中,还重点讲解了如何基于Shiro的资源授权实现员工-角色-操作权限、员工-角色-数据权限的管理;在课程的最后,还介绍了如何实现一键打包上传部署运行项目等等。如下图所示为本权限管理平台的数据库设计图: 以下为项目整体的运行效果截图: 值得一提的是,在本课程中,Debug也向各位小伙伴介绍了如何在企业级应用系统业务模块的开发中,前端到后端再到数据库,最后再到服务器的上线部署运行等流程,如下图所示:
爬虫架构师的逆袭之路
2019-12-23在这个信息泛滥的时代,掌握实施有效的数据是诸多企业生存的关键, 面对市场上对数据的无限渴求,Python爬虫工程师炙手可热, 那么毛也不会的你想要摇身一变成为爬虫架构师需要怎么做呢? 啥也别想了,赶紧下单,这个课,真好!
932KB
自动抢茅台脚本.zip
2021-01-25自动抢购飞天茅台脚本,亲测有效,已经抢到2瓶(python和go两种语言,Windows和Mac版本都有),支持京东、天猫平台,立即下载保存,避免被失效!
Python自动化爬虫实战与高级架构技巧
2020-07-22讲解基于Python Selenium 的自动化数据采集,自动化框架设计,SEO搜索收录引擎与接口对接等实战项目
反编译Android应用
2015-01-26学习技术的渠道多种多样,而通过反编译一些经典应用来学习是一种比较好的途径,在Android领域,有比较好的反编译工具,本课程将会教大家如何反编译Android应用。
-
博客
2021最新春招面经:阿里+支付宝+字节(含面试题及答案)
2021最新春招面经:阿里+支付宝+字节(含面试题及答案)
-
博客
java中 this的作用
java中 this的作用
-
学院
MySQL 主从复制 Replication 详解(Linux 和 W
MySQL 主从复制 Replication 详解(Linux 和 W
-
学院
使用vue搭建微信H5公众号项目
使用vue搭建微信H5公众号项目
-
下载
C-CPython-源码
C-CPython-源码
-
博客
2021-03-06
2021-03-06
-
下载
My_StoryBooks_App-源码
My_StoryBooks_App-源码
-
下载
Astraa:一个可以让您看到很多东西的网站-源码
Astraa:一个可以让您看到很多东西的网站-源码
-
博客
概率论笔记
概率论笔记
-
学院
基于微信的同城小程序、校园二手交易小程序 毕业设计毕设源码使用教程
基于微信的同城小程序、校园二手交易小程序 毕业设计毕设源码使用教程
-
下载
健壮的3D视觉显着性计算模型,用于立体视频的人类注视预测
健壮的3D视觉显着性计算模型,用于立体视频的人类注视预测
-
下载
虚拟现实广播系统的照明属性编码
虚拟现实广播系统的照明属性编码
-
博客
汇编笔记(三)
汇编笔记(三)
-
博客
在苏州当老师大概博士毕业,工作稳定后就准备要孩子了
在苏州当老师大概博士毕业,工作稳定后就准备要孩子了
-
博客
C/C++大端小端判断
C/C++大端小端判断
-
学院
MySQL 数据库权限管理(用户高级管理和精确访问控制)
MySQL 数据库权限管理(用户高级管理和精确访问控制)
-
博客
HTTP、Socket、TCP的区別
HTTP、Socket、TCP的区別
-
博客
Mac音乐如何设置资料库整合文件?
Mac音乐如何设置资料库整合文件?
-
下载
02 9900AllLang_PBr7.1.0_rel2930_PL5.1.0.701_A7.1.0.1098_O2_UK.exe
02 9900AllLang_PBr7.1.0_rel2930_PL5.1.0.701_A7.1.0.1098_O2_UK.exe
-
博客
树莓派GPIO引脚输出输入高低电平
树莓派GPIO引脚输出输入高低电平
-
学院
CCNA_CCNP 思科网络认证 动态路由 RIP 协议
CCNA_CCNP 思科网络认证 动态路由 RIP 协议
-
下载
Furitchatcher-源码
Furitchatcher-源码
-
下载
myHero-源码
myHero-源码
-
学院
C# 高级网络编程及RRQMSocket框架详解
C# 高级网络编程及RRQMSocket框架详解
-
学院
华为1+X——网络系统建设与运维(中级)
华为1+X——网络系统建设与运维(中级)
-
学院
朱老师鸿蒙系列课程第1期-3.鸿蒙系统Harmonyos源码配置和管理
朱老师鸿蒙系列课程第1期-3.鸿蒙系统Harmonyos源码配置和管理
-
下载
解决网速限制问题.doc
解决网速限制问题.doc
-
学院
MySQL 触发器
MySQL 触发器
-
博客
2021.03.06【NOIP提高B组】模拟 zj
2021.03.06【NOIP提高B组】模拟 zj
-
下载
notes-源码
notes-源码