Математическая логика и теория алгоритмов для программистов

—

Нет оценок

Нет отзывов

Аннотация

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач.
Издательство
ПереплетТвёрдый переплёт
Страниц208
Год, тираж2010, 3 000 экз.

Не в наличии

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач.
Код2224579
Издательство
Автор
ПереплетТвёрдый переплёт
Кол-во страниц208
Год издания2010
Тираж3 000 экз.
ISBN978-5-406-00120-2
РазделЯзыки и среды программирования
Размеры1.7 см × 15 см × 22 см
Вес0.28 кг
В магазине «Буквоед» закончилась книга «Математическая логика и теория алгоритмов для программистов» от автора Гринченков Дмитрий Валерьевич. Когда книга снова поступит в продажу, можно будет сделать заказ из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Дождитесь, пока появится надпись «Купить», чтобы получить «Математическая логика и теория алгоритмов для программистов» в магазине сети или заказать доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!