D-Mir2009
Меню сайта
Категории раздела
Video [254]
Фильмы и другие видеоматериалы
Music [23320]
Музыка
Programs [519]
Программы для компьютера и не только
Others [26382]
Другое
Мини-чат
Наш опрос
Оцените мой сайт
Всего ответов: 28
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » 2018 » Март » 17 » Основания математической логики
08:49
Основания математической логики

Основания математической логики — Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.

Название: Основания математической логики
Автор: Карри Х. Б.
Издательство: Мир
Год: 1969
Страниц: 528
Формат: DJVU
Размер: 10,01 МБ
Качество: Отличное

Скачать Основания математической логики
Скачать с turbobit.net
Скачать с www.up-4ever.com
Скачать с suprafiles.org
Категория: Others | Просмотров: 83 | Добавил: pmojka | Теги: Основания, математической, логики, 1969 | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Вход на сайт
Поиск
Календарь
Архив записей
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2020