Купить Курс математической логики и теории вычислимости. Учебное пособие. ISBN 978-5-8114-1666-0.
Конечная стоимость товара может отличаться от заявленной
уточнить цену и наличие на сайте интернет магазина
Купить Курс математической логики и теории вычислимости. Учебное пособие в интернет магазинах по следующим ценам
Цена в рублях | ||
1166 | Купить на my-shop.ru | |
1888 | Купить на Labirint.ru |
Конечная стоимость товара может отличаться от заявленной.
Описание товара
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля... описание на сайте интернет продавца
Характеристики Курс математической логики и теории вычислимости. Учебное пособие
Язык (language) | русский | Количество томов (number of tome) | 1 |
Стандарт (Standart) | 10 шт. | Rating | 143 |
Год выхода (year) | 2014 | Дата выпуска(выхода) (year) | 2014 г. |
Размеры (dimensions) | 130x200 мм | TopCategoryId | 2665 |
Количество страниц (pages) | 416 | Формат (form) | 84x108/32 (130x200 мм) |
Возрастная категория (age category) | 18+ (нет данных) | Код системы скидок | 25 |
Тип иллюстраций (type of illustrations) | черно-белые | Издательство (publisher) | Лань |
Alreadyparsed | 1 | Автор (author) | Герасимов А.С. |
Volume | 1 | Серия (series) | Учебники для ВУЗов. Специальная литература |
Вес | 434 г | Издание (edition) | 4-е |
ISBN | 978-5-8114-1666-0 | Переплет (мягкий/твердый) | твердый |
Вес (Weight) | 434 | Область образования | математика, алгебра |
Md5 | e50ccc07b3e3040a0c5802a98a6f7ce8 | Код в My-shop.ru | 1840796 |
Наличие иллюстраций (the presence of illustrations) | рисунки | AvailabilityCode | 2 |
Обложка (cover) | твердый переплет | Тираж (printing) | 1000 экз. |
Кроме Курс математической логики и теории вычислимости. Учебное пособие, также взгляните на следующие похожие товары
Учебное пособие посвящено дисциплине "Основы теории коммуникации". В нем рассматриваются основные, частные и прикладные аспекты этой дисциплины. Дается представление о функциях,..
1192 ₽
Лучшая цена в интернет магазине my-shop.ru
В данном пособии сделана попытка изложить основные идеи, подходы и область применения теории вероятностей и математической статистики максимально доступно, не прибегая к сложным..
309 ₽
Лучшая цена в интернет магазине Litres.ru
В учебном пособии излагаются основы алгоритмической грамотности (уточнение понятия алгоритма и алгоритмическая неразрешимость, анализ сложности алгоритмов, построение и анализ..
391 ₽
В пособии раскрываются основное содержание и особенности психологических феноменов, специфика и закономерности их проявления в жизни и деятельности людей в различных условиях...
Проверить цену на сайте интернет магазина
Изложение теоретического материала иллюстрируется типовыми примерами. Большое внимание уделено трудным разделам курса математического анализа (равномерная сходимость..
910 ₽
Лучшая цена в интернет магазине Labirint.ru
Это пособие является одним из наиболее востребованных руководств по минералогии. Данное издание публикуется с минимальными изменениями и дополнениями, связанными с обновлением..
1283 ₽
Лучшая цена в интернет магазине my-shop.ru
В пособии приведен краткий курс лекций ознакомительно-информационного характера, в которых рассматриваются основные аспекты теории решения изобретательских задач (ТРИЗ): алгоритм,..
920 ₽
Лучшая цена в интернет магазине my-shop.ru
Книга содержит систематическое изложение курса общей риторики и создана на основе лекций, читаемых автором на филологическом и философском факультетах МГУ имени М.В. Ломоносова и..
971 ₽
Лучшая цена в интернет магазине Chitai-Gorod.ru
Четвертое издание пособия существенно переработано и дополнено новыми разделами и описанием новых препаратов. В книге рассмотрены современные проблемы общей фармакологии, а также..
1347 ₽
Лучшая цена в интернет магазине Chitai-Gorod.ru
Учебное пособие ориентировано на изучение современного математического аппарата, используемого для моделирования физических процессов или визуализации их основных свойств. Курс..
409 ₽
Лучшая цена в интернет магазине Litres.ru