Логические исследования. Выпуск 15 (Шалак Владимир Иванович, Анисов Александр Михайлович, Бирюков Борис Владимиррович) ; Наука, 2009

от 311 р. до 717 р.

Автор(ы): Шалак Владимир Иванович;
Издатель: Наука
ISBN: 978-5-02-036826-2
все характеристики
ID: SKU191623
Добавлено: 15.08.2021

Рейтинг:

(0/5)

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

Цены (3)Описание Содержание О книге Отзывы (0)

Сравнить цены

Цена от 311 р. до 717 р. в 3 магазинах

Магазин	Цена	Наличие
Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	322 р. 496 р. история цены
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	717 р. история цены
МАЙШОП 5/5 ООО "МАГАЗИН КНИГ" ИНН: 9725076959	311 р. 463 р. история цены
Читай-город 5/5 ООО "Новый Книжный Центр" ИНН: 7710422909

Как купить или где мы находимся +

Описание

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

Смотри также Характеристики.

Яндекс.Маркет

Содержание

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

О книге


Автор(ы)	Шалак Владимир Иванович, Анисов Александр Михайлович, Бирюков Борис Владимиррович
Издатель	Наука
ISBN	978-5-02-036826-2
Год издания	2009
Размеры	60x90/16
Язык издания	Русский
Кол-во страниц	319
Обложка	твердый переплёт