|
||
| MavicaNet - Classic |
Lуgica | |
 | Catбlogo / Cultura / Ciencia / Ciencias matemбticas / Lуgica |
| Catбlogo / Cultura / Filosofнa / Disciplinas filosуficas / Lуgica |
 | | Lуgicos [204] | |||
| Fuzzy Logic [9] |
| Mathematical Logic [15] | ||
| |||||
| Vйase tambiйn | |||||
| |||
| |||
|
Logic
Department of Logic Moscow State University. Logical Studies. Books. Software. Logic in Russia. Events. Archimed tournament. Links. Department of Logic Inst. of Philosophy, RAS. Journal "Voprosy Filosofii". [rus | eng] |
||
| |||
|
|
Логика
Статьи на тему Логика, законы и формы мышления, математические подходы к анализу рассуждений и др. Статьи: Логика естественных рассуждений, С чем идет современная логика в XXI век? О двух “вычислительных вольностях”, огорчающих логика. [rus] |
||
| |||
|
|
Infinite Ink: The Continuum Hypothesis by Nancy McGough
History, mathematics, metamathematics, and philosophy of Cantor's continuum hypothesis. [eng] |
||
| |||
|
|
Proof theory and programming
Article by Didier Galmiche describing the applications of proof theory to programming under two paradigms, the `proofs-as-programs' and `proof-search-as-computation' that are influential in functional and logic programming respectively. [eng] |
||
| |||
|
|
Beginnings of set theory
Tutorial on set theory. [eng] |
||
| |||
|
|
Axiom of Choice
This page gives a brief explanation of the Axiom of Choice and links to other related websites. [eng] |
||
| |||
|
|
Proof theory and semantics of IML
Abstract of PhD thesis by Alex Simpson, which discusses the semantics of modal logic in an intuitionistic meta-theory. [eng] |
||
| |||
|
|
Proof theory on the eve of year 2000
Big material about proofs and logical suggestions. All the logics. [eng] |
||
| |||
|
|
А.С.Карпенко. Многозначные логики
Содержание книги: Интуитивное понимание многозначной логики и её возникновение. Источники многозначности. Многозначные истинностные таблицы для доказательства независимости аксиом. Логический принцип двузначности (бивалентности). Аристотелевский фаталистический аргумент и его опровержение. Предшественники многозначной логики. Введение в логику третьего истинностного значения Я.Лукасевичем. [rus] |
||
| |||
|
|
Journal "SPECTRAL AND EVOLUTIONAL PROBLEMS"
Journal contains accounts of lectures and papers of the participants of the Crimean Autumn Mathematical School-Symposiums, which was held by the Crimean Mathematical Foundation. The materials of the Symposiums are devoted to the actual mathematical investigations in the field of spectral and evolutional problems, and to the close questions. [eng] |
||
| |||
|
|
Логика предикатов
Полнотекстовый учебник по математической логике - теория предикатов. [rus] |
||
| |||
|
|
Логика в России. История, направления, персоналии
Здесь показано, что представляет логика в России, даны ее особенности [rus] |
||
| |||
|
|
Анализ и синтез дискретных устройств
Полнотекстовый учебник по алгебре логики применительно к проектированию релейных схем. [rus] |
||
| |||
|
|
Logical Studies
A bilingual (Russian/English) online journal published by Institute for Logic, Cognitive Science and Development of Personality (Moscow). Abstracts in Russian and English, downloadable texts. [rus | eng] |
||
| |||
|
|
Probabilistic thinking
Am I exist? This logical site is fulfilled with tons of such a questions. Probabilistic thinking is a branch of solipsism based on theory of probabilities. [eng] |
||
| |||
|
The Logical Fallacies
Table of Contents: Fallacies of Distraction, Appeals to Motives in Place of Support, Changing the Subject, Inductive Fallacies, Fallacies Involving Statistical Syllogisms, Causal Fallacies, Missing the Point, Fallacies of Ambiguity, Category Errors, Syllogistic Errors, Fallacies of Explanation, Fallacies of Definition. Logic Resources. [rus | eng] |
||
| |||
|
|
On the model theory of knowledge
Site offers a language for expressing the operator 'knowing that' with axioms and rules of inference and a Kripke type of semantics. [eng] |
||
| |||
|
|
Centre for logic and philosophy of science
It's homepage of the Centre for Logic and Philosophy of Science, a subdivision of the Philosophy and Moral Science Department at Ghent University, Belgium. Presented members' lists, events, writings and so on. [eng] |
||
| |||
|
|
Mission: critical
Interactive college-level virtual lab that teaches the basic concepts of critical thinking and informal logic, such as induction, deduction and fallacies. [eng] |
||
| |||
|
|
Identifying the argument of the essay
A good tutorial to reaction on critical essays for selecting argument and conlusion in it. [eng] |
||
| |||
| |||
Copyright © 2000 MavicaNET. All Rights Reserved. MavicaNET ® is a registered trademark of NNT Telecom. Designed by Digital Art Design, 2000. Hosted by NNT. |
|
