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

В предлагаемом пособии подробно изложены три базисных понятия математического анализа - предел, непрерывность, производная. Для его чтения не требуется никаких предварительных знаний по так называемой «высшей» математике, не требуется даже знания того, что в школьном курсе математики называется началами анализа.

В предлагаемом пособии рассказано о логических и математических исчислениях (конструкциях, в которых формализовано центральное понятие математики - понятие доказательства) и о понятии исчисления.

В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга). Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по так называемой "высшей" математике. С другой стороны,...

В предлагаемом пособии подробно изложены три базисных понятия математического анализа - предел, непрерывность, производная. Для его чтения не требуется никаких предварительных знаний по так называемой «высшей» математике, не требуется даже знания того, что в школьном курсе математики называется началами анализа.

В предлагаемом учебном пособии изложены самые начала теории алгоритмов - базисные понятия теории алгоритмов: предписание (исходное неопределяемое понятие), перечислимое множество, алгоритм, вычислимая функция, разрешимое множество, и один из формальных универсальных языков для записи предписаний, работающих со словами (машины Тьюринга). Пособие предназначено для нематематиков, и для его чтения не требуется никаких предварительных знаний по так называемой "высшей" математике. С другой стороны, от...