Математическая логика. Курс лекций и практических занятий

Сергей Шапорев

Математическая логика. Курс лекций и практических занятий

бумажная книга
Проверить наличие на складах

Дата отгрузки на данный момент неизвестна.

Товар закончился у основного поставщика, и, после получения заказа от вас, мы закажем его у других поставщиков. Мы не можем гарантировать выполнение данного заказа, поэтому настоятельно не рекомендуем заказывать данный товар, используя предоплату (банковский перевод и т.п.). Заказ на такой товар действителен в течение 3 недель (если в течение 3 недель товар не придет, заказ будет отменен). Однако, это не означает, что товар нельзя заказать вновь, поскольку в некоторых случаях возможны и более поздние поставки.


Технические характеристики
Издательство:
BHV-СПб
Дата выхода:
октябрь 2005
ISBN:
5-94157-702-8
Тираж:
3 000 экземпляров
Объём:
416 страниц
Масса:
510 г
Размеры (В × Ш × Т):
24 × 17 × 2 см
Обложка:
твёрдая

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



Полная версия

Мы принимаем
Подробнее об оплате

1996-2025 © OTALEX