Логические математические исчисления. Учебное пособие
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении...
ISBN: 978-5-91522-246-4
Издательство:
Научный мир
Дата выхода: апрель 2011
Оставить комментарий