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