Sites

Mathematical Logic around the world - English
URL: http://www.uni-bonn.de/logic/world.html

Research groups, journals, organizations, conferences etc. in mathematical logic (such as set theory). By the Mathematical Logic Group, Bonn and the Institute for Logik, Vienna.

[ eng ]

Abstract service for mathematical logic - English
URL: http://www.logic.univie.ac.at/abstract/

shown in filters: Web Resources

Abstract Service for mathematical logic at the Institute for Logic at the University of Vienna

[ eng ]

Mathematical Objects and Mathematical Truth: Reviewing classical interpretations of Cantor’s, Gцdel’s, Tarski’s, and Turing’s reasoning - A lay perspective - English
URL: http://alixcomsi.com/index01.htm

shown in filters: Publications

In these essays, I argue that - if mathematics is to serve as a language of precise expression and unambiguous communication - classical theory may need to define non-algorithmic truth (satisfiability) effectively.

[ eng ]

Computability Logic Homepage - English
URL: http://www.cis.upenn.edu/~giorgi/cl.html

shown in filters: Web Resources, Publications

A comprehensive information source on computability logic: definition, applications, papers, and links to related sites.

[ eng ]

Медиа Портал :: Математика :: Функции Алгебры Логики - Russian
URL: http://mportal.narod.ru/Math/FAL.html

Обзоры: Дизъюнктивная Совершенная Нормальная Форма (ДСНФ), Конъюнктивная Совершенная Нормальная Форма (КСНФ), Полиномиальная Совершенная Нормальная Форма (ПСНФ), Антисимметрическая Полиномиальная Совершенная Нормальная Форма (АПСНФ), Импликативная Совершенная Нормальная Форма 1 (ИСНФ-1), Импликативная Совершенная Нормальная Форма 2 (ИСНФ-2).

[ rus ]

Принципы позиционности в алгебре трехзначной логики и их использование в моделировании вычислительных процессов - Russian
URL: http://munic.kurgan.ru/conf/thesises/demidchik.html

shown in filters: Publications

Демидчик С.М. В предлагаемом докладе рассматриваются функции алгебры трехзначной логики (АЛ-3) и их представление методами, основанными на иных принципах, чем традиционно используемые.

[ rus ]

АГУ--Математический факультет.--Кафедра алгебры и теории чисел - Russian
URL: http://www.math.dcn-asu.ru/md/k3/material/d1-2_ru.html

shown in filters: Education

Математическая логика и дискретная математика. Программа курса лекций.

[ rus ]

Основные положения и законы алгебры логики - Russian
URL: http://www.dvgups.ru/METDOC/GDTRAN/YAT/AT/TOAVTOM/D/11.HTM

shown in filters: Publications

Основным математическим аппаратом, используемым при анализе и синтезе дискретных элементов и устройств является алгебра логики (булева алгебра, алгебра Буля). В алгебре логики широко используется понятие “высказывание”. Высказыванием будем называть простое повествовательное положение, о котором можно сказать, что оно ложно или истинно, но не то и другое одновременно.

[ rus ]

Глава 5 Логические основы компьютеров - Russian
URL: http://www.tomsk.ru/Books/informatica/theory/chapter5/1_5_9.html

shown in filters: Publications

5.9. Какие основные законы выполняются в алгебре логики? В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений.

[ rus ]

phorum - Алгебра, логика, теория чисел и теория алгоритмов - Russian
URL: http://www.nsu.ru/phorum/search.php?f=29

shown in filters: Chats and Forums

[ ]

Математическая страница - Russian
URL: http://iki.cosmos.ru/pal/PAL_SITE1.htm

Эта страница расказывает о новом подходе к представлению функций алгебры логики. Подходе-основанном на позицинном языке представления ФАЛ.

[ rus ]

Laboratory of Mathematical Logic of Steklov Institute of Mathematics at St.Petersburg - English
URL: http://logic.pdmi.ras.ru/index.html

shown in filters: Organizations

Staff. Our activities. Seminars.

[ eng ]

Laboratory of Mathematical Logic of Steklov Institute of Mathematics at St.Petersburg - English
URL: http://logic.pdmi.ras.ru/

shown in filters: Personalia, Organizations

Staff, Seminars, Web pages devoted to Hilbert's Tenth Problem, Relevant links.

[ rus | eng ]

03: Mathematical logic and foundations - English
URL: http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

shown in filters: Web Resources, Education

From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

[ eng ]

Game Semantics or Linear Logic? - English
URL: http://www.csc.villanova.edu/~japaridz/CL/gsoll.html

shown in filters: Web Resources, Publications

A discussion of how linear logic relates to computability logic.

[ eng ]