The subject which is to us propos¨¦ is as follows: calculation of the degr¨¦ d¡ ¯ inconsistance d¡ ¯ un logical program possibilist in C++. We thus work on a logical program possibilist, it be-¨¤-statement a logical program resulting from non-classique logic. The goal first of this project is of d¨¦ terminer if a logical program is consisting or not of share the calculation of sound degr¨¦ d¡ ¯ inconsistance.
标签: brvbar calculation subject follows
上传时间: 2013-12-18
上传用户:yulg
This companion disc contains the source code for the sample programs presented in INSIDE VISUAL C++ 5.0, as well as pre- compiled copies of the programs. To copy all of the sample code onto your hard disk, run the SETUP.EXE program and follow the instructions that appear on the screen. The sample code requires about 10 MB of hard disk space.
标签: companion the presented contains
上传时间: 2015-05-09
上传用户:mhp0114
This sample demonstrates the use of the projection objects ProjCoordSys and GeoCoordSys, and the CoordinateSystem property of the MapLayer object and Map control. This application is intended to teach about the different world projections and there uses.
标签: the ProjCoordSys demonstrates GeoCoordSys
上传时间: 2015-05-17
上传用户:363186
The two C source files in this archive are specific to the TRS-80 Model 4 with high-resolution graphics board. However, the code which performs Huffman enco- ding and decoding is of general interest.
标签: high-resolution specific archive source
上传时间: 2014-11-04
上传用户:二驱蚊器
The two C source files in this archive are specific to the TRS-80 Model 4 with high-resolution graphics board. However, the code which performs Huffman enco- ding and decoding is of general interest.
标签: high-resolution specific archive source
上传时间: 2013-12-18
上传用户:417313137
Displays CPU time usage, the list of processes (can be terminated) and the task which are running (can be close or switch to). Plus a little net traffic monitor and a disk status report.
标签: terminated the processes Displays
上传时间: 2013-12-25
上传用户:zgu489
The government of a small but important country has decided that the alphabet needs to be streamlined and reordered. Uppercase letters will be eliminated. They will issue a royal decree in the form of a String of B and A characters. The first character in the decree specifies whether a must come ( B )Before b in the new alphabet or ( A )After b . The second character determines the relative placement of b and c , etc. So, for example, "BAA" means that a must come Before b , b must come After c , and c must come After d . Any letters beyond these requirements are to be excluded, so if the decree specifies k comparisons then the new alphabet will contain the first k+1 lowercase letters of the current alphabet. Create a class Alphabet that contains the method choices that takes the decree as input and returns the number of possible new alphabets that conform to the decree. If more than 1,000,000,000 are possible, return -1. Definition
标签: government streamline important alphabet
上传时间: 2015-06-09
上传用户:weixiao99
The JICQ is the bureau area which JAVA writes according to "Customer s Machine/Server"(C/S) mode message solid hour correspond by letter tool system, the system adopted the SQL Server2000 of Microsoft company as a backstage database, the system passes a JDBC interview database. The system is divided into the server procedure and customer s procedure two parts, server and customer adoption "Transmission Control Protocol"(TCP), connect a word (Socket) conjunction through a set, the adoption "User Datagram Protocol "(UDP) of the customer s, pass a data report a set to connect a word (DatagramSocket) establishment a conjunction. The system has customer registration, customer to register, increase good friend, delete good friend and send out and receive news etc. function.
标签: according Customer Machine Server
上传时间: 2014-01-04
上传用户:jyycc
annie is an ANN, ie, Artificial Neural Network library developed in C++. It can be used to implement various kinds of neural networks like Multi-Layer Perceptron, Radial basis function networks, Hopfield networks etc.
标签: Artificial developed implement Network
上传时间: 2014-08-17
上传用户:trepb001
MantisChess -- A Chinese Chess Program Copyright (C) Chen Chengtao, China This program is free software you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation either version 2 of the License, or (at your option) any later version.
标签: MantisChess Copyright Chengtao Chinese
上传时间: 2015-06-22
上传用户:虫虫虫虫虫虫