数理逻辑：本科教材
A

数理逻辑：本科教材

通用
mathematical logic Java propositional logic predicate logic computer science education algorithmic approach
作者
V.L. 马特罗索夫，M.S. 米尔佐耶夫
出版社
普罗米修斯
年份
2020
语言
俄语
237
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

数理逻辑与算法理论：教材

数理逻辑与算法理论：教材

Yu. V. 瓦因施泰因, T. G. 片科娃, V. I. 瓦因施泰因

算法理论

算法理论

V.I. Igoshin

数学 - 致考生。关于大学入学考试的一切

数学 - 致考生。关于大学入学考试的一切

V. V. Tkachuk

概率论与数理统计：教材

概率论与数理统计：教材

V. Ya. Derr

数学证明的艺术。附练习的讲座课程

数学证明的艺术。附练习的讲座课程

丹尼尔·韦勒曼

自动控制理论（使用MATLAB — SIMULINK）

自动控制理论（使用MATLAB — SIMULINK）

Yu. I. 库季诺夫，F. F. 帕先科

Fortran 专业指南。IMSL 数学库。第 1 版

Fortran 专业指南。IMSL 数学库。第 1 版

O.V. 巴尔捷涅夫

多尔加诺夫 A. Yu., 龙金 M. V., 索兹金 A. V. - Python语言上的机器学习基础算法 - 2023

多尔加诺夫 A. Yu., 龙金 M. V., 索兹金 A. V. - Python语言上的机器学习基础算法 - 2023

A. Yu. 多尔加诺夫，M. V. 龙金，A. V. 索济金

离散数学：图论、拟阵、算法

离散数学：图论、拟阵、算法

M. O. 阿萨诺夫，V. A. 巴兰斯基，V. V. 拉辛

可编程逻辑控制器编程。教材

可编程逻辑控制器编程。教材

伊万诺夫 V.N.