Наверх

Вы не зарегистрированы. Поэтому авторизуйтесь или укажите E-mail адрес, на который хотите получить уведомление о поступлении товара в продажу.

Внимание! Уведомление о поступлении товара будет отправлено Вам один раз.

Лидеры продаж
Математическая логика: Алгебра и исчисление высказываний; Логика и исчисление предикатов; Ресурсивные функции и машины Тьюринга и др.: Курс лекций и практических занятий
Отложить на потом

Математическая логика: Алгебра и исчисление высказываний; Логика и исчисление предикатов; Ресурсивные функции и машины Тьюринга и др.: Курс лекций и практических занятий

Автор: Сергей Дмитриевич Шапорев

Нет в продаже


Серия: Учебник для ВУЗов.

Издательство: БХВ-Петербург (2005 г.)

Твердый переплет, 416 стр.

ISBN: 5-94157-702-8

Тираж: 3000 экз.

Размер: 70x100/16 (170x240 мм)

Вес: 498 гр.

Поискать похожие книги
Другие издания этой книги

Внимание!
Сроки комплектации временно увеличены!
Краткое описание

Математическая логика: Алгебра и исчисление высказываний; Логика и исчисление предикатов; Ресурсивные функции и машины Тьюринга и др.: Курс лекций и практических занятий.

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

Внешний вид товара Математическая логика: Алгебра и исчисление высказываний; Логика и исчисление предикатов; Ресурсивные функции и машины Тьюринга и др.: Курс лекций и практических занятий может отличаться от изображения товара на сайте!

Лидеры продаж
Отзывы (Ваш отзыв будет первым)

Ваше мнение очень интересно, но чтобы оставить свой отзыв, пожалуйста, зарегистрируйтесь