zoukankan
html css js c++ java
面向计算机科学的非经典逻辑
目前的非经典逻辑教材多基于哲学逻辑传统,是从自然语言或哲学问题出发将各种非经典逻辑串起来的(例如Priest的那本)。今天看Gabbay的What is a logical system发现,很多非经典逻辑其实是从计算机领域产生的。应该另外有一条线,即以计算机领域的主要问题将非经典逻辑串起来。这样的教材不说更有价值,至少对原来的教材是一个有益的补充。
查看全文
相关阅读:
Django Rest Framework 视图和路由
DRF 权限 频率
DRF 版本 认证
Serializers 序列化组件
学DRF之前
RESTful
windows下vmware配置nat网络
python之路——网络编程
图片上传
数据库基本设计规范:
原文地址:https://www.cnblogs.com/ilogic/p/2624457.html
最新文章
PAT甲题题解-1054. The Dominant Color (20)-排序/map
PAT甲题题解-1055. The World's Richest (25)-终于遇见一个排序的不水题
PAT甲题题解-1056. Mice and Rice (25)-模拟题
PAT甲题题解-1058. A+B in Hogwarts (20)-大水题
PAT甲题题解-1059. Prime Factors (25)-素数筛选法
PAT甲题题解-1127. ZigZagging on a Tree (30)-中序、后序建树
PAT甲题题解-1126. Eulerian Path (25)-欧拉回路+并查集判断图的连通性
PAT甲题题解-1125. Chain the Ropes (25)-贪心水题
Codeforces 461B Appleman and Tree
Codeforces 509C Sums of Digits
热门文章
XJOI网上同步训练DAY5 T1
XJOI网上同步训练DAY5 T3
Codeforces 573B Bear and Blocks
Codeforces 159D Palindrome pairs
Codeforces 540D Bad Luck Island
Codeforces 538E Demiurges Play Again(博弈DP)
Codeforces 533B Work Group
Codeforces 527D Clique Problem
DRF的解析器和渲染器
DRF的分页
Copyright © 2011-2022 走看看