www.funmath.be PR:4 Funmath Home Page - 网站综合信息查询

网站综合查询

网站综合信息 www.funmath.be

标题:
Funmath Home Page

关键字:
Funmath functional mathematics formal methods calculational reasoni

描述:
Functional Mathematics

域名信息
域名年龄:19年9个月29天 注册日期:2006年02月27日 到期时间:
邮箱:dnsberequest 电话:+32.15333000
注册商:Name: Telenet NV

服务器空间
IP:195.130.132.84 同IP网站39个详情
地址:比利时

备案信息
备案号:

网站收录SEO数据

搜索引擎
收录量
反向链接
其他

百度
0
0
快照:2011-08-21

Google
21
2
pr:4

雅虎
0

搜搜
0

搜狗
0
评级:1/10

360搜索
1

域名流量Alexa排名

一周平均
一个月平均
三个月平均

Alexa全球排名
-
-
-

平均日IP
-
-
-

日总PV
-
-
-

人均PV(PV/IP比例)
-
-
-

反向链接
0

dmoz目录收录
-

流量走势图

域名注册Whois信息

funmath.be

域名年龄: 19年9个月29天
注册时间: 2006-02-27
注册商: Name: Telenet NV
注册邮箱: dnsberequest
联系电话: +32.15333000

获取时间: 2014年05月02日 18:47:52
% .be Whois Server 6.1
%
% The WHOIS service offered by DNS Belgium and the access to the records in the DNS Belgium
% WHOIS database are provided for information purposes only. It allows
% persons to check whether a specific domain name is still available or not
% and to obtain information related to the registration records of
% existing domain names.
%
% DNS Belgium cannot, under any circumstances, be held liable where the stored
% information would prove to be incomplete or inaccurate in any sense.
%
% By submitting a query you agree not to use the information made available
% to:
% - allow, enable or otherwise support the transmission of unsolicited,
% commercial advertising or other solicitations whether via email or otherwise;
% - target advertising in any possible way;
% - to cause nuisance in any possible way to the domain name holders by sending
% messages to them (whether by automated, electronic processes capable of
% enabling high volumes or other possible means).
%
% Without prejudice to the above, it is explicitly forbidden to extract, copy
% and/or use or re-utilise in any form and by any means (electronically or
% not) the whole or a quantitatively or qualitatively substantial part
% of the contents of the WHOIS database without prior and explicit permission
% by DNS Belgium, nor in any attempt thereof, to apply automated, electronic
% processes to DNS Belgium (or its systems).
%
% You agree that any reproduction and/or transmission of data for commercial
% purposes will always be considered as the extraction of a substantial
% part of the content of the WHOIS database.
%
% By submitting the query you agree to abide by this policy and accept that
% DNS Belgium can take measures to limit the use of its whois services in order to
% protect the privacy of its registrants or the integrity of the database.
%

Domain:funmath.be
Status:NOT AVAILABLE
Registered:Mon Feb 27 2006

Registrant:
Not shown, please visit www.dns.be for webbased whois.

Registrar Technical Contacts:
Name:Technical Internet
Organisation:Telenet NV
Language:nl
Phone:+32.15333000
Fax:+32.15333999
Email:dnsberequest

Registrar:
Name: Telenet NV
Website: http://www.telenet.be

Nameservers:
ns.telenet-ops.be
ns2.telenet-ops.be

Keys:

Flags:

Please visit www.dns.be for more info.

网站头文件(HTTP Header)

HTTP/1.1 200 OK
访问时间:2015年09月29日 03:48:28
修改日期:2015年08月02日 01:05:58
网页标记:"5b1e15-b6fd-51c42f33f8980"
接受单位:字节
文件大小:46845
Keep-Alive: timeout=10, max=100
连接:Keep-Alive
类型:text/html
页面编码:utf-8

其他后缀域名

顶级域名
相关信息

funmath.com
- .com

funmath.net
- .net

funmath.org
- .org

funmath.cn
- .cn

网站首页快照(纯文字版)

抓取时间:2015年09月29日 03:36:33
网址:http://www.funmath.be/
标题:Funmath Home Page
关键字:Funmath, functional mathematics, formal methods, calculational reasoning, functional predicate calculus, concrete generi
描述:Functional Mathematics
主体:

FunmathFunctional mathematicsMenu:Introduction Formalism History References Links EventsWhat is a function in mathematics? This question is answered in quite some detail (occasionally technical) in the paper Rekindling critical thinking: heeding major errors in current Introduction to Proof type textbooks. Note that this is only an initial version, prepared for MathFest 2015. All questions, comments and suggestions sent to raymond.boute@pandora.be would be much appreciated. Please note that, due to priorities, this site is maintained only very occasionally (last time was 5 years ago, and this entry is not counted as maintenance). IntroductionWhat is Funmath?Funmath stands for Functional mathematics (for other uses of the name, look here). The underlying principle consists in defining mathematical concepts as functions (hence the name) whenever doing so is appropriate. This turns out to be especially convenient where it has not yet become common practice. Funmath provides a simple and coherent framework for establishing more convenient mathematical conventions, styles of expression, exposition and (calculational) reasoning in most branches of pure and applied mathematics.Important remark From the preceding paragraph, it is clear that we are talking here about mathematical reasoning by humans (say, "pencil and paper") and communication among humans. In the current version of this website, we refer only occasionally to automated tools or mathematical software (e.g., when mentioning current and future work).What is its purpose?Funmath is designed to make the idea of letting the symbols do the work feasible and convenient in everyday mathematical practice. This idea is nicely captured by the logo (shown on the left)of the conference series on the Mathematics of Program Construction (MPC), which is oriented towards Computer Science. Making this idea work in a wider context, for every "working mathematician" (not "logicians only") and every engineer in classical as well as computer-related areas, requires a framework that is free of the many defects (ambiguities, abuses of notation, inconsistencies etc.) one encounters in common mathematical conventions, as discussed in a later subsection. Funmath provides such a defect-free framework, while also preserving the "look and feel" of familiar conventions to the largest extent possible without hampering the stated purpose. It is more expressive and convenient than traditional conventions, and is eminently suitable when working just with pencil and paper or on the blackboard.Where is it useful?Funmath is applicable at all levels of mathematical practice, starting from the most elementary ones. However, it is most useful at the higher levels and for the mathematical modeling of systems in all branches of engineering. In particular, in its design we paid special attention to bridging the methodological gap that has grown between classical engineering discipli