Шиханович Юрий Александрович: Логические математические исчисления: Учебное пособие
Скачать книгу (размер 1 299 Kb , формат fb2, страниц 256) Аннотация: В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики — понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича «Введение в математику» (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом…