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

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

Читать книгу «Логические и математические исчисления» онлайн:

Комментарии ():

Вам также может понравиться:

Оставайтесь на связи

Будьте в курсе новостей о выходящих книгах, подпишитесь на нашу еженедельную рассылку:
© 2011-2024. Your Lib. All Rights Reserved.