Modal Logic (Stanford Encyclopedia of Philoso...
No information avaiable
http://plato.stanford.edu/entries/logic-modal/
popularity:
logic
philosophy
reference
modallogic
modal-logic
language
math
encyclopedia
science
mathematics
|
The Coq proof assistant
No information avaiable
similarity:
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
|
Beg The Question // Get it right.
"Begging the question" is a form of logical fallacy in which a ... Email btq [at] begthequestion [dot] info. All text, images, and merchandise © 2005-2009. ...
similarity:
popularity:
language
english
grammar
logic
writing
linguistics
philosophy
rhetoric
reference
humor
|
Mindcipher: Challenge Yourself...
MindCipher is a social repository of the world's greatest brain teasers, puzzles and mental challenges.
similarity:
popularity:
puzzles
games
logic
puzzle
fun
math
mathematics
programming
brain
reference
|
Boolean logic - Wikipedia, the free encyclopedia
No information avaiable
similarity:
popularity:
boolean
logic
programming
math
science
mathematics
wikipedia
education
search
tech
|
Isabelle
... in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and ...
similarity:
popularity:
logic
proof
software
mathematics
theorem
programming
science
math
prover
tools
|
PlanetMath
A collaborative encyclopaedia with entries contributed under the GNU Free ... Top starting points: PlanetMath Overview - High School Mathematics - Calculus ...
similarity:
popularity:
math
mathematics
reference
wiki
encyclopedia
science
education
maths
community
learning
|
vdash: a wiki of formalized mathematics
vdash is a wiki of formalized mathematical proofs, checked by computer but editable by anyone. ... is vdash? What is Formal Math? Why Use a Wiki? vdash Roadmap ...
similarity:
popularity:
math
wiki
mathematics
logic
science
reference
ai
verification
singularity
web2.0
|
On Truth and Reality: Philosophy Physics Metaphysics of Space, Wave Structure Matter. Famous Science Art Quotes
On Truth and Reality - Uniting Metaphysics, Philosophy, Physics and Theology (Science and Art) from One Thing, Absolute Space and the Spherical Standing Wave ...
similarity:
popularity:
philosophy
science
physics
metaphysics
reference
theory
mathematics
education
religion
spirituality
|
Squashed Philosophers- Condensed Plato Aristotle Augustine Descartes Hume Marx Freud Copernicus Hobbes Sartre Ayer Sade Wittgenstein Einstein
No information avaiable
similarity:
popularity:
philosophy
reference
books
history
literature
reading
education
toread
culture
philosophers
|
Logic Matters
There's admin as Chair of Examiners for Tripos to be done, plus putting together ... Theorems (the last for this academic year, at any rate), thinking about the ...
similarity:
popularity:
logic
latex
philosophy
blog
tex
cambridge
tips
writing
pdf
production
|