Логические математические исчисления. Учебное пособие

Ю. А. Шиханович

Логические математические исчисления. Учебное пособие

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

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

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


Технические характеристики
Издательство:
Научный мир
Дата выхода:
апрель 2011
ISBN:
978-5-91522-246-4
Тираж:
1 000 экземпляров
Объём:
256 страниц
Масса:
100 г
Обложка:
твёрдая

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005).
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).



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

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

1996-2025 © OTALEX