Внимание! Вышло обновление! Сайт knigka.info выпустил обновление сборника лучших электронных книг на 15 DVD дисках. Суммарным объёмом коллекции около 9000 книг, общим объёмом более 60 гигабайт.
Диск 1 - Программирование Диск 2 - Графика. Мультимедиа Диск 3 - Интернет и сети. База данных. Cisco. Безопасность. Хакинг Диск 4 - Microsoft Office. Web Дизайн. Разное Диск 5 - Операционные системы. Bios. Запись CD и DVD. Инженер Диск 6 - Библиотека в кармане. Учебный комплекс INTUIT. Фотография Диск 7 - Учебная литература Диск 8 - Нормативная литература Диск 9 - Мaшиностроение Диск 10 - Электроника. Электропривод. Электроснабжение Диск 11 - Строительство Диск 12 - Проекты коттеджей Диск 13 - Бизнес книги & Forex Диск 14 - Психология Диск 15 - Экономика
Со времен создания Аристолем формальной логики, она в своей основе не изменилась. Глобальным концептуальным вкладом можно считать лишь добавление 4-ого закона логики.Однако, в 20 веке эта дисциплина наращивала обороты.В этой коллекции приведены работы замечательных мастеров Маркова и Колмогорова... Подробно изложена современна концепция нечеткой логики. Список книг Айзерман - Логика. Автоматы. Алгоритмы.Булос - Вычислимость и логика.Гильберт - Основы Теоритической логики.Гиндикин - Алгебра логики в задачах.Гладкий - Математическая логика.Голдблатт - Топосы. Категорный анализ логики.Зиновьев - Очерки комплексной логики.Калужин - Что такое математическая логика.Кац, Улам - Математика и логика. Ретроспектива и перспективы.Колмогоров - Введение в математическую логику.Круглов - Нечеткая логика и искусственные нейронные сети.Лавров - Задачи по теории множеств, математической логике и теории алгоритмов.Марков - Элементы математической логики.Меськов - Очерки по логике квантовой механики.Метакидес - Принципы логики и логического программирования.Новиков - Констуктивная математическая логика с точки зрения классической.Ракитов - Курс лекций по логике науки.Саратов - Сборник задач по математической логике и алгебре множеств.Таванец - Проблемы логики.Фрейденталь - Язык Логики.Чень, Ли - Математическая логика и автоматическео доказательство теорем.Чёрч - Введение в математическую логику.Чупахин - Формальная логика.Эдельман - математическая логика.
