ComputabilityLogic
Science - Math - Logic and Foundations - Nonstandard Logics and Extensions. Wikipedia (free encyclopedia) article. ...
en.wikipedia.org
ComputabilityLogic Homepage
Science - Math - Logic and Foundations. Main online source on computabilitylogic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. ...
www.cis.upenn.edu
Logic
Society - Religion and Spirituality - Christianity - Denominations - Catholicism - Reference - Catholic Encyclopedia - L. A historical survey from Indian and Pre-Aristotelian philosophy to the Logic o ...
www.newadvent.org
International Workshop on Computability Theory
Science - Math - Logic and Foundations - Meetings - Past Conferences. S.S.Goncharov - 50th Anniversary. Sobolev Institute of Mathematics, Novosibirsk, Russia; 23--26 September 2001. ...
math.nsc.ru
Computability and Complexity
Science - Math - Logic and Foundations - Computability. An online course on complexity. ...
www.csc.liv.ac.uk
ComputabilityLogic
Computers - Computer Science - Theoretical. Main web source on the subject: overview, downloadable articles, links. ...
www.cis.upenn.edu
Computability Theory
Science - Math - Logic and Foundations - Directories. Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak. ...
www.nd.edu
Computability and Complexity in Analysis Network
Science - Math - Logic and Foundations - Computability. The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis. ...
cca-net.de
Computability in Europe Homepage
Science - Math - Logic and Foundations - Organizations. Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues ...
www.amsta.leeds.ac.uk
Logic and Fallacies
Society - Philosophy - Philosophy of Logic - Informal Logic. Atheism Web's guide to logic and fallacies in practical reasoning. ...
www.infidels.org
The Logic Classroom
Science - Math - Logic and Foundations - Education. A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students. ...
www.sjsu.edu
The Logic Course
Society - Philosophy - Philosophy of Logic. An interactive course in formal logic, with tutorials and quizzes on critical thinking, truth-tables, and sentential. ...
www.thelogiccourse.com
Logic Tutorial
Science - Math - Logic and Foundations - Education. An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic. ...
logictutorial.com
Digital Logic
Science - Technology - Electronics - Tutorials. Tutorials Fundamentals of Digital Logic ...
www.williamson-labs.com
Infinitary Logic
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Infinitary Logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell. ...
plato.stanford.edu
Classical Logic
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. ...
plato.stanford.edu
Logic and games
Society - Philosophy - Reference - Stanford Encyclopedia of Philosophy. Survey of game-theoretical approaches to logic; by Wilfrid Hodges. ...
plato.stanford.edu
PcMus Logic Audio Resources.
Computers - Multimedia - Music and Audio - Software - Sequencers - Logic. For users of Emagics Logic Audio software, contains tutorials and helpful links. ...
www.pcmus.com
Conferences: Logic-Related
Computers - Programming - Languages - Logic-based. This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half... logic-related conferences. The second half is a list of logic-related conferences and associations ...
Constraint Logic Programming: CLP
Computers - Programming - Languages - Logic-based - Constraint Logic. Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. ...
www.ofai.at
University of Alberta Logic Course
Science - Math - Logic and Foundations - Education. Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. ...
ugweb.cs.ualberta.ca
Theory and Practice of Logic Programming
Computers - Computer Science - Publications - Journals. Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reaso ...
journals.cambridge.org
Logic Pro Help
Computers - Multimedia - Music and Audio - Software - Sequencers - Logic. A discussion forum offering tips, news, and ideas sections. ...
logicprohelp.com
The Logic Notation Guide
Computers - Multimedia - Music and Audio - Software - Sequencers - Logic. Description, samples, and ordering information about this book by Johannes Prischl. ...
top
