Суббота, 02.11.2024, 18:32


Главная
Регистрация
Вход
Приветствую Вас Гость | RSS  
Меню сайта

Категории каталога
Графика [110]
Книги по компьютерной графике и графическим редакторам
Программирование [1095]
Скачать книги по программированию
Прочее [25190]
Журналы [25]
Медицина [0]
Наука [273]
Природа [0]
Литература [4130]

Наш опрос
Дайте оценку нашему порталу
Всего ответов: 36

На правах рекламы

Главная » Книги » Прочее
Журналист месяца - zyzy

Основания математической логики

17.03.2018, 08:50

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

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

Скачать Основания математической логики

Скачать с turbobit.net
Скачать с www.up-4ever.com
Скачать с suprafiles.org
Найденные файлы


Похожие материалы:

Конвертация траффика в деньги


Категория: Прочее | Добавил: pmojka | Просмотров: 137 | Рейтинг: 0.0/0 |
Форма входа

Друзья сайта

Статистика сайта

Онлайн всего: 135
Гостей: 135
Пользователей: 0

Поиск

Copyright MyCorp © 2024