Mathematical logic 12th science in Title/Summary
Fractal Science Kit
The Fractal Science Kit fractal generator is a Windows program to generate a mathematical object called a fractal. The term fractal was coined by Benoit Mandelbrot in 1975 in his book Fractals: Form, Chance, and Dimension. In 1979, while studying the Julia set,
- Publisher: Hilbert, LLC
- Home page: www.fractalsciencekit.com
- Last updated: July 24th, 2018
- Publisher: Bernd Karle Hard-Softwareentwicklung
- Last updated: March 1st, 2008
GenStat Microarray Examples (12th Edition)
A microarray is a glass slide or silicon chip that has had a library (a collection of DNA sequences) of single stranded DNA fragments laid down on its surface. The size of the libraries can be very large from 1000 to 150,000 with the highest density slides.
- Publisher: VSN International
- Home page: www.vsni.co.uk
- Last updated: December 12th, 2009
Mathematical logic 12th science in Description
RoboMind
RoboMind is a program for teaching logic, robotics, computer science, and other technology to students. This tool comes with its own programming language named 'ROBO'; it is a concise language with a small set of rules which does not require much learning.
- Publisher: Reseach Kitchen
- Home page: www.robomind.net
- Last updated: October 18th, 2016
Perfect Science Icons
Create a great scientific software faster with this set of scientific icons. Perfect Science Icons represents objects and symbols commonly used in science and engineering, including Retort, Test Probe, Molecule, Structure, and many more.
- Publisher: Aha-soft
- Last updated: April 6th, 2015
Math Science Quest
Math Science Quest is a fun way to learn the fundamental reasoning skills that are the essence of scientific method. It can be played as an individual puzzle or a multi-player game. Players explore a complex mathematical puzzles finding solutions.
- Publisher: Accelerated Learning Foundation
- Last updated: January 14th, 2015
Academia
Academia is an educational program designed for people interested in testing their academic skills and also for individuals who want to create their own tests.
- Publisher: Genesis Software
- Last updated: December 23rd, 2009
QM for Windows
QM for Windows provides mathematical analysis for Operations Management, Quantitative methods, or Management Science. It features calculation methods for PERT/CPM, Linear Programming, Decision Analysis, Transportation problem, Statistical functions, Game Theory, Goal Programming, etc.
- Publisher: Prentice-Hall Inc.
- Last updated: March 1st, 2017
Additional Mathematical logic 12th science selection
DPLS Science Calculator - Free Edition
This calculator acts as a science toolkit. The main calculator is a scientific calculator that is able to calculate molecular mass, and from this calculator over 60 other calculators, converters and science tools can be called. The system also contains numerous science data reference tables, flowcharts and a science glossary.
- Publisher: Dot Point Learning Systems
- Home page: www.dplsystems.com.au
- Last updated: September 29th, 2011
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
MathType
MathType lets you write mathematical equations and insert them on MS Word, Google Docs, and other applications. It provides a simple interface where you can add symbols and equations from its menu. MathType is available as a standalone program, and also as an add-on for MS Office.
- Publisher: WIRIS
- Home page: www.wiris.com
- Last updated: March 28th, 2024
SPSS
Statistical Product and Service Solutions is among the most widely used program for statistical analysis in social science. It is used by market researchers, health researchers, survey companies, government, education researchers, marketing organizations and others to forecast future trends to better plan organizational strategies.
- Publisher: IBM
- Home page: www.spss.com
- Last updated: November 2nd, 2021
MathPlayer
Design Science MathPlayer™ is a universal math reader that now enables math to be spoken in assistive technology products. MathPlayer continues to have the most advanced support for MathML of any renderer available, including support for MathML 3 features such as line-breaking, indentation and elementary math, and supports both visual rendering and speech in Internet Explorer.
- Publisher: Design Science, Inc.
- Home page: www.dessci.com
- Last updated: February 28th, 2016
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
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
Genius Maker Free Edition
Genius Maker Free Edition in an educational tool that may be useful for both students and teachers. The program includes 34 tools regarding the areas of Mathematics, Physics, and Chemistry, though only nine of these tools are available for free. The rest of the tools are just trial versions that you can use with certain functional and/or temporal limitations.
- Publisher: Golden K star Enterprises
- Home page: www.goldenkstar.com
- Last updated: September 18th, 2011
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
Calendar Magic
Regardless of the nature of their interest in calendars and dates, every user will surely have a reason to regard Calendar Magic as a curious, interesting, or even an indispensable tool. With 26 historic and current calendars to choose from, compare, and convert between, this feature-rich free tool will solve all your doubts about dates, years, festivals, etc.
- Publisher: EuroSoft
- Last updated: February 20th, 2018
