《罗里波文集：模型论与计算复杂度》 - 台灣·大書城 - 李仲来 - 北京师范大学出版社

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　聯絡我們　 \|　運費計算　 \|　幫助中心　\|　加入書簽
		會員登入新用戶註冊

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

『簡體書』罗里波文集：模型论与计算复杂度

書城自編碼： 2252126
分類：簡體書→大陸圖書→自然科學→數學
作者：李仲来
國際書號(ISBN)： 9787303158904
出版社：北京师范大学出版社
出版日期： 2013-12-01
版次： 1 印次： 1
頁數/字數： 328/325000
書度/開本： 32开釘裝：平装

售價：NT$ 484

我要買件

** 我創建的書架 **
未登入.

內容簡介：

罗里波教授是第7批博士生导师。《罗里波文集模型论与计算复杂度》是《北京师范大学数学家文库》的第12部。

有限结合系与有限群（Ⅰ）
强不可接近基数上P（K）的插入定理
关于代数系统自同构群的一个问题
模型的并、积与齐次模型
自由群内方程的讨论
可换群中无限生成元直和项消去条件的探讨
计算机科学发展漫谈
多个一元关系上的Vaught猜想
无原子布氏代数理论的计算复杂性
利用计算机计算古典数论问题
康托尔实数的局限性
非良基集合论模型悖论
完全二叉树的量词消去
完全二叉树理论的计算复杂度
可计算实数及其在判定问题上的应用
可数齐次模型的模型数
自由群的τ-理论是不可判定的
可换群理论的计算复杂性
实数加法的正式子的计算复杂性
有限系统上的函数与泛函数
数论中的多项式时间可计算算法
在计算机科学中去掉无限
没有等号的有限模型论
计算实数函数的图灵机的稳定性
用ω-图灵机计算实数函数
非标准数论的新定理
论文和著作目录
后记

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	台灣用户　\|　香港/海外用户

megBook.com.tw
Copyright (C) 2013 - 2025 （香港）大書城有限公司　All Rights Reserved.