Книги / Научная и научно-популярная литература / Математика / Научная, учебная литература для специалистов

Логические исследования. Выпуск 15

Шалак Владимир Иванович, Анисов Александр Михайлович, Бирюков Борис Владимиррович

Код товара: 2432102

(0 оценок)Оценить

ОтзывНаписать отзыв

ВопросЗадать вопрос

1 / 2

-35%

301

463

Доставим в

г. Москва

Планируемая дата

3 мая (Пт)

Курьером

бесплатно от 10 000 ₽

В пункт выдачи

от 155 ₽

бесплатно от 10 000 ₽

Точная стоимость доставки рассчитывается при оформлении заказа

Издательство:

Наука

Оригинальное название:

Logical Investigations. Volume 15

Год издания:

Редактор:

Карпенко А. С.

Описание

Характеристики

В данный сборник включены наиболее важные результаты, полученные в различных областях логики за последнее время. Основное внимание уделено развитию неклассических логик. Продолжены исследования по истории отечественной логики. Это издание рукописи В.И. Шестакова, утверждающей отечественный приоритет в открытии логической теории релейно-контактных схем. Также впервые издается на русском языке работа М.И. Шейнфинкеля, положившая начало развитию комбинаторной логики. Особый интерес представляет работа Ю.И. Манина об истинности и работа В.И. Шалака об основаниях логики.
Для логиков, философов, математиков и всех, кто интересуется различными приложениями логики.

количество томов

количество страниц

319 стр.

переплет

Твёрдый переплёт

размеры

222x146x18 мм

цвет

Белый

тип бумаги

офсетная (60-220 г/м2)

наличие иллюстраций

без иллюстраций

формат

60x90/16 (145x215 мм)

ISBN

978-5-02-036826-2

стандарт

2 шт.

возрастная категория

18+ (нет данных)

вес

414 г

код в Майшоп

2432102

язык

русский

Содержание

A.M. Анисов
Недетерминированная вычислимость: философские
основания
Б.В. Бирюков
К проблеме приоритета в открытии логической
теории релейно-контактных схем. Документ из
архива Виктора Ивановича Шестакова
В.Л. Васюков
Внутренняя логика универсальной логики
И.А. Горбунов
Независимая базируемость дедуктивных
пропозициональных систем
Л.Ю. Девяткин
n-значные матрицы для классической логики
высказываний
Д.В. Зайцев
Интуитивная семантика для релеватного
следования
Е.Ю. Комендантская
Функциональная взаимовыразимость регулярных
логик
Клини
Е.Е. Ледников
Семантика первопорядковой динамической
логики знания
В.И. Маркин
Позитивная силлогистика С3+ с константой
исчерпываемости
Н.Н. Непейвода
Реверсивные конструктивные логики
С.А. Павлов
Оператор истины для классической
сентенциональной логики и ее расширения на
область
неправильно построенных формул
В.М. Попов
Некоторые интервалы между простыми
паралогиками
Н.И. Стешенко
Аналитические таблицы для пропозициональной
логики Роговского
Н.Е. Томова
О четырехзначных регулярных логиках
В.Х. Хаханян
Об одном свойстве универсумов в моделях
реализуемости для интуиционистской теории
множеств
М. И. Шейнфинкель
О кирпичах математической логики
В.И. Шалак
М. И. Шейнфинкель и комбинаторная логика
В.И. Шалак
Логический анализ дефинициальной дедукции
Yu.I. Manin
Truth as value and duty: lessons of mathematics
A. Mutanen
Formal Methodology

Отзывы

Вопросы

Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!

Дарим бонусы за отзывы!

За какие отзывы можно получить бонусы?

За уникальные, информативные отзывы, прошедшие модерацию

Как получить больше бонусов за отзыв?

Публикуйте фото или видео к отзыву
Пишите отзывы на товары с меткой "Бонусы за отзыв"

Правила начисления бонусов

Задайте вопрос, чтобы узнать больше о товаре

Если вы обнаружили ошибку в описании товара «Логические исследования. Выпуск 15» (авторы: Шалак Владимир Иванович, Анисов Александр Михайлович, Бирюков Борис Владимиррович), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!