Магазин `Купить с доставкой`
Доставка до пунктов выдачи или почтой.
  |
Научная, учебная литература для специалистов
Производитель Научный мир
Логические и математические исчисления
Производитель: Научный мир
Цена: 587.00 руб.
Описание:
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича «Введение в математику» (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).
Минимум по теории алгоритмов для нематематиков
Производитель: Научный мир
Цена: 465.00 руб.
Описание:
В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга).
Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по так называемой "высшей" математике.
С другой стороны, от читателя этого пособия требуется владение материалом книги Ю.А. Шихановича "Введение в математику".