3 понравилось
Впервые в мировой литературе в монографическом исследовании устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились рез...
Семантика - раздел науки , изучающий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Логическая семантика лежит в основе целого ряда раздело...
Монография Р.Фейса представляет собой самый полный из имеющихся в мировой литературе обзор формальных систем модальной логики. Изложение материала, при всей своей строгост...
Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы "элементарных" рекур...
В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуи-ционистской логики в виде исчисления Гейтинга, псе...
В книге дается общая характеристика неклассической логики, которая является разделом современной математической логики, рассказывается о перспективах ее развития и о возмо...
«Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда те...
Книга написана на основе лекций, читавшихся П.С.Новиковым в МГУ. В ней излагаются некоторые аспекты математической логики, не рассмотренные в его предыдущей книге `Элемент...
S-классификация, базирующаяся на операциях суперпозиции и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективн...
В книге рассмотрен круг проблем, связанных с замкнутыми классами булевых функций (классами Поста). Изложено новое компактное доказательство конечной порождаемости всех кла...
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей...
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории...
Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики...
Москва, 1957 год. Издательство иностранной литературы.
Издательский переплет. Сохранность хорошая.
Данная книга обращена прежде всего к тем, кто изучает ...
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, метод...
Настоящая работа имеет целью разъяснение теоретических основ буддийской религии в том их виде, как они понимались и разрабатывались в школе йогачаров.
Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над ко...
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика — это теория, изучающая формализованные математические теории. Формализ...
Область математической лингвистики, которой посвящена книга С.Маркуса, занимается установлением связей между отношениями в словаре данного языка с отношениями, устанавлив...
