Книги, литература Логические и математические исчисления - Шиханович (2011)

[job9087]

Логические и математические исчисления (2011)
Автор: Шиханович Ю.А.

Посмотреть вложение 30543

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику»
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков»




Продажник:

Скрытое содержимое. Вам нужно войти или зарегистрироваться.

Скачать:

Скрытое содержимое. Вам нужно войти или зарегистрироваться.