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

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

Вообще, что-то странное... Было одно сообщение - я взял оттуда .torrent и начал ждать... Потом то сообщение было удалено и появилось другое. Книжки скачались и даже раздаются, но с точки зрения трекера ничего не происходит... :-\
А подборка хорошая. Спасибо!

гм. я сам не такой большой знаток...
лично я делал так на своей раздаче:
- создал торрент для папки (вне папки)
- создал тему и залил торрент на трекер
- потом скачал торрент в директорию, где лежала папка с моими файлами и запустил программу - трекер подхватил файлы, и они стали доступны для других людей...
дополнение:
вот здесь - https://rutr.life/forum/viewtopic.php?t=60115 - посмотри...
Q. У меня написано:
Полного источника не было: никогда
Последний сидер: нет
В чём же дело?
A. Может быть 3 причины:
1.Ты не скачал торрент файл со своей же раздачи
2.Ты не точно указал путь к файлу с которого ты делал торрент файл
3.Надо немного подождать пока вся информация дойдет(минут 10 )....Не сразу обновляется информация...

торрент файл должен называтся на лаинице_

подскажите на какой программе открывать??????????????????????????????

Sercaz Ого, ничего себе!))) Можно по топологии и тензорному исчислению (если по последнему есть хоть что-то)... Позялуйста...

А что так? Боитесь ум за разум зайдет? >))))) Ничего, Вы выкладывайте, а своего часа они дождутся))) Заранее огромное человеческое спасибо) И за проявленую заботу (если это была она) обо мне, любимой)

странно, почему нет ни Клини, ни Мендельсона, ни даже Бочарова\Маркина

Подборка скромная, но всё равно спасибо . Вот здесь есть Клини и Мендельсон и многое другое: https://rutr.life/forum/viewtopic.php?t=1911252

Эх... Ещё как изменилась. У Аристотеля логика была трёхзначной ("да", "нет" и "привходящее"), а не двузначной. Соответственно, никакого "закона исключённого третьего" в помине не было. Но добрый дядя Хрисипп так причесал Аристотеля, что понятие "привходящего" ("симбебекос") выпало практически изо всех переводов - сохранилось только в оригинале.
Подробнее - здесь: Н.П. Брусенцов о расширении традиционной логики