面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

Main
Mathematics - Logic
面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke...

面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

Lu zhong wan

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Mathematics - Logic

年:

2002

版本:

2ban.

出版商:

Ke xue chu ban she

語言:

chinese

ISBN 10:

7030096576

ISBN 13:

9787030096579

系列:

Zhong guo ke xue yuan yan jiu sheng jiao xue cong shu.

文件:

PDF, 33.38 MB

IPFS:

,

chinese, 2002

下載 (pdf, 33.38 MB)

轉換進行中

轉換為失敗

你可能感興趣

[美]Harold Abelson Gerald Jay Sussman Julie Sussman著裘宗燕译 — 计算机程序的构造和解释（原书第2版）

李超，阮威，张龙，张翔 — 计算机代数系统的数学原理

李承祖陈平形梁林梅戴宏毅 — 量子计算机研究下纠错和容错计算

李承祖陈平形梁林梅戴宏毅 — 量子计算机研究上原理和物理实现

莫绍揆 — 数理逻辑导论

莫绍揆 — 数理逻辑漫谈

胡世华; 陆钟万 — 数理逻辑基础

胡世华; 陆钟方 — 数理逻辑基础

微型计算机原理与接口技术_第3版.pdf — 微型计算机原理与接口技术_第3版.pdf

计算机科学概论（原书第3版）.pdf — 计算机科学概论（原书第3版）.pdf

【英】丹尼尔•希利斯;周波，张蔷蔷译 — 丹尼尔•希利斯讲计算机

王宪钧 — 数理逻辑引论

未知 — 面向计算机科学的数理逻辑系统建模与推理

Elmar Langetepe & Gabriel Zachmann — 计算机图形学几何体数据结构

数理逻辑基础：一阶逻辑与一阶理论-陈慕泽 — 数理逻辑基础：一阶逻辑与一阶理论-陈慕泽

李忠 — 穿越计算机的迷雾

Линь Цзюшань (ред.) Lin Jiushan (edtr.) 林玖珊(主编) — Comprehensive English-Chinese dictionary of practical computer terms 实用英汉计算机词汇大全

A.G.汉密尔顿朱水林译 — 数理逻辑

Xie, Xiren — 计算机网络 /Ji suan ji wang luo

[美]冯·诺伊曼 — 计算机与人脑

R.M.哈尼什 R.M.Harnish — 心智、大脑与计算机：认知科学创立史导论 (语言与认知译丛)》作者：R.M.哈尼什(R.M.Harnish)

常庚哲; 史济怀 — 数学分析教程（第二版）

王浩 — 数理逻辑通俗讲话

陆汝钤 — 数学·计算·逻辑

布勒斯，George S. Boolos — 可计算性与数理逻辑

x — 非经典数理逻辑与近似推理.

柯尔莫戈洛夫 — 概率论导引

[巴西]沃德斯顿·费雷拉·菲尔多 / 蒋楠译 — 计算机科学精粹

Michael J.Flynn,Wayne Luk — 计算机系统设计：片上系统.pdf

A. G. Hamilton — Logic for Mathematicians

郝柏林 — 漫谈物理学和计算机

陆钟万 — 面向计算机科学的数理逻辑（第二版）

王国俊 — 数理逻辑引论与归结原理

冯琦 — 数理逻辑导引

盛新庆 — 计算电磁学要论

郭国平陈昭昀郭光灿 — 量子计算与编程入门

Harvey Gould, Jan Tobochnik, Wolfgang Christian — 计算机模拟方法在物理学中的应用

[美]GlenBruce，[美]RobDempsey — 分布式计算的安全原理

Harold Abelson; Gerald Jay Sussman; Julie Sussman — 计算机程序的构造和解释(原书第2版): 原书第2版

胡思 — 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

戴默 — 80x86汇编语言与计算机体系结构

[美] Michael Mitzenmacher & [美] Eli Upfal — 华章数学译丛（33）：概率与计算

最常見的術語