Логика. 25 книг.

Логика. 25 книг.

Жанр: Математика
Формат: DjVu
Качество: Отсканированные страницы

Описание: Со времен создания Аристолем формальной логики, она в своей основе не изменилась. Глобальным концептуальным вкладом можно считать лишь добавление 4-ого закона логики.
Однако, в 20 веке эта дисциплина наращивала обороты.
В этой коллекции приведены работы замечательных мастеров Маркова и Колмогорова... Подробно изложена современна концепция нечеткой логики.

Список книг

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


Скачать 77 MB