World Scientific Publishing Company, 2001. — xii, 262 p. — (Advances in Logic, 1). — ISBN 981-02-4735-4. This volume contains the invited and various contributed refereed papers of a workshop on non-classical logic, held October 5-6, 1999 at the University of Konstanz (Germany) as part of the 18th Congress of the Allgemeine Gesellschaft fur Philosophic in Deutschland. In...
Article. — Online publication, 2004. — 131 p. Saying in a few words, paraconsistent logics (PL) are the logics that can be the logics of inconsistent but non-trivial theories. A deductive theory is paraconsistent if its underlying logic is paraconsistent. A theory is inconsistent if there is a formula (a grammatically well formed expression of its language) such that the...
Springer, 2022. — 744 p. — (Studies in Universal Logic). — ISBN 978-3-030-94451-3, 978-3-030-94452-0. We are commemorating in 2020, a decade of existence of the workshop LIQ: Logic in Question – La Logique en Question. Logic goes back to the beginning of time. But what exactly is it, what does it consist of, what are its methods, and how did it develop? The answers to these...
Proccedings of a conference held in Venice, 19-21 October 1995. — Oxford: Clarendon Press, 2002. — viii, 284 p. — (Oxford Logic Guides, 36). — ISBN 0-19-850127-7. Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has...
Статья. — Современные научные исследования и инновации.— 2018. — N9.—21 с. [Электронный ресурс] В журнале «Автоматика и телемеханика» №2 за 1979 год для решения логических уравнений вида F(x1, x2, … , xk0)=1 или sat задачи был предложен метод выделения переменных. URL: http://m.mathnet.ru/PHP/archive.phtml?wshow=paper&jrnid=at&paperid=6128&option_lang=rus В настоящей работе...
Cборник статей. — М.: Наука, 1970. — 333 c. В книге исследуются взаимоотношения формально-логичеcких систем и способы их классификации. Авторы сборника анализируют такие проблемы, как логическое следование естественные языки и языки логики, взаимоотношения систем многозначной логики и др. Книга открывается статьей известного советского логика и математика С. А. Яновской, памяти...
М.: Наука, 1979. — 313 с. Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках. Статьи, публикуемые в...
М.: Наука, 1974. — 273 с. Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по...
Альманах современной науки и образования. — Тамбов: Грамота, 2015. — № 9 (99). — C. 114-117. — ISSN: 1993-5552. В статье рассмотрена задача построения иерархической организации системы в нечеткой информационной среде. С использованием нечетких моделей выполнены расчеты, позволяющие определить оптимальную организацию системы в зависимости от объема данных и величины ошибки....
Альманах современной науки и образования. - Тамбов: Грамота, 2014. № 5-6 (84). C. 117-122. ISSN: 1993-5552. Рассматривается задача аппроксимации силы света точечного источника с помощью тригонометрических полиномов. Исходными данными для аппроксимации служат результаты фотометрических экспериментов. Решение задачи позволит описывать светораспределение источника одним...
Альманах современной науки и образования. - Тамбов: Грамота, 2014. № 5-6 (84). C. 108-112. ISSN: 1993-5552. В статье исследуется применение нечетких моделей в задачах классификации на основе предложенного автором представления данных в виде нечетких градаций. Проведено сравнение различных мер согласования объектов с классами и их влияние на результаты классификации. Показаны...
Альманах современной науки и образования. - Тамбов: Грамота, 2014. № 1 (80). C. 94-96. ISSN: 1993-5552. В статье проведено исследование возможности применения нечетких матриц для анализа и оценки системных свойств, в частности, устойчивости и адаптивности систем. Показаны преимущества предлагаемого подхода, позволяющего учесть направленность и силу взаимодействия между...
Статья. — Таврический вестник информатики и математики. — 2016. — вып. 3. — С. 68 - 90. В работе [ Пошерстник М. С. Решение логических уравнений методом выделения переменных // Автоматика и телемеханика. – 1979. - № 2. – С. 132 – 140] для решения логических уравнений вида F(x 1 , x 2 ...x k 0 )=1 был предложен метод выделения переменных. Данная статья направлена на повышение...
Association for Symbolic Logic: The Review of Symbolic Logic. — Vol.3. — 2010. — No.2. — p. 287-350. — ISSN: 1755-0203. Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to...
Международный журнал прикладных и фундаментальных исследований. — 2016. — № 7-1. — С. 131-131.
Рассматривается задача Выполнимость, суть которой заключается в поиске значений набора логических переменных, при которых заданное логическое выражение принимает значение Истина или Ложь. Показывается, что нет необходимости рассматривать все возможные варианты. По правилам логики,...
Из журнала "Успехи математических наук" 1948 г., т. 3, вып. 1(23), стр. 96-149
Принстонские лекции 1938/39 г. В этих лекциях доказано, что аксиома выбора и обобщённая канторова континуум-гипотеза совместимы с остальными аксиомами теории множеств, если эти последние совместимы.
Из журнала "Успехи математических наук", 1974 г. т.XXIX, вып. 1(175), стр.3-47
Теорема Гёделя о неполноте отрицает возможность такой системы аксиом и правил вывода, при которой совокупность утверждений, выводимых из аксиом, совпадает с совокупностью истинных утверждений арифметики (более того, для всякой непротиворечивой системы может быть эффективно построено истинное, но не...
М.: Наука, 1979. — 375 с. Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по...
Статья. М.: Журнал "Интеллектуальные системы". Том 2, выпуск 1-4, 1997. - С. 231-246, eBook Аннотация Для описания геометрических фигур можно использовать формулы алгебры логики в стандартном базисе: дизъюнкция, конъюнкция и отрицание, в которых символы переменных заменены на предикаты, описывающие базисные фигуры. В работе исследуются отношение P-равенства формул алгебры...
USA.: Grand Valley State University (GVSU). - 2014. Mathematics Department. Undergraduate Research. Paper 3, P.p.: 1-12, English. A context-free grammar is a mathematical construct that classifies strings (sequences of symbols) as either "valid" or "invalid", by specifying a set of "production rules" which determine the ways in which valid strings can be formed. A "language"...
Статья из журнала "Алгебра и логика", 2004, том 43, № 4, с. 459-481 (УДК 510.5)
Аннотация: в данной работе изучается понятие sigma-определимости алгебраических систем в настедственно-конечных надстройках, которое позволяет, в частности, ввести аналоги понятия конструктивности для несчетных моделей. В работе вводится понятие относительной неразличимости, посредством которого...
Статья. — Компьютерные инструменты в образовании. — СПб.: Изд-во ЦПО "Информатизация образования", 2005. — № 10. — С. 52-61. Косовская Т.М., кандидат физико-математических наук, доцент кафедры математики Государственного Морского Технического Университета. Статья посвящена описание машины Тьюринга, которое было введено для математического уточнения определения алгоритма....
Комментарии