Логика. 25 книг. [DjVu]

Логика. 25 книг.
Жанр: Математика
Формат: DjVu
Качество: Отсканированные страницы
Описание: Со времен создания Аристолем формальной логики, она в своей основе не изменилась. Глобальным концептуальным вкладом можно считать лишь добавление 4-ого закона логики.
Однако, в 20 веке эта дисциплина наращивала обороты.
В этой коллекции приведены работы замечательных мастеров Маркова и Колмогорова… Подробно изложена современна концепция нечеткой логики.
Список книг
Айзерман_______Логика. Автоматы. Алгоритмы.
Булос_______Вычислимость и логика.
Гильберт_______Основы Теоритической логики.
Гиндикин_______Алгебра логики в задачах.
Гладкий_______Математическая логика.
Голдблатт_______Топосы. Категорный анализ логики.
Зиновьев_______Очерки комплексной логики.
Калужин_______Что такое математическая логика.
Кац, Улам_______Математика и логика. Ретроспектива и перспективы.
Колмогоров_______Введение в математическую логику.
Круглов_______Нечеткая логика и искусственные нейронные сети.
Лавров_______Задачи по теории множеств, математической логике и теории алгоритмов.
Марков_______Элементы математической логики.
Меськов_______Очерки по логике квантовой механики.
Метакидес_______Принципы логики и логического программирования.
Новиков_______Констуктивная математическая логика с точки зрения классической.
Ракитов_______Курс лекций по логике науки.
Саратов_______Сборник задач по математической логике и алгебре множеств.
Таванец_______Проблемы логики.
Фрейденталь_______Язык Логики.
Чень, Ли_______Математическая логика и автоматическео доказательство теорем.
Чёрч_______Введение в математическую логику.
Чупахин_______Формальная логика.
Эдельман_______математическая логика.