基础
基础点 ...
原文：Coq基础(一) - 基础
定义一个类型 在coq中，一个变量的类型往往表示为 var name : var type，即变量名后面的一个冒号后是变量的类型 Inductive type name : Type : constructor constructor ... constructor n. 注意最后一个constructor的后面还有一个 . 即创建一个名为 type name 的类型，该类型的变量的取值只能是 c ...
2019-09-22 22:45 0 775 推荐指数：
相关推荐
MVC基础（很基础很基础~~~）
最近工作比较不忙，准备学习一些东西，作为一个菜鸟，不断学习新东西（我不会的东西）充实自己真的很重要，所以整理一下基础的mvc知识，以备不时之需。呵呵~~ 首先感谢原文作者：QLeelulu的文章http://QLeelulu.cnblogs.com/。下面进入正题 一、什么是MVC模式 ...
Linux基础 —基础要点
一、请简述Linux安装时的两个必备分区、挂载点和类型。 一般情况下，安装红旗Linux需要两个必备分区，即一个根文件系统分区，挂载点（/），类型为ext3、ext2或reiserfs；一个交换 ...
jQuery基础---Ajax基础
内容提纲： 1.Ajax 概述 2.load()方法 3.$.get()和$.post() 4.$.getScript()和$.getJSON() 5.$.ajax()方法 6.表单序列化 ...
HTML基础——基础标签
一、HTML概述 htyper text markup language 即超文本标记语言。 超文本: 就是指页面内可以包含图片、链接，甚至音乐、程序等非文字元素。 标记语言: 标记 ...
Mybatis基础（一）
mybatis概述： MyBatis 是一款优秀的持久层框架，它支持定制化 SQL、存储过程以及高级映射。MyBatis 避免了几乎所有的 JDBC 代码和手动设置参数以及获取结果集。MyBa ...
ansible 基础
1 ansible 入门 1.1 ansible 是什么 网上各种介绍都有， 由来的，这里不多写了。 ansible 是一款运维自动化工具，其主要功能是帮运维实现 IT 工作的自动化、降低人为操作 ...
PyTorch基础
Infi-chu: http://www.cnblogs.com/Infi-chu/ import torch a = torch.FloatTensor(3,4) # 3行4列 a ...