Корзина
0 экз.
0
Школьная форма

Определимость и вычислимость | Ершов

Определимость и вычислимость
Цена в интернет-магазине:
нет в наличии
Цена в розничном магазине:
нет в наличии
код товара:2072473
автор:Ершов
издательство: Экономика
год выпуска:2000
ISBN:5282020211
оформление: твердый переплет
кол-во страниц: 318
Наличие и цены в розничных магазинах

Описание:
Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные динамическойлогике и др.

Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

Обнаружили ошибку в описании Книга «Определимость и вычислимость» (Ершов, Экономика)? Сообщите нам об ошибке.


Запрос на дополнительную информацию



Рецензии и отзывы на книгу Определимость и вычислимость

Отзывов пока нет


Оставить отзыв




Интернет-магазин "Чакона": купить книги в Самаре, Тольятти, Новокуйбышевске и Сызрани.

Вы можете оформить заказ в интернете или посетить наши розничные магазины. В наличии широчайший ассортимент товаров. Со многими издательствами мы работаем без посредников, поэтому у Вас есть возможность заказать самые свежие новинки и книги, которые только готовятся к выпуску. Доставка по России может быть для Вас бесплатной. Желаем удачных покупок!

loading...
Пожалуйста, войдите или зарегистрируйтесь, чтобы мы могли сохранить Ваш список.
Вы можете заказать данный товар, позвонив по телефону в тот магазин, где Вам удобнее будет его выкупать. Заказы через интернет-магазин временно не принимаются.
Текст сообщения:
(пожалуйста, опишите проблему как можно подробнее, чтобы мы смогли быстрее помочь вам)