emanlee - 博客园

2010年9月5日

摘要：假设文件名为：AAA.aspx.vb, AAA.aspx 要转换为：AAA.aspx.cs, AAA.aspx 事先准备： 1 修改AAA.aspx文件中的VB为C#，修改AAA.aspx.vb为AAA.aspx.cs （可以使用其他编辑器来修改） 2 修改文件名AAA.aspx.vb为AAA.aspx.cs （在Windows中修改；VS中无法修改文件扩展名）步骤： ... 阅读全文

posted @ 2010-09-05 22:04 emanlee 阅读(1002) 评论(0) 推荐(1)

2010年9月2日

GridView根据某行的内容显示或隐藏Edit按钮

摘要： Protected Sub gdv_RowDataBound(ByVal sender As Object, ByVal e As GridViewRowEventArgs) Handles gdv.RowDataBound If e.Row.RowType = DataControlRowTyp... 阅读全文

posted @ 2010-09-02 21:07 emanlee 阅读(1012) 评论(0) 推荐(0)

2010年8月31日

asp.net中怎样用Javascript控制RequiredFieldValidator控件什么时候启用，什么时候不启用验证？

摘要： Enable/Disable RequiredFieldValidator with Javascript document.getElementById("requiredfieldvalidatorid").enabled = false; <asp:DropDownList ID="ddlServiceName"... 阅读全文

posted @ 2010-08-31 21:27 emanlee 阅读(1748) 评论(0) 推荐(0)

2010年8月16日

BIRT Overview

摘要： BIRT is an Eclipse-based open source reporting system for web applications, especially those based on Java and J2EE. BIRT has two main components: a report designer based on Eclipse, and a run... 阅读全文

posted @ 2010-08-16 16:59 emanlee 阅读(785) 评论(0) 推荐(0)

自然数

摘要：用以计量事物的件数或表示事物次序的数。即用数码0，1，2，3，4，……所表示的数。表示物体个数的数叫自然数，自然数由0开始(包括0)，一个接一个，组成一个无穷的集体。常用大写字母N表示自然数集有加法和乘法运算，两个自然数相加或相乘的结果仍为自然数，也可以作减法或除法，但相减和概念相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不是总能... 阅读全文

posted @ 2010-08-16 16:32 emanlee 阅读(2357) 评论(0) 推荐(0)

离散数学中的IFF标记

摘要：数学中的IFF标记当且仅当（ If and only if，缩写为：IFF)，中文翻译为：当且仅当。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”的缩写。常用符号“≡” “⇔” “双向箭头⟷”表示。阅读全文

posted @ 2010-08-16 16:19 emanlee 阅读(4962) 评论(0) 推荐(0)

网页上输入数学符号

摘要：使用word制作，然后做成图片（繁琐） ASCIIMathML.js (IE不支持；FF, Safari 支持) MathType （网页行吗？） http://www.newhua.com/soft/5975.htm http://mathcs.chapman.edu/~jipsen/mathml 阅读全文

posted @ 2010-08-16 12:04 emanlee 阅读(787) 评论(0) 推荐(0)

充分条件和必要条件的联系和区别是什么

摘要：什么是充分条件和必要条件？假设A是条件，B是结论: 由A可以推出B,由B可以推出A，则A是B的充要条件（充分且必要条件）。由A可以推出B,由B不可以推出A，则A是B的充分不必要条件。由A不可以推出B,由B可以推出A，则A是B的必要不充分条件。由A不可以推出B,由B不可以推出A，则A是B的不充分不必要条件。简单一点就是：由条件能推出结论，但由结论推不出这个条件，这个条件就是充分条件。如果... 阅读全文

posted @ 2010-08-16 09:14 emanlee 阅读(74647) 评论(0) 推荐(2)

2010年8月13日

离散数学第二章谓词逻辑 2-7 谓词演算的推理理论

摘要：谓词演算的推理方法，可以看作是命题演算推理方法的扩张。因为谓词演算的很多等价式和蕴涵式，是命题演算有关公式的推广，所以命题演算中的推理规则，如P，T和CP规则等亦可在谓词的推理理论中，某些前提与结论可能受量词限制的，为了使用这些等价式和蕴涵式，必须在推理过程中有消去和添加量词的规则，以便使谓词演算公式的推理过程可类似于命题演算中推理理论那样进行。现介绍如下规则。（1）全称指定规则，它表示为US... 阅读全文

posted @ 2010-08-13 15:59 emanlee 阅读(4508) 评论(0) 推荐(0)

离散数学第二章谓词逻辑 2-6 前束范式

摘要：在命题演算中，常常要将公式化成规范形式，对于谓词演算，也有类似情况，一个谓词演算公式，可以化为与它等价的范式。定义2-6。1 一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。前束范式可记为下述形式：（□v1）（□v2）…（□v4）a，其中□可能是量词或量词ヨ，vi（i=1，2，3，... 阅读全文

posted @ 2010-08-13 15:58 emanlee 阅读(5573) 评论(0) 推荐(0)