Логические и математические исчисления. Юрий Шиханович

Логические и математические исчисления

ИздательствоНаучный мир
Год издания2011
Страниц256
ПереплетТвердый переплет
Формат60х90/16 (145х215 мм, стандартный)
ISBN978-5-91522-246-4
ИзготовительООО «Издательство «Научный мир». 127055, г. Москва, Тихвинский переулок, д. 10/12, корп. 4, подъезд 2.
ИмпортерООО «НТЦ АПИ», г. Минск, ул. Уманская, 54, пом. 1, каб. 34

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005).

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича "Введение в математику" (М: "Научный мир", 2005).

Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича "Минимум по теории алгоритмов для нематематиков" (М: "Научный мир", 2009).

Похожие лоты

Вход

В течение нескольких секунд вам придёт SMS с одноразовым кодом для входа. Если ничего не пришло — отправьте код ещё раз.
Это бесплатно, безопасно и займёт всего несколько секунд
Войдите с помощью своего профиля

Регистрация

Введите номер вашего мобильного телефона:
Войдите с помощью электронной почты или номера телефона
Войдите с помощью своего профиля

Восстановление пароля

Укажите адрес электронной почты, который вы использовали при регистрации
Нужна помощь? Напишите нам

Восстановление пароля

Инструкции по восстановлению пароля высланы на 
Нужна помощь? Напишите нам