КОД (ISBN):
978-5-91522-246-4

Книга: Логические математические исчисления

Товар № 10245011

Автор: Шиханович Ю.А.

Издательство: Научный мир

Вес: 0.390 кг.

Год издания: 2011

Формат: 60х90/16

Страниц: 256 Переплет: Твердый переплет

Цена: 759 руб.

В КОРЗИНУ

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