Mathematical logic hsc in Title/Summary

HSC Chemistry

HSC Chemistry 7 contains 22 calculation modules which are connected to 12 databases as appropriate. Most calculation modules operate like independent programs which may have data links with each others. All the calculation modules have their own user interface and manual.

• Publisher: Outotec
• Last updated: May 22nd, 2012

NH Mathematical Tools

NH Mathematical Tools is a tools that help people in solving Mathematical problems such as:- Explore the Fermat Number- Generate random real (or integer - optional) numbers (up to 2000 numbers) between the 2 numbers you choose before.- Calculate the Factorial of a huge number (50000! limited)- Solving quadratic equation and cubic equation- Solving System of equations (2 or 3 unknowns)

• Publisher: NH Group
• Last updated: September 29th, 2010

Mulimedia Logic

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.

• Publisher: Softronics Inc.
• Home page: www.softronix.com
• Last updated: March 8th, 2008

Mathematical logic hsc in Description

Desktop Calculator

DesktopCalc is an enhanced, easy-to-use and powerful desktop calculator with an expression editor, printing operation, result history list and integrated help.

• Publisher: Enerphase Software
• Home page: www.math-solutions.org
• Last updated: November 18th, 2008

SPIController

It allows the user to control advanced features on high speed, analog-to-digital converters (ADC) with SPI capability. This advanced controller program is used in conjunction with the HSC-ADC-EVALB or HSC-ADC-EVALC data capture boards and specific device evaluation boards to manipulate and control SPI-accessible features.

• Publisher: Analog Devices, Inc.
• Last updated: March 16th, 2012

CalculatorX

CalculatorX 1.2 is a software simulation program of a functional expression calculator that allows users such as mathematical students and scientists to perform complex mathematical calculations. Users of CalculatorX 1.2 can input their calculations such as custom variables easily into the program’s familiar.

• Publisher: XoYo Software
• Home page: www.xoyosoft.com
• Last updated: June 4th, 2008

Algy 2

Do you need help knowing when your algebraic working is correct? Then Algy 2 is just what you are looking for. Algy 2 is able to pinpoint any line of working that contains an error. This application encourages experimentation and perseverance with symbolic manipulation (algebra).

• Publisher: stepsinlogic
• Last updated: April 7th, 2012

Brain Workout

Brain Workout is a collection of 5 types of games with 6 games under each category means it has a total of 30 games. All these games are brainy games. Brain Workout presently has verbal, numerical, spatial, memory and logic types of games. Under Verbal category you will find games of Anagrams, Spelling Test, Split Words, Word Ladders, word Search and Word Wise to enhance your English vocabulary.

• Publisher: Oak Systems
• Last updated: April 7th, 2008

Additional Mathematical logic hsc selection

ACL2

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is a very large, multipurpose system. You can use it as a programming language, a specification language, a modeling language, a formal mathematical logic, or a semi-automatic theorem prover, just to name its most common uses.

• Publisher: Matt Kaufmann and J Strother Moore University of Texas at Austin
• Home page: www.cs.utexas.edu
• Last updated: July 19th, 2011

Logic Pro

Create your own musical compositions in a visual way, and export them in MIDI format. Logic Pro is a versatile software tool developed by Babya to let you create music by emulating more than 170 different musical instruments. It includes a pencil tool that allows you to define the scale and duration of each segment, so that you can literally "draw" your music.

• Publisher: Babya
• Last updated: March 22nd, 2012

Logic

Logic samples each channel at up to 24M times per second. A large fraction of practical, real world applications run at less than 10MHz, and Logic is ideal for these. Logic has 8 inputs -- it can monitor 8 different digital signals at once. For many modern microcontroller-based designs, this is plenty.

• Publisher: leo
• Home page: www.saleae.com
• Last updated: August 21st, 2011

MultiMedia Logic

MultiMedia Logic is an open source MultiMedia Logic Design System. The program brings you a tool that will allow you to examine the circuit for debugging purposes. It also offers you an ASCII Display device that is capable of emulating a simple terminal device.

• Publisher: Softronics Inc.
• Home page: sourceforge.net
• Last updated: February 20th, 2012

Logic Gate Simulator

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.

• Publisher: Steve Kollmansberger
• Home page: www.kolls.net
• Last updated: August 13th, 2011

Logic Friday

Logic Friday is a freeware tool for students, hobbyists, and engineers who work with legacy digital logic circuits based on standard IC packages. Logic Friday uses espresso for minimization and misII for gate diagram synthesis. Both programs are included with the download.

• Publisher: sontrak
• Last updated: May 6th, 2012

Lotto Logic Professional

Lotto Logic Professional is a full-featured advanced lottery prediction program which helps you to select tickets for any lottery. It works with lottery games such as Pick-3, Pick-4, Pick 5, Pick-6 and Pick-7 all the way through to Pick-10. Pick smart numbers with the range finder option which picks the best range of numbers to play based on the statistics for previous drawings.

• Publisher: Timersoft
• Home page: www.timersoft.com
• Last updated: May 26th, 2020

SurCode for Dolby Pro Logic II

SurCode for Dolby Pro Logic II is a program that offers complete, Dolby–certified Dolby Pro Logic II encoding and Pro Logic II, Pro Logic IIx and Pro Logic IIz decoding of up to 8 channels of audio. The program allows an end–to–end, encode/decode cycle for direct control of your mix’s entire lifecycle.

• Publisher: Minnetonka Audio Software
• Last updated: September 16th, 2014

Logic Minimizer

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.

• Publisher: Vikhetan Appa
• Last updated: March 3rd, 2010

fischertechnik ROBOPro

fischertechnik ROBOPro is a flowchart-based design tool that can be used to teach programming to kids. Variable declarations and mathematical operations are described using easy-to-understand blocks. After creating a chart, simply click the "Start" button to run the program.

• Publisher: fischertechnik GmbH
• Last updated: February 21st, 2018