离散数学逻辑和可计算性的Prolog实验Prolog Experiments in Discrete Math Logic and Computability

Name: 离散数学逻辑和可计算性的Prolog实验Prolog Experiments in Discrete Math Logic and Computability
Rating: 4.5 (45 reviews)
Author: chenzijing

上传者：chenzijing 2020-05-22 15:50:52上传 PDF文件 1.32MB 热度 45次

本书包含旨在加强对离散数学，逻辑和可计算性的学习的编程实验。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

离散数学逻辑和可计算性的Prolog实验Prolog Experiments in Discrete Math Logic and Computability

本书包含旨在加强对离散数学，逻辑和可计算性的学习的编程实验。

大小：0B | 2020-05-22 15:50:52
可计算性与数理逻辑computability and logic

适合计算机专业类和数学类专业本科以上参考使用

大小：0B | 2020-02-16 03:54:17
Discrete Structures Logic and Computability

这是关于离散结构与逻辑，可计算性的电子书，最新版本，经典著作，英文版

大小：0B | 2019-09-07 07:55:51
通过Prolog进行逻辑编程的简介An Introduction to Logic Programming Through Prolog

介绍逻辑编程，将三个基本组成部分组合在一起：逻辑本身的声明性，编写有效程序所需的编程技术以及计算机对...

大小：143B | 2020-07-27 07:23:41
离散数学Discrete Mathematics

本书讨论了一些离散数学的精选结果和方法，其中大部分来自组合学，图论和组合几何学领域，还有一些基本数论...

大小：0B | 2020-06-17 21:21:17
编程和数学思维离散数学和PythonProgramming and Mathematical Thinking Discrete Math Python

本书从初级水平开始，讲授离散数学的基本结构以及使用这些结构的许多简单但功能强大的编程技术。

大小：0B | 2020-06-08 18:39:54
逻辑编程 prolog

大小：0B | 2018-12-08 14:47:46
离散数学逻辑

离散数学逻辑命题课件欧阳吉林大学的软件学院的课件

大小：0B | 2019-07-25 06:47:45
计算机科学专业的离散数学Discrete Math for Computer Science Students

本文讲授了所有数学知识,但线性代数除外,这是计算机科学成功所必需的。

大小：110B | 2020-08-13 17:47:37
离散数学Discrete Mathematics with Applications

Discrete Mathematics with Applications By Susanna ...

大小：9.73MB | 2021-04-21 23:33:11
discrete.mathematics离散数学

离散数学springer.verlag.discrete.mathematics.elementar...

大小：0B | 2019-04-28 16:22:20
可计算性和不完备性Computability and Incompleteness.pdf

可计算性和不完备性Computability and Incompleteness.pdf 计算机

大小：543KB | 2020-09-24 06:19:55
An introduction to logic programming through Prolog

国外大学COMPUTERSCIENCE专业三年级用书

大小：0B | 2020-05-19 07:30:40
Logic.Programming.with.Prolog.pdf

Logic.Programming.with.Prolog.pdf

大小：915KB | 2020-10-30 17:55:12
逻辑谓词与Prolog

一阶谓词逻辑下的Horn 逻辑是人工智能程序语言Prolog 的理论基础,利用Prolog 在计算机...

大小：604KB | 2021-04-20 14:58:49
Logic加Programming加With加Prolog

Logic Programming is the name given to a distincti...

大小：942KB | 2020-09-20 09:39:44