Related:
Diagram
- Timing Diagram
- Schematic Diagram
- Cutting Diagram
- Stitch Diagram
Sponsored Links:
Logic Diagram For Using Briggs' Plume Rise Equations (Popularity:  )
(Score: 15.92)
http://www.air-dispersion.com/briggs.html
This online technical article chronicles the evolution of Briggs' plume rise equations and provides a logic diagram for using the Briggs equations to calculate the plume rise of bent-over buoyant plumes. The same website has four more online technical ...
Category:
Main\Science\Environment\Air Quality\Air Dispersion Modeling
|
Intel Assembler CodeTable 80x86 - Overview Mnemonics (Popularity: )
(Score: 12.46)
http://www.jegerlehner.com/intel/
Short overview containing all instructions (transfer, arithmetic, logic, jumps), a diagram of the registers (EAX, EDX, ECX, EBX), demo program, fits to one single page, download, free
Category:
Main\Computers\Programming\Languages\Assembly
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 12.17)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category:
Main\Computers\Artificial Intelligence\Games
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 12.17)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Game Semantics or Linear Logic? (Popularity: )
(Score: 12.17)
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.
Category:
Main\Science\Math\Logic and Foundations\Game Semantics
|
Aristotelian and Modern Logic (Popularity: )
(Score: 12.02)
http://www.ifs.csic.es/sorites/Issue_04/item5.htm
Article by Katalin Havas, discussing the nature of progress in logic, and the idea of logic as a perfected discipline.
Category:
Main\Science\Math\Logic and Foundations\History
|
The Logic Classroom (Popularity: )
(Score: 11.98)
http://www.sjsu.edu/faculty/carranza
A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students.
Category:
Main\Science\Math\Logic and Foundations\Education
|
ASL Typesetting Office (Popularity: )
(Score: 11.97)
http://www.math.ucla.edu/~asl/
TeX files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic and the Lecture Notes in Logic. Document class, bibtex style and documentation (PS).
Category:
Main\Science\Math\Publications\Style Files
|
Word Soup Without Vowels (Popularity: )
(Score: 11.83)
http://www.geocities.com/gabrudos/sopa.htm
A 12x13 diagram contains various letters in it--without vowels. Find as many words in the diagram and e-mail in your answers. Also Spanish-oriented.
Category:
Main\Recreation\Humor\Wordplay
|
Tatting Diagram Tutorial (Popularity: )
(Score: 11.83)
http://craftsnlace.net/paint/
Gillian Buchanan walks you thru the process of drawing a tatting diagram using Paint Shop Pro.
Category:
Main\Arts\Crafts\Lacemaking\Tatting
|
Gateway to Logic (Popularity: )
(Score: 11.66)
http://logik.phl.univie.ac.at/~chris/formular-uk.html
A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
Category:
Main\Science\Math\Logic and Foundations\Software
|
Logic Tutorial (Popularity: )
(Score: 11.66)
http://logictutorial.com/
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
Category:
Main\Science\Math\Logic and Foundations\Education
|
OBBLOG (Popularity: )
(Score: 11.36)
http://www.geocities.com/nummolt/obblog/
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
Category:
Main\Science\Math\Logic and Foundations\Education
|
Printable Blank Outline Diagram of the Human Skeleton (Popularity: )
(Score: 11.21)
http://www.lessontutor.com/jm_skeleton.html
Blank diagram of the human skeletal system with answers at the bottom of the page.
Category:
Main\Kids and Teens\School Time\Science\Living Things
|
Wansing, Heinrich (Popularity: )
(Score: 11.11)
http://www.uni-leipzig.de/~logik/wansing/wansing.html
Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of logic, philosophy of language.
Category:
Main\Science\Math\Logic and Foundations\People
|
Infinitary Logic (Popularity: )
(Score: 11.09)
http://plato.stanford.edu/entries/logic-infinitary/
Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell.
Category:
Main\Society\Philosophy\Reference\Stanford Encyclopedia of Philosophy
|
Infinitary Logic (Popularity: )
(Score: 11.09)
http://plato.stanford.edu/entries/logic-infinitary/
Article in the Stanford Encyclopaedia of Philosophy by John L. Bell. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Logic Software from CSLI (Popularity: )
(Score: 10.91)
http://www-csli.stanford.edu/hp/
Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy
Category:
Main\Science\Math\Logic and Foundations\Education
|
Nitrogen Cycle (Popularity: )
(Score: 10.87)
http://www.neuse.ncsu.edu/nitrogen/
An interactive diagram: you click on an aspect of the cycle or a state of nitrogen and the diagram will simplify to show you which part of the cycle it applies to.
Category:
Main\Kids and Teens\School Time\Science\The Earth
|
Research groups in Logic and Theoretical Computer Science (Popularity: )
(Score: 10.85)
http://www.cs.swan.ac.uk/~csetzer/logic-server/index.html
Covered areas of this list are Theoretical Computer Science, Logic in Computer Science, Mathematical Logic, Philosophical Logic.
Category:
Main\Computers\Computer Science\Theoretical\Research Groups
|
Ground Temporal Logic: A Logic for Hardware Verification (Popularity: )
(Score: 10.73)
http://www.csl.sri.com/reports/html/cav94.html
A temporal logic designed to specify properties of hardware at the register transfer level.
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Printable Blank Outline Diagram of The Digestive System (Popularity: )
(Score: 10.65)
http://www.lessontutor.com/jm_digestive.html
Blank diagram with notes for the functions of the major and accessory organs of the digestive system.
Category:
Main\Kids and Teens\School Time\Science\Living Things
|
Linear Network (Popularity: )
(Score: 10.34)
http://iml.univ-mrs.fr/ldp/LINEAR/
Linear Logic in Computer Science is lead by the "Logic of Programming" research team. Its thematic is focused on developing the theory and the applications of Linear Logic. It is formed by seven sites located in Marseille, Bologna, Cambridge ...
Category:
Main\Science\Math\Logic and Foundations\Proof Theory
|
Kumo (Popularity: )
(Score: 10.24)
http://www.cs.ucsd.edu/groups/tatami/kumo/
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction ...
Category:
Main\Science\Math\Logic and Foundations\Computational Logic
|
Intuitionistic logic (Popularity: )
(Score: 10.22)
http://encyclopedia.thefreedictionary.com/Intuitionistic%20logic
Free Online Encyclopedia article. What does Intuitionistic logic mean? What is Intuitionistic logic?
Category:
Main\Science\Math\Logic and Foundations\Nonstandard Logics and Extensions
|
Quality Control Tool Descriptions (Popularity: )
(Score: 10.21)
http://deming.eng.clemson.edu/pub/tutorials/qctools/homepg.htm
Information on seven frequently-used Quality Control tools. Topics: run chart, pareto chart, flow chart, cause and effect (fishbone) diagram, histogram, scatter diagram, control chart.
Category:
Main\Reference\Knowledge Management\Knowledge Creation\Problem Solving
|
Syllogistic logic online (Popularity: )
(Score: 10.16)
http://aristotelianlogic.glashoff.net
This site contains an online program for studying Aristotle's syllogistic logic. The theory of Aristotle's ancient logic is also presented.
Category:
Main\Science\Math\Logic and Foundations\History
|
Logic and games (Popularity: )
(Score: 10.15)
http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Category:
Main\Society\Philosophy\Reference\Stanford Encyclopedia of Philosophy
|
Scedrov, Andre (Popularity: )
(Score: 10.15)
http://www.cis.upenn.edu/~scedrov/
University of Pennsylvania - Logic in computer science, linear logic.
Category:
Main\Science\Math\Logic and Foundations\People
|
Logic and Games (Popularity: )
(Score: 10.15)
http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
Category:
Main\Science\Math\Logic and Foundations\Game Semantics
|
Mathematical Logic around the World (Popularity: )
(Score: 10.15)
http://www.uni-bonn.de/logic/world.html
A rich collection of links to logic-related websites.
Category:
Main\Science\Math\Logic and Foundations
|
Transactions on Computational Logic (Popularity: )
(Score: 10.15)
http://www.acm.org/pubs/tocl/
Devoted to research concerned with all uses of logic in computer science.
Category:
Main\Science\Math\Logic and Foundations\Publications
|
ASL Committee on Logic Education (Popularity: )
(Score: 10.14)
http://www.phil.ucalgary.ca/asl-cle/
Reports and resources from the Association of Symbolic Logic.
Category:
Main\Science\Math\Logic and Foundations\Education
|
Logic (Popularity: )
(Score: 10.14)
http://www.newadvent.org/cathen/09324a.htm
A historical survey from Indian and Pre-Aristotelian philosophy to the Logic of John Stuart Mill.
Category:
Main\Society\Religion and Spirituality\Christianity\Denominations
|
Logic Journal of the IGPL (Popularity: )
(Score: 10.14)
http://jigpal.oupjournals.org/
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
Category:
Main\Science\Math\Logic and Foundations\Publications
|
Abstract Service (Popularity: )
(Score: 10.14)
http://www.logic.univie.ac.at/abstract/
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
Category:
Main\Science\Math\Logic and Foundations
|
RDF Logic Mailing List (Popularity: )
(Score: 10.14)
http://lists.w3.org/Archives/Public/www-rdf-logic/
Provides a forum for technical discussion concerning the design of logic-based languages for use on the Web.
Category:
Main\Reference\Libraries\Library and Information Science\Technical Services
|
Japaridze, Giorgi (Popularity: )
(Score: 10.14)
http://www.csc.villanova.edu/~japaridz/
Villanova University - computability logic, game semantics, provability logic.
Category:
Main\Science\Math\Logic and Foundations\People
|
Yahoo! Groups : logic-ot (Popularity: )
(Score: 10.14)
http://groups.yahoo.com/group/logic-ot/
Supplement to the Logic User Group. Handles all the off-topic mails.
Category:
Main\Computers\Multimedia\Music and Audio\Software
|
TimingTool - Online timing diagram editor (Popularity: )
(Score: 10.13)
http://www.timingtool.com/
Free to use online timing diagram editor. Timing diagrams are saved in TDML format. Translators from TDML to DXF, VHDL, and Verilog are also supplied.
Category:
Main\Science\Technology\Electronics\Design
|
