Книга 1: Введение в математику.
В книге систематически описываются начальные понятия математики «множество», «кортеж», «слово» (эти понятия принимаются как неопределяемые), «график», «соответствие», «функция», «последовательность», «отношение». Даются определения основных видов чисел - натуральных, целых, рациональных, действительных. Кроме того, излагается логико-математический язык, удобный для ясной и недвусмысленной формулировки определений и теорем и записи доказательств.
Книга 2: Минимум по теории алгоритмов для нематематиков
В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга).
Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по так называемой «высшей» математике.
Книга 3: Логические и математические исчисления.
В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.
От читателя требуется владение материалом книги Ю.А.Шихановича «Введение в математику»
Кроме того, предполагается знание основных понятий и фактов теории алгоритмов. В этом отношении изложение ориентировано на книгу Ю.А.Шихановича «Минимум по теории алгоритмов для нематематиков»
Скачать
Скрытое содержимое доступно для зарегистрированных пользователей!