Логические математические исчисления: Учебное пособие
|
Автор: Шиханович Юрий Александрович
Жанр: Разное
Издательство: Научный мир
Год: 2011 Количество страниц: 256
Формат:
PDF (12.80 МБ)
Дата загрузки: 27 апреля 20152013-10-31
|
Аннотация
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики — понятие доказательства) и о понятии исчисления. От читателя требуется владение материалом книги Ю.А. Шихановича «Введение в математику» (М: «Научный мир», 2005). Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А. Шихановича «Минимум по теории алгоритмов для нематематиков» (М: «Научный мир», 2009).
Скачать с нашего сайта
|
Комментарии
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|