Информация о книге

978-5-397-01387-1

Главная  » Научно-техническая литература » Прикладные науки. Техника » Транспорт » Прочие виды транспорта » Введение в математическую логику

Мендельсон Э., Введение в математическую логику


серия: Физико-математическое наследие: математика
Либроком, 2010 г., 320 стр., 978-5-397-01387-1


Описание книги

В настоящей книге дается достаточно полное и вместе с тем доступное изложение основных разделов математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещаются также теория моделей и аксиоматическая теория множеств, отсутствующие в известной книге С.К.Клини "Введение в метаматематику" (2-е изд. М.: URSS, 2009), являющейся одним из наиболее полных пособий по математической логике. Изложение отличается ясностью, простотой и лаконичностью. Книга содержит большое число примеров и упражнений, в которые помимо прочего вынесены некоторые результаты, используемые затем в основном тексте. Рекомендуется студентам и аспирантам в качестве пособия по математической логике, преподавателям математических факультетов, а также всем желающим самостоятельно изучать математическую логику.

Поделиться ссылкой на книгу




Об авторе

Мендельсон Э.


Последние поступления в рубрике "Прочие виды транспорта"



Властелины воздуха. Энциклопедия воздушного боя Властелины воздуха. Энциклопедия воздушного боя Фойхтер Г.

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

Китай против Тайваня. Война в воздухе Китай против Тайваня. Война в воздухе Никольский М.В.

Экипажи самолетов ВВС и морской авиации Китайской Народной Республики имеют поистине бесценный опыт полетов в акватории Тайваня в составе разнородных групп на большие расстояния в условиях, максимально приближенным к боевым. Такого опыта нет у летчиков ни одной другой страны мира....

Энциклопедия авиации Энциклопедия авиации Толкачев А.И., Пуков В.

В этой книге вы сможете проследить весь путь развития авиации: от первых летательных аппаратов до сложных современных военных и гражданских самолетов....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Мендельсон Э., Введение в математическую логику в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.