ГлавнаяРегистрацияВход Аворут
Понедельник, 24.07.2017, 13:36
Форма входа
Меню сайта










Категории каталога
Экономическая статистика [4]
Книги по экономической статистике: статистика труда, статистика населения и трудовых ресурсов, статистика финансов, статистика кредитных операций и операций с ценными бумагами и тд. Вы можете скачать книгу бесплатно.
Логика [15]
Книги по логике и математической логике и тд. Вы можете скачать книгу бесплатно.
Дискретная математика [23]
Книги по дискретной математике и тд. Вы можете скачать книгу бесплатно.
Эконометрия (эконометрика) [16]
Книги по эконометрике (эконометрии)и тд. Вы можете скачать книгу бесплатно.
Исследование операций [10]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Математические методы и модели [11]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Теория графов [24]
Книги по теории графов и тд. Вы можете скачать книгу бесплатно.
Логистика [3]
Книги по логистике и тд. Вы можете скачать книгу бесплатно.
Математическое программирование [19]
Книги по математическим методам и моделям, исследованию операций, математическому программированию и тд. Вы можете скачать книгу бесплатно.
Другие книги [4]
В эту категорию вошли книги, для которых ещё не создан раздел или его было трудно определить
Сметное дело в строительстве [2]
Книги по сметному делу в строительстве и тд. Вы можете скачать книгу бесплатно.
Информатика. MS Excel [2]
Книги по информатике, программированию: табличный процессор MS Excel и тд. Вы можете скачать книгу бесплатно.
Информатика. MS Access [2]
Книги по информатике, программированию: система управления базами данных MS Access и тд. Вы можете скачать книгу бесплатно.
Психология. Принятие решений [3]
Книги по психологии принятия решений и тд. Вы можете скачать книгу бесплатно.
Психология. Коучинг [3]
Книги по психологии:коучинг и тд. Вы можете скачать книгу бесплатно.
Финансовый анализ [8]
Книги по финансовому анализу: технический и фундаментальный анализ, рекомендации для игры на бирже и тд. Вы можете скачать книгу бесплатно.
Финансовая математика [2]
Книги по финансовой математике и тд. Вы можете скачать книгу бесплатно.
Теория игр [7]
Книги по теории игр и тд. Вы можете скачать книгу бесплатно.
Теория вероятностей и математическая статистика [53]
Книги по теории вероятностей, математической статистике и тд. Вы можете скачать книгу бесплатно.
Информационные системы и технологии [14]
Книги по информационным системам, информационным технологиям и тд. Вы можете скачать книгу бесплатно.


Друзья сайта




Главная » Файлы » Книги скачать бесплатно » Логика

Мендельсон Э. Введение в математическую логику. М.: Наука, 1971
[ · Скачать удаленно (3.59 Мб) ] 19.06.2008, 16:02
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. Логика. Скачать бесплатно.
В книге Э, Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.
Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании.
Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе.
Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение
 
Название: Мендельсон Введение в математическую логику.djvu
Размер: 3.59 Мб
Описание: Мендельсон Э. Введение в математическую логику. М.: Наука, 1971
Ссылка для скачивания файла:
 
Ключевые слова: логика, математическая логика, скачать учебник бесплатно, логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов, теория моделей, аксиоматическая теория множеств
Категория: Логика | Добавил: avorut
Просмотров: 4639 | Загрузок: 753 | Рейтинг: 3.3/3 |
 


Заказ контрольной работы

www.ru yandex.ru rambler.ru google.com



Rambler's Top100

каталог сайтів Каталог україномовних сайтів Каталог україномовних сайтів


 
Поиск
Copyright MyCorp © 2017
Хостинг от uCoz