没有合适的资源？快使用搜索试试~ 我知道了~

文库首页课程资源专业指导Rodin: Functional Analysis－1

Rodin: Functional Analysis－1

functional

analysis,

textbook

5星 · 超过95%的资源需积分: 9 7 下载量 186 浏览量 2010-06-15 17:49:28 上传评论 1 收藏 5.33MB PDF 举报

温馨提示

Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第一部分1－65页。

资源推荐

资源评论

Functional Analysis

Gerald Teschl 的泛函分析，英文版 Typeset by AMS-LATEX and Makeindex. Version: March 14, 2007

格式：pdf 资源大小：850.7KB 页数：120

Functional.Analysis

5星 · 资源好评率100%

经典教材，英文原版，清晰版。

格式：pdf 资源大小：7.5MB 页数：127

Functional-Analysis

Functional-Analysis 小编的主要课题是做人工智能的，人工智能中脱离不开泛函分析的知识，经常会由于泛函中的一些知识不熟悉而卡壳。一直就想系统的学习一个泛函分析了，小编终于开始好好看看泛函分析了。课程使用的是哔哩哔哩上内蒙古大学，孙炯老师的泛函分析课程。参考书籍为Erwin Kreyszig写的“泛函分析导论及应用”的译本。 1.1 绪论 01 1.1 绪论 02 1.2 距离空间

格式：zip 资源大小：20.4MB

Introductory Functional Analysis with Application

5星 · 资源好评率100%

Introductory Functional Analysis with Application

格式：pdf 资源大小：34.2MB 页数：127

Introductory.Functional.Analysis.With.Applications

5星 · 资源好评率100%

本书为泛函分析的经典教材,一直被世界各国的大学作为教材来使用.

格式：pdf 资源大小：123.3MB 页数：127

Rodin: Functional Analysis－3

Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第三部分131－195页。

格式：pdf 资源大小：5.2MB 页数：65

Rodin: Functional Analysis－2

Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第一部分66－130页。

格式：pdf 资源大小：6.0MB 页数：65

Debian新维护人员手册

4星 · 用户满意度95%

- **版权信息**：手册版权归属Josip Rodin，基于GNU通用公众授权第2或更高版本发布。 #### 二、准备工作 - **所需软件**（1.1节）： - 需要安装一系列基础工具和软件以支持Debian包的构建过程，如Debian系统本身、...

格式：pdf 资源大小：894.1KB 页数：47

Event-B Generic Instantiation:用于通用实例化的Rodin平台插件-开源

HITACHI和ETHZ为Event-B开发的通用实例化工具是RODIN平台的插件。该工具的主要功能如下：-通用实例化文件，用于存储有关通用实例化的信息。 -用于创建通用实例化文件的向导。 -通用实例化文件的编辑器。 -通用实例...

格式：zip 资源大小：1.3MB

Functional Analysis（104页）

简单的泛函分析入门英文课程简单的泛函分析入门英文课程简单的泛函分析入门英文课程简单的泛函分析入门英文课程简单的泛函分析入门英文课程简单的泛函分析入门英文课程

格式：pdf 资源大小：1.2MB 页数：107

Functional Verification Coverage Measurement and Analysis

5星 · 资源好评率100%

Springer上面的电子书籍,做IC验证时候用的，英文，我想做IC的看这种资料，应该没有啥问题吧？

格式：x-rar 资源大小：9.0MB

Functional Data Analysis(Second Edition)

4星 · 用户满意度95%

Functional Data Analysis(Second Edition)，J.O. Ramsay，B.W. Silverman， Springer Series in Statistics

格式：pdf 资源大小：3.2MB 页数：431

Functional Data Analysis with R and MATLAB (use R)

This contribution to the useR! series by Springer is designed to show newcomers how to do functional data analysis in the two popular languages, Matlab and R. We hope that this book will substantially

格式：pdf 资源大小：4.5MB 页数：127

模拟Rodin不变式保持

1. **拓扑数据结构**：使用适当的拓扑数据结构（如半边结构、三角网格或四边网格）来存储和表示几何对象，使得对几何操作的转换能够直观地反映拓扑变化。 2. **几何操作的拓扑检查**：在执行任何几何变换之前，先...

格式：zip 资源大小：550.8KB

Event-B.pdf

1. **逐步精化（Refinement）**: Event-B的核心思想之一是逐步精化，即通过一系列逐步细化的过程来构建模型。这种分层的方法有助于处理复杂的系统设计问题。 2. **严格的数学基础**: Event-B基于集合论和谓词逻辑...

格式：pdf 资源大小：13.7MB 页数：615

rodin_scxml_plugin：该存储库用于保存开发scxml rodin插件的材料。这包括scxml模型示例以及该工作产生的任何手稿

rodin_scxml_plugin是一个专门为开发SCXML（State Chart eXtensible Markup Language）与Rodin平台集成的插件而创建的存储库。这个项目的主要目标是提供一个工具集，使得用户能够利用Rodin平台来编辑、模拟和验证...

格式：zip 资源大小：102.9MB

event-B入门基础手册

- **起源与发展**：Event-B源自Rodin平台，该平台是由欧洲航天局开发的一个开放源码工具，旨在通过数学手段确保软件系统的正确性。Event-B方法论及其工具的发展，是基于之前的B方法的改进和完善。 - **应用场景**：...

格式：pdf 资源大小：925.6KB 页数：127

Rodin-开源

"Rodin-1.0"可能是一个包含Rodin库的JAR文件，其中封装了Rodin的核心功能和实现。开发者可以通过导入这个JAR文件到他们的项目中，以便使用Rodin提供的数据库操作功能。总结来说，Rodin是一个正在发展的开源对象...

格式：gz 资源大小：2.0MB

Convex Functional Analysis

Convex Functional Analysis 是很有用的一门课程书籍。老师推荐的啊！

格式：pdf 资源大小：559.8KB 页数：62

SUMS15 Linear Functional Analysis

Springer Undergraduate Mathematics Series(SUMS) SUMS15 Linear Functional Analysis, Bryan Patrick Rynne, Martin Alexander Youngson (2000) .pdf

格式：pdf 资源大小：7.1MB 页数：127

Functional Analysis Notes (2011)

5星 · 资源好评率100%

Functional Analysis Notes（2011） Mr. Andrew Pinchuck 英文版，107页，很好地体现了泛函分析基础的主要结论。能在短时间内掌握泛函分析基础的内容。

格式：pdf 资源大小：606.0KB 页数：107

Functional.Analysis.-.Peter.D.Lax

Functional.Analysis.-.Peter.D.Laxy英文版Functional.Analysis.-.Peter.D.Lax

格式：zip 资源大小：6.7MB

eventb-vscode-extension:用于事件B的Visual Studio代码扩展

对Event-B的语言支持您好UNamur学生！如果您喜欢此扩展，请考虑在上！... 符号的关键字通常是其英文名称（ex： for all ），最常见的关联关键字（ex： in ）或在Rodin中的名称（ex： Partial inject

格式：zip 资源大小：64.3KB

PDT-20-Sergey-Rodin

标题"PDT-20-Sergey-Rodin"可能指的是一个项目或课程，其中"PDT"可能是"Project ...在"PDT-20-Sergey-Rodin-master"这个压缩包中，可能包含了这些阶段的所有学习资料，包括源代码、讲义、测试案例和项目文件。

格式：zip 资源大小：21.3KB

Event-B Language

5星 · 资源好评率100%

**Event-B** 是一种基于 **Rodin 平台** 的形式化方法，它提供了一种用于构建和验证复杂计算机系统的形式化框架。该语言的核心思想是通过一套严谨的语法规则和数学证明技术来构建系统的抽象模型，并通过这些模型验证...

格式：pdf 资源大小：994.0KB 页数：127

Event-B学习入门

4星 · 用户满意度95%

##### 1. 上下文与机器 - **上下文(Context)**：用于定义系统的外部环境，包括系统的输入、输出及外部变量等。 - **机器(Machine)**：表示系统的一个功能模块，每个机器都有自己的状态空间、事件集合以及用于保持...

格式：pdf 资源大小：1.4MB 页数：127

CICS user's handbook

- **Changes for CICS Transaction Server for z/OS Version2 Release1**：回顾了Version2 Release1中做出的重要改变。 - **Changes made for CICS/ESA 4.1 edition**：介绍了从早期版本到当前版本的关键变化。 ###...

格式：pdf 资源大小：1.2MB 页数：487

Linux系统之部署Linux命令大全搜索工具

Linux系统之部署Linux命令大全搜索工具

scala2plantuml：Scala2PlantUML从Scala代码生成PlantUML图

Scala2PlantUML Scala2PlantUML是一个库/ CLI / sbt插件，用于......

格式：zip

评论收藏

内容反馈

资源评论

资源反馈

评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~

yvnnoe

2014-06-05

三个文件一起下载解压，很好的教材！

zywang2010

粉丝: 3

上传资源快速赚钱

我的内容管理展开

我的资源快来上传第一个资源

我的收益

登录查看自己的收益

我的积分登录查看自己的积分

我的C币登录后查看C币余额

我的收藏

我的下载

下载帮助

前往需求广场，查看用户热搜

Rodin: Functional Analysis－1

Functional Analysis

Functional.Analysis

Functional-Analysis

Introductory Functional Analysis with Application

Introductory.Functional.Analysis.With.Applications

Rodin: Functional Analysis－3

Rodin: Functional Analysis－2

Debian新维护人员手册

Event-B Generic Instantiation:用于通用实例化的Rodin平台插件-开源

Functional Analysis（104页）

Functional Verification Coverage Measurement and Analysis

Functional Data Analysis(Second Edition)

Functional Data Analysis with R and MATLAB (use R)

模拟Rodin不变式保持

Event-B.pdf

rodin_scxml_plugin：该存储库用于保存开发scxml rodin插件的材料。 这包括scxml模型示例以及该工作产生的任何手稿

event-B入门基础手册

Rodin-开源

Convex Functional Analysis

SUMS15 Linear Functional Analysis

Functional Analysis Notes (2011)

Functional.Analysis.-.Peter.D.Lax

eventb-vscode-extension:用于事件B的Visual Studio代码扩展

PDT-20-Sergey-Rodin

Event-B Language

Event-B学习入门

CICS user's handbook

Linux系统之部署Linux命令大全搜索工具

scala2plantuml：Scala2PlantUML从Scala代码生成PlantUML图

最新资源

rodin_scxml_plugin：该存储库用于保存开发scxml rodin插件的材料。这包括scxml模型示例以及该工作产生的任何手稿