找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Mathematics of Program Construction; 375th Anniversary of J. L. A. Snepscheut Conference proceedings 1989 Springer-Verlag Berlin Heidelberg

[复制链接]
楼主: 水平
发表于 2025-3-30 08:53:40 | 显示全部楼层
发表于 2025-3-30 16:27:13 | 显示全部楼层
发表于 2025-3-30 18:10:04 | 显示全部楼层
Anne Kaldewaij,Martin Remutions into quasi-periodic solutions with more frequencies. The simplest case is the bifurcation of periodic solutions from steady solutions. The next hardest problem is the bifurcation of quasi-periodic solutions from basic time periodic solutions of fixed frequency. This problem is treated in the
发表于 2025-3-30 23:46:12 | 显示全部楼层
Anne Kaldewaij,Berry Schoenmakersutions into quasi-periodic solutions with more frequencies. The simplest case is the bifurcation of periodic solutions from steady solutions. The next hardest problem is the bifurcation of quasi-periodic solutions from basic time periodic solutions of fixed frequency. This problem is treated in the
发表于 2025-3-31 02:49:14 | 显示全部楼层
发表于 2025-3-31 06:26:36 | 显示全部楼层
发表于 2025-3-31 11:38:14 | 显示全部楼层
A formal approach to large SOFTWARE CONSTRUCTION,ich are quite different from those of the programming theory; in fact, we have not spoken of recursivity or algorithmics; on the other hand, we spoke of proofs..The design of a software system might be nothing else but the proof of its construction.
发表于 2025-3-31 15:30:15 | 显示全部楼层
Mathematics of program construction applied to analog neural networks,tics has demonstrated its critical importance in the design of deterministic as well as nondeterministic programs, and in the design of both synchronous and self-timed circuits. This short note is to explore the use of this mathematics in the design of continuous systems such as analog neural networ
发表于 2025-3-31 19:00:05 | 显示全部楼层
发表于 2025-4-1 01:27:52 | 显示全部楼层
Constructing a calculus of programs,compounded by notations that require many marks on paper for expressing one elementary concept, and ‘administrative overhead’, consisting of algorithmically uninteresting but technically necessary steps, like shuffling parts of an expression around without change in computational meaning, and the in
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-5 21:32
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表