PawLogic -- License B 1.0.3
by www.paweng.com
| |
| Publisher:
|
www.paweng.com |
| Category:
|
Home & Education / Mathematics |
| Price:
|
$ 12.0 USD ( See price in EUR ) |
| Current Rating:
|
 (Average rating:4)
|
| New Rating:
|
Description:
<p>PawLogic is a program for manipulating boolean expressions. The
program handles both expressions in propositional logic and quantified
boolean formulae QBF .</p>
<p>Logic is widely used today. It forms the basis of mathematical
proof methods. It is used in formal verification like symbolic model
checking and equivalence checking of combinational and sequential
circuits. Logic is also behind product configurators and the construction of
remote controls and traffic light intersections. And logic is
something we all use daily. For example, most of us readily accept the
following reasoning: If it rains, I get wet. It rains. Therefore I
get wet. This is applied logic.</p>
<p>PawLogic lets you work and experiment with logic. If you are a
student of logic, you get a valuable tool to aid you in your
studies. If you are a professional working with logic, you get an
always accissible logic program for you to use whether at the office,
at home or on the move. And if you are just interested in the world of
logic, here is your chance to get hands-on experience.</p>
<p>PawLogic works under PalmOS 2.0 and higher. Copyright ?2000
Poul F. Williams. All Rights Reserved.</p>
<p>Visit the <a href=http://www.paweng.com>PawEng</a> webpage for more information. We have a manual available online including a number of screenshots.</p>
Benefits of registration include:
<ul>
<li>Free updates
<li>Access to more variables 26 variables in license B, and 2600 variables in license C
</ul>
|
|
Keyword: PawLogic -- License B,
Some Related Shareware Softwares:
| GMAT Quant
10 quantitative GMAT tests
|
| FEA System MEANS DESIGN
FEA system MEANS V6 for statics, dynamics and temperature with 3D CAD interface.
|
| Geometry
Calculate geometry figures as spheres, triangles, cones, trapezoids.
|
| Pre_Algebra_3
A little bit advanced self-tutoring on Algebra
|
| FIRE-ARMS
Fine InfraRed Explorer for Atmospheric Radiation MeasurementS FIRE-ARMS is a software for passive atmospheric sounding by FTS sensors, containes options for look-up tables creation and...
|
| RafterMan
RafterMan: Your Roof Rafter Lengths Solution!
|
| CTel
A calculator for dialup connection fees
|
| Golf Course Math
Performs and explains everyday mathematical calculations.
|
| Powers and Radicals
An introductory program on elementary algebra (Pre_Algebra). It includes the basic foundation on powers and radicals
|
| Yanshuf
Yanshuf is an application to help learn simple math.
|
| CalcSlip
Full overview of your calculations in your Pocket PC!
|
| ProKalc
Scientific/Financial/Geometry Calculator with Tape
|
| WebCab Optimization for .NET
Add optimization amp; L.P. solver to .NET, COM and Web service Applications.
|
| GraphCalc
GraphCalc: The Ultimate Windows Graphing Calculator
|
| Calculator Prompter
Calculator Prompter is a math expression calculator. It is a handy and useful.
|
| PVL Mechanics
This is a set of Mechanics Simulators: Statics, Dynamics, Parabolic Motion, Equilibrium, Energy, Comsevation laws, etc, etc
|
|
| More Titles from www.paweng.com |
|
PawCalc - A scientific calculator for PalmOS 2 and later. |
|
PawQuote - Quotes on your Palm PDA |
|
PawDate - Keep track of events and holidays with your Palm Pilot. |
|
|
|
: