Free Downloads: Formal Logic Projects
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and Formal Logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization capabilities and...
Category: Business & Finance / Applications
Publisher: Vikhetan Appa, License: Shareware, Price: USD $22.95, File Size: 6.9 MB
Platform: Windows
Logic Express 2010 makes it easier than ever to translate musical inspiration into professional productions-perfect for those looking to add to bMix or Babya Logic Basics Projects .
Logic Express comes with range of easy-to-use features that puts sophisticated tools at your fingertips, that lets you make incredible, immersive music that will impress...
Category: Audio / Music Creation
Publisher: Babya, License: Freeware, Price: USD $0.00, File Size: 2.2 MB
Platform: Windows
Coq is a formal proof management system.
Coq is a Formal proof management system. It provides a Formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Category: Business & Finance / Business Finance
Publisher: Coq Development Team, License: Freeware, Price: USD $0.00, File Size: 53.8 MB
Platform: Windows
DescriptionA suite of project management applications designed to support Formal project management on small or large Projects. This suite is compatible with PRINCE II and therefore can be used to support project management of IT, construction and other types of Projects. Application ContentsThe applications that are included in this package are listed below: Project Issue...
Category: Business & Finance / Project Management
Publisher: CM Services Limited, License: Shareware, Price: USD $50.00, File Size: 4.2 MB
Platform: Windows
A semi-automated method of performing comparisons of Machine Edition logic.
A semi-automated method of performing comparisons of Machine Edition Logic.
Operational notes:
- The Projects to be compared need to be validated (built) before they will appear in the Projects list.
- Follow the steps indicated by the program.
Category: Business & Finance / Business Finance
Publisher: Steve Towner, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
Logic Sticks Team. Traditionally Logic is closely linked to linguistic practice and particularly to language. Categorical Logic sticks to the traditional link with linguistic. 3d Logic - An incredibly difficult puzzle game. The game saves the point you got to last time you played. Can you get past level 16? Test your knowledge with this great 3D Logic cube!...
Category: Games / Misc. Games
Publisher: SM games, License: Freeware, Price: USD $0.00, File Size: 25.0 KB
Platform: Windows, Mac
MultiMedia Logic is a MultiMedia Logic Design System.
MultiMedia Logic is a MultiMedia Logic Design System. It allows the user to design, edit, and simulate digital Logic circuits in virtual reality. Using the realtime simulation, it is easy to debug complex circuits without having to pickup a soldering iron or deal with a tangle of wires. Avoid zapping expensive integrated circuits.
Main Features:
Intuitive to...
Category: Multimedia & Design / Digital Media Editors
Publisher: Softronics Inc., License: Freeware, Price: USD $0.00, File Size: 1.4 MB
Platform: Windows
Mulimedia Logic is a logic emulator of the finest caliber.
Mulimedia Logic is a Logic emulator of the finest caliber. It will allow the user to explore the inner workings of computers and digital Logic without having to worry about shorting out power supplies, tangling hookup wires, troubleshooting loose connections, accumulating parts, or any of the other drawbacks associated with breadboarding electronic circuits.
...
Category: Multimedia & Design / Image Editing
Publisher: Softronics Inc., License: Freeware, Price: USD $0.00, File Size: 1.4 MB
Platform: Windows
Logic Gate Simulator is an open-source tool for experimenting with and learning about logic gates.
Logic Gate Simulator is an open-source tool for experimenting with and learning about Logic gates. The simulator tool was originally designed for CIS students at South Puget Sound Community College but is free for anyone to use and modify under the GPL v3.
Category: Home & Education / Science
Publisher: Steve Kollmansberger, License: Shareware, Price: USD $0.00, File Size: 672.5 KB
Platform: Windows
The ease of use is such that even for the professionals and not particularly technical experts will be able to offer its customers a complete and accurate calculation report also from the Formal point of view. Very detailed and technical analysis of financial position that provides an economic understandable to the customer less prepared on the financial front.
Category: Business & Finance / Business Finance
Publisher: Evolvente s.r.l., License: Demo, Price: USD $0.00, File Size: 25.4 MB
Platform: Windows
Download a complete methodology for managing projects.
Download a complete methodology for managing Projects. It helps you to deliver Projects on time and under budget. It includes all of the templates, processes, charts and practical examples needed to manage Projects. By using it, you can initiate Projects faster, plan Projects more efficiently, monitor and control Projects. It includes all of the project...
Category: Business & Finance / Project Management
Publisher: PMEarth, License: Demo, Price: USD $697.00, File Size: 17.5 MB
Platform: Windows, Mac
With LogicSim you can design and simulate digital Logic circuits with Logic gates like AND, OR, FlipFlop. The following types of Logic gates are included: Basic: AND, NAND, OR, NOR, XOR (Antivalence), Equivalence, NOT, Flip Flops: RS, D, T, JK, JKMS, Timers: clock generator, MonoFlop, Turn on delay, Turn off delay, Inputs: Switch, number-input for decimal and hexadecimal...
Category: Software Development / Compilers & Interpreters
Publisher: Andreas Tetzl, License: Shareware, Price: USD $0.00, File Size: 0
Platform: Windows
Qunetix SD is a software deployment platform for heterogeneous networks, allowing you to install or update software on your network systems without Formal training. Using an automated and managed process, Qunetix SD manages the packaging, testing and depl
Category: Utilities / Network
Publisher: emperex.com, License: Freeware, Price: USD $0.00, File Size: 210.0 MB
Platform: Windows, Linux, Unix
Logic Squares brings traditional word Logic puzzles/problems to the Pocket PC.The object of Logic Squares is to determine the location of 9 colors in a 3 x 3 grid by reading and then interpreting the clues. Game features include an unlimited number of computer generated puzzles, three levels of puzzles, solve and clear options, and high scores.The program includes setup and...
Category: Games / Puzzles
Publisher: Tracker software, License: Shareware, Price: USD $15.00, File Size: 2.1 MB
Platform: Unknown
Teach logic gates and circuits effectively.
Teach Logic gates and circuits effectively. Keep students engaged and put them hands-on.Build and simulate basic Logic circuits with just a few mouse clicks. Drag components into the editor. Then draw connections between them. It’s easy to zoom, pan, and rotate too.
Category: Business & Finance / Business Finance
Publisher: Joshua Tynjala, License: Shareware, Price: USD $29.00, File Size: 1.4 MB
Platform: Windows
Showcasing a variety of work attire specifically for a wide range of industries, this screensaver features the Formal and stylish designs of S and H Work Uniforms. Believing in presenting a look of professionalism, S and H Work Uniforms are not only attractive and contemporary, but they are also are comfortable and durable.
Category: Desktop Enhancements / Screensavers
Publisher: S and H Work Uniforms, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
GWInstek Logic Analyzer is a configuration tool for GLA devices.
GWInstek Logic Analyzer is a configuration tool for GLA devices.
The GLA-1000 Series is a palm-sized PC based Logic analyzer with functionality matching that of a desktop device. A maximum 32 channels, 32Mbits of data memory (GLA-1032), a 200MHz internal sampling rate and advanced trigger settings provide high accuracy and lengthy data analysis results.
Category: Software Development / Misc. Programming
Publisher: GWInstek, License: Freeware, Price: USD $0.00, File Size: 45.3 MB
Platform: Windows
Using Enterprise Analyst, software analysts, architects and developers can validate, simulate and document future system domain models. The tool allows them to concentrate on the core of the system domain Logic and is able to test the system during the analysis phase. Some of the important benefits of applying Formal analysis are: - Much lower defect rate in the later...
Category: Software Development / IDEs & Coding Utilities
Publisher: Craftware, License: Commercial, Price: USD $149.00, File Size: 5.7 MB
Platform: Windows
This package provides logical circuit simulation, it comes with common Logic elements which includes Logic gates, flop-flops, binary inputs and binary viewers. User can construct any Logic circuit by drag and drop.
This package is one of SimulaWorks simulation packages, SimulaWorks is a general purpose simulator which supports both continuous and discrete simulation,...
Category: Business & Finance / Applications
Publisher: MathTools, License: Shareware, Price: USD $29.00, File Size: 1.2 MB
Platform: Windows
Seesaw Logic is an enjoyable Logic game in which you must decide which is the heaviest object by looking at some seesaws with objects on them. The game is comprised of 20 levels of increasing difficulty, in which there will be more seesaws with more objects. The game is timed, so the faster you complete the game, the more points you will get. Moreover, every time your answer is...
Category: Games / Misc. Games
Publisher: Novel Games Limited, License: Freeware, Price: USD $0.00, File Size: 261.1 KB
Platform: Windows
Brain Cell is a logic puzzle game.
Brain Cell is a Logic puzzle game. In the standard puzzles, there are 5 people of various heights, weights, ages, etc. You must use the clues provided to determine what order they are standing in and the characteristics of each person. There are 10 levels of play. Infinite puzzles may be generated at varying levels of difficulty. A unique twist to this game, for the younger player, is...
Category: Games / Misc. Games
Publisher: Jacobson Systems, Inc., License: Shareware, Price: USD $15.00, File Size: 1024 B
Platform: Windows
Computing - Data Structures - Data Files - Computer Systems - Data Handling - System Development - Computer Programming - Binary Numbers - Binary Arithmetic - Number Systems - Digital Techniques - Logic Gates - Logic Gates 2 - Logic Families - Flip Flops - Combinational Logic - Counters - Counting - Shift Registers - Logic Interfacing - Boolean and DeMorgan's...
Category: Home & Education
Publisher: eptsoft, License: Freeware, Price: USD $0.00, File Size: 5.5 MB
Platform: Windows
The software for the LA-Gold-16 is mature and both the Logic analyzer and pattern generator are controlled from a single, intuitive user interface.
The LA-Gold-16’s integrated pattern generator can be used in conjunction with the Logic analyzer. The user can set up the instrument to output data to the unit under test (UUT) with the pattern generator and then...
Category: Business & Finance / Business Finance
Publisher: Janatek, License: Shareware, Price: USD $450.00, File Size: 8.0 MB
Platform: Windows
CluGrid: Freeware Logic Puzzle Game.
CluGrid: Freeware Logic Puzzle Game. Train your brain with a new deductive game of skill, patience and Logic. 999,999 puzzles, 5 levels of difficulty. Full version, unrestricted. Download right now and play for free.
Category: Games / Puzzles
Publisher: Altura, License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows,
Deductoid Freeware Logic Puzzle Game.
Deductoid Freeware Logic Puzzle Game. Train your brain with a new deductive game of skill, patience and Logic. Download right now and play for free.
Category: Games / Puzzles
Publisher: Altura, License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows,