Five levels of problems that might appear in books about mathematics
2006-08-24 14:06
351 查看
Level 1. Given an explicit object x and an explicit property p(x),prove that p(x) is true.
Level 2. Given an explicit set X and an explicit property p(x),prove that p(x) is true for all x in X.
Level 3. Given an explicit set X and an explicit property p(x),prove or disprove that p(x) is true for all x in X.
Level 4. Given an explicit set X and an explicit property p(x),find a necessary and sufficient condition q(x) that p(x) is true.
Level 5. Given an explicit set X , find an interesting property p(x) of its elements.
Level 2. Given an explicit set X and an explicit property p(x),prove that p(x) is true for all x in X.
Level 3. Given an explicit set X and an explicit property p(x),prove or disprove that p(x) is true for all x in X.
Level 4. Given an explicit set X and an explicit property p(x),find a necessary and sufficient condition q(x) that p(x) is true.
Level 5. Given an explicit set X , find an interesting property p(x) of its elements.
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- Question: About the five types of action of Node in jBPM
- Three Things About Data Science You Won't Find In the Books
- Problems About Rearrangement for Expressions in C
- The List of the 100 Companies That Matter Most in Online Video in 2015
- An Example about the use of map Container in C++ STL / c++ map容器的用法
- This generally means that another instance of this process was already running or is hung in the debugger
- Killer Solutioin of all problems occured after phpmyadmin installation
- LeetCode 637: Average of Levels in Binary Tree
- Maven出现以下问题：The Maven Integration requires that Eclipse be running in a JDK, because a number of Maven core plugins are using ja
- 【LeetCode】637 Average of Levels in Binary Tree
- leetcode[Average of Levels in Binary Tree]//待整理多种解法
- Michael F. Goodchild Talks about the Role of Volunteered Geographic Information in a Postmodern GIS World
- At least one JAR was scanned for TLDs yet contained no TLDs. Enable debug logging for this logger for a complete list of JARs that were scanned but no TLDs were found in them. Skipping unneeded JARs d
- About Location of the android sdk has not been setup in the preferences
- Write a program that gives count of common characters presented in an array of strings..(or array of
- 5 insanely great books about mathematics you should read.
- [LeetCode] Average of Levels in Binary Tree 二叉树的层平均值
- MFC Initilization of General Service Control about InitCommonControls和InitCommonControlsEx(MFC 通用控件的初始化InitCommonControls和InitCo
- How-to find the SQL that using lots of temp tablespace in Oracle
- Find the number of subsets such that the sum of numbers in the subset is a prime number