В этой книге, написанной одним из выдающихся логиков философии, утверждается, что многие из основных допущений, обычно используемых в логике, основаниях математики и метаф...
- 81 книга
Логика и математика
Александр81 книга
АлександрЛогика и математика
«Призрак Платона» – первая книга, в которой рассматривается развитие математики с 1880 по 1920 год как результат влияния модернизма, подобного тому, что происходил в искус...
Написанная на основе ранее неизвестных и не публиковавшихся материалов, эта книга - научная биография Н.А.Васильева, профессора Казанского университета, ученого-мыслителя,...
В монографии представлены междисциплинарные исследования на стыке логики и права. Авторов книги объединяют методологические подходы, разработанные известным русско-аргенти...
Книга состоит из статей С. А. Яновской, А. С. Есенина-Вольпина, И. И. Ревзина, С. К. Шаумяна, Ю. В. Петрова, А. А. Зиновьева, Г. Н. Поварова, В. И. Шестакова, М. Л. Цетлин...
Проблема китайской логики должна быть поставлена заново. В пользу этого говорят, с одной стороны, уникальность, а с другой — крайне слабая изученность китайского логико-ме...
Монография известного ученого, вице-президента Академии наук Польской Народной Республики, иностранного члена ЛИ СССР Казимира Куратовского — выдающееся явление и математи...
Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в и...
Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно сч...
Книга известного чехословацкого философа Ладислава Тондла "Проблемы семантики" посвящена сравнительно недавно возникшей и быстро развивающейся отрасли знания, относительно...
В выпуске опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики. Особое внимание уделено неклассическим логикам, так...
В юбилейном 10-м выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной логики, а также ст...
В восьмом выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной неклассической логики, а ...
Вниманию читателя предлагается книга выдающегося отечественного ученого - юриста и педагога, члена-корреспондента АН СССР М.С.Строговича (1894-1984). В книге в популярной ...
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), мет...
В учебном пособии излагаются основы алгоритмической грамотности (уточнение понятия алгоритма и алгоритмическая неразрешимость, анализ сложности алгоритмов, построение и ан...
Очередной выпуск серии "Математическое просвещение" посвящен элементарному изложению основ теории множеств (гл. I) и математической логики (гл. II). В книге дается также с...
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формул...
Сборник содержит основные труды выдающегося отечественного логика профессора В.А.Смирнова по теории логического вывода, в том числе основополагающую монографию "Формальный...
Автор набрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого до...