��˹��ܡ��

Article View: cn.bbs.comp.lang.java

Article #18460

Back to cn.bbs.comp.lang.java Previous Next

#18460

From: training
Date: Thu, 12 Feb 2004 03:57

51 lines
4243 bytes

 
���зݡ��˹����ܡ����?ûѧ���������û���ⷽ��ĸ��ְ�æ����ý�100Ԫ��˵
 
������  
�ҵ�QQ: 67277577  
  
��Ҫ��Ŀ��  
  
���������⣨ÿ��8�֣���24�֣�  
1���ж��Ӿ伯{P��x����Q��x����R��x������P��y����R��y������Q��a������R��b��}�Ƿ�
 
�����㡣  
2����F1: ( x) (P(x)��( y)(Q(y)��L(x,y)))  
F2: ( x) (P(x)��( y)(R(y)��L(x,y)))  
�Ƿ񹹳ɽ��� G: ( x) (R(x)��Q(x))��ǰ�᣿  
3����0��1��2������9��10��������һ����ȡ�������ʳ鵽����6�ĸ����Ƕ��٣�  
�������⣨���ò���ʽ�����ʾ���µ�������Ľ����̣�20�֣�  
��һ�ξƻ��ϣ�������װ��Ƶİ����Ʊ�����һ�����������Ŀձ��ӡ������ͨ�������
 
���ӵ�ʹ�ã�������4λ���˾��ƣ�����ʹ��ÿλ���˲���Ҳ���ٸպø����������ơ�  

�ġ������⣨�Ը�ĺ�����ƪ���ֱ�������������ҵ��ÿС��10�֣���30�֣�  
���Ļ���ȱ�ݣ�Ҳ��ǧǧ����Ʒ�����˸��ȱ�ݡ���ǧ��ķ⽨���ƣ��γ���һ��������
 
������˳�ܵľ������������Ϊ�й��Ļ��˸��������֢�ᡣ  
1�� ���һ����ȷ�Ĵ��зֽ��  
2�� ���һ����������ɸ���ƪ�ľ����﷨��  
3�� �������ƪ�и����������������ϵͼ��  
�塢��֤�⣨6�֣�  
Reiter�����һ��ȱʡ�����������������(��,D)�������ģ��䦵Ϊ���⼯��DΪһ��ȱʡ
 
���򼯡�ȱʡ��������ʽ��  
��:��1,������n/�֪�  
���Цգ���1,������n��Ϊ���⹫ʽ������ճ�Ϊ�Ⱦ���������1,������n��Ϊ���ɣ���Ϊ
 
ȱʡ���ۡ�ȱʡ����һ���������������Ŧգ�����ÿ����i�������ŵ���ʵ��һ�µģ���
 
ô�����Ŧ֡���Ȼʹ��ʱ���������Ƿ��i��Ȼ����֪������ʵ��һ�¡�������=true
 
�����Ⱦ�������ƽ������ģ���ô����д�ɣ�  
��1,������n/��  
����ʽ�������������ȱʡ����������������ȱʡ��ʵ����������  
1�� ������ѻһ���Ǻڵ�  
2�����׻�������ѻһ�㲻�Ǻڵ�  
���ٶ����в�֪���������л��׻�������ѻ����һ��ʵ����֤������������ѻ�Ǻڵ�
 
����һ��������� 

--
[m
[m[1;35m�� ��Դ:���㽭��ѧ���ɰٴ�վ http://bbs.zju.edu.cn [FROM: training][m

Technical Details

Message-ID: <4AcO8W$A0G@bbs.zju.edu.cn>

Path:

arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!news.maxwell.syr.edu!elnk-pas-nf1!elnk-nf2-pas!newsfeed.earthlink.net!sjc70.webusenet.com!news.usenetserver.com!maily.cic.tsinghua.edu.cn!news.ccie.net.cn!ZJUBBS

Show Full Headers

Complete Article Headers

X-Google-Language: Chinese,GB
X-Google-Thread: f6cb0,e84876fdc520f04e,start
X-Google-Attributes: gidf6cb0,public
X-Google-ArrivalTime: 2004-02-11 19:57:24 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!news.maxwell.syr.edu!elnk-pas-nf1!elnk-nf2-pas!newsfeed.earthlink.net!sjc70.webusenet.com!news.usenetserver.com!maily.cic.tsinghua.edu.cn!news.ccie.net.cn!ZJUBBS
From: training.bbs@bbs.zju.edu.cn (training)
Newsgroups: cn.bbs.comp.lang.java
Subject: ���˹����ܡ���������
Date: 12 Feb 2004 03:57:20 GMT
Organization: �㽭��ѧ���ɰٴ�
Message-ID: <4AcO8W$A0G@bbs.zju.edu.cn>
X-Filename: Java/M.1076558240.A

Article View: cn.bbs.comp.lang.java

���˹����ܡ���������

��˹��ܡ��