Автор Тема: Литература по логике, теории множеств, основаниям и философии математики  (Прочитано 1134 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
А


Айзерман Марк Аронович, Гусев Леонид Алексеевич, Розоноэр Лев Ильич, Смирнова Ирина Михайловна, Таль Алексей Алексеевич. Логика. Автоматы. Алгоритмы.
Андреев А. А., Горелов Г. Н., Люлев А. И., Савин А. Н. Принцип Дирихле.
Аншаков Олег Михайлович. ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания.
Ареан Луис Фернандо. Существуют ли неразрешимые проблемы? Математика, сложность и вычисление.
Архангельский А. В. Канторовская теория множеств.
Ашинянц Роберт Арамович. Логические методы в искусственном интеллекте.
Ахо Альфред, Хопкрофт. Джон, Ульман Джеффри. Построение и анализ вычислительных алгоритмов.
Ахо Альфред, Хопкрофт. Джон, Ульман Джеффри. Структуры данных и алгоритмы.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Б



Бакрадзе К. Логика.
Барвайс Дж. Справочная книга по математической логике в четырёх частях:
Часть I. Теория моделей.
Часть II. Теория множеств.
Часть III. Теория рекурсии.
Часть IV. Теория доказательств и конструктивная математика.
Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика.
Белнап Н., Стил Т. Логика вопросов и ответов.
Беран Л. Упорядоченные множества.
Беркли Э. Символическая логика и разумные машины.
Бизам Д., Герцег Я. Игра и логика. 85 логических задач.
Босс В. Лекции по математике. Том 6. От Диофанта до Тьюринга.
Босс В. Лекции по математике. Том 16. Теория множеств: от Кантора до Коэна.
Бродский И. Н. Отрицательные высказывания.
Булос Дж., Джеффри Р. Вычислимость и логика.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
В


Варпаховский Ф.Л. Элементы теории алгоритмов.
Васильев Н.А. Воображаемая логика. Избранные труды.
Васюков Владимир Леонидович. Квантовая логика.
Васюков Владимир Леонидович. Категорная логика.
Вейль Герман. О философии математики. Сборник работ.
Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов в трёх частях:
Часть 1. Начала теории множеств.
Часть 2. Языки и исчисления.
Часть 3. Вычислимые функции.
Верещагин Н.К., Успенский В.А., Шень А. Колмогоровская сложность и алгоритмическая случайность.
Виленкин Н. Я. Рассказы о множествах.
Войшвилло Е.К., Дегтярёв М.Г. Логика.
Войшвилло Е.К., Дегтярёв М.Г. Логика как часть теории познания и научной методологии. Фундаментальный курс. В двух частях.
Войшвилло Е.К. Понятие как форма мышления. Логико-гносеологический анализ.
Вригт Г.Х. Логико-философские исследования. Избранные труды.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Г


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

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Д


Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы.
Демидов И. В. Логика: учебное пособие для юридических вузов.
Джонстон П. Т. Теория топосов.
Дмитревская И. В. Логика.
Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств.
Дубнов Я. С. Ошибки в геометрических доказательствах.
Дурнев В. Г. Элементы теории алгоритмов.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
З


Зиновьев А.А. Комплексная логика.
Зиновьев А. А. Логика высказываний и теория вывода.
Зиновьев А. А. Философские проблемы многозначной логики.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
К


Кайберг Г. Вероятность и индуктивная логика.
Калужнин Л. А. Что такое математическая логика?
Калужнин Л. А. Элементы теории множеств и математической логики в школьном курсе математики.
Кановей В. Г. Аксиома выбора и аксиома детерминированности.
Кановей В. Г., Любецкий В. А. Современная теория множеств: борелевские и проективные множества.
Карпенко А. С. Логики Лукасевича и простые числа.
Карпенко А.С. Развитие многозначной логики.
Карри Х. Б. основания математической логики.
Клини С. К. Введение в метаматематику.
Клини С. К. Математическая логика.
Кметь А. Б. Четырёхзначная логика. Реализация операций.
Козмидиади В. А., Мучник А. А. Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций.
Корельская Т. Д., Падучева Е. В. Обратная теорема (алгоритмические и эвристические процессы мышления).
Кофман А. Введение в теорию нечётких множеств.
Коэн П. Дж. Теория множеств и континуум-гипотеза.
Кравченко В. Ф., Рвачёв В. Л. Алгебра логики, атомарные функции и вейвлеты в физических приложениях.
Крайзель Г. Исследования по теории доказательств.
Кузичев А. С. Диаграммы Венна. История и применения.
Купиллари А. Математика - это просто! Доказательства.
Куратовский К., Мостовский А. Теория множеств.
Кутасов А. Д. Элементы математической логики.
Кутюра Л. Алгебра логики.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Л


Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов.
Линдон Р. Заметки по логике.
Лихтарников Л.М., Сукачёва Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики.
Лукасевич Я. О принципе противоречия у Аристотеля. Критическое исследование.
Лакатос И. Доказательства и опровержения. Как доказываются теоремы.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
М


Москинова Г. И. Дискретная математика. Математика для менеджера в примерах и упражнениях.
Молодший В.Н. Очерки по  вопросам обоснования математики.
Медведев Ф.А. Ранняя история аксиомы выбора.
Молодцов Д.А. Теория мягких множеств.
Мальцев А.И. Алгоритмы и рекурсивные функции.
Марков А.А., Нагорный Н.М. Теория алгорифмов.
Марченков С.С. Элементарные рекурсивные функции.
Матиясевич Ю.В. Десятая проблема Гильберта.
Мадера А.Г., Мадера Д.А. Математические софизмы. Правдоподобные рассуждения, приводящие к ошибочным утверждениям.
Маковельский А.О. История логики.
Мартин-Лёф П. Очерки по конструктивной математике.
Мороз Б.З. Диофантовы уравнения и доказуемость в математике.
Манин Ю.И. Вычислимое и невычислимое.
Манин Ю.И. Доказуемое и недоказуемое.
Манин Ю.И. Лекции по математической логике (в двух частях).
Марков А.А. Элементы математической логики.
Мельников Г.П. Азбука математической логики.
Мендельсон Э. Введение в математическую логику.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
С


Сидоренко Е. А. Релевантная логика (предпосылки, исчисления, семантика).
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Т


Тишин В.В. Дискретная математика в примерах и задачах.
Тюрин С. Ф., Аляев Ю. А. Дискретная математика. Практическая дискретная математика и математическая логика.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
У


Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики.
Успенский В. А. Лекции о вычислимых функциях.
Успенский В.А. Машина Поста.
Успенский В. А. Простейшие примеры математических доказательств.
Успенский В. А. Теорема Гёделя о неполноте.
Успенский В. А., Семёнов А. Л. Теория алгоритмов: основные открытия и приложения.
Успенский В. А. Что такое аксиоматический метод?
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Ф


Фейс Р. Модальная логика.
Фетисов А. И. О доказательствах в геометрии.
Фосс А. Э. Сущность математики.
Фреге Г. Логика и логическая семантика. Сборник трудов.
Фрейденталь Х. Язык логики.
Фрейман Л. С. Теоремы существования.
Френкель А., Бар-Хиллел И. Основания теории множеств.
Фресан Х. Сон разума. Математическая логики и её парадоксы.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
Х


Хаусдорф Ф. Теория множеств.
Хенл Дж. М. Введение в теорию множеств.
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля
 

Оффлайн Admin

  • Администратор
  • Сообщений: 4966
  • Поблагодарили: 1575 раз(а)
    • Просмотр профиля