Краткое описание:

<p>В наше время мало кто знает о том, что в сороковые годы прошлого века на вооружении советской контрразведки стояла особая система самбо. О том неизвестном самбо и рассказывает на страницах своей новой книги инструктор спецназа, мастер спорта международного класса, высококвалифицированный специалист по рукопашному бою Юрий Серебрянский.</p>

Краткое описание:

Данная книга является практическим руководством по искусству эффективного самовосстановления. Снабженная множеством детально описанных упражнений и корректирующих мышление историй, она позволяет любому практически освоившему ее человеку научиться целенаправленно управлять процессами восстановления своего организма. А это - залог стабильно хорошего самочувствия и прекрасного здоровья.

Краткое описание:

Эта книга предназначена для бойцов спецподразделений. И именно из-за специфики их службы основной упор в ней сделан на умении достигать глубочайшего расслабления, на полном освобождении от страха смерти и на умении мастерски обезболивать последствия любой физической травмы. Данная книга не является учебником по медицине.

Краткое описание: Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Она отличается исключительной глубиной содержания и тщательностью изложения. Для широкого круга читателей она привлекательна тем, что основополагающие идеи теории доказательства излагаются в ней более обстоятельно и менее формализованно.

Краткое описание: В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивиого метода в математике и тесно связанного с этим методом понятия алгорифма.

Краткое описание: Предлагаемая вниманию читателей книга Дж.Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результат традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритетов». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужно сказать, что это ему в основном удалось…

Краткое описание: В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р.Л.Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятии) от подходов, использованных другими математиками; и тесно связан с введенным Гудстейном исчислением равенств,
представляющим собой аксиоматический фрагмент теории рекурсивных арифметических функций, обладающий рядом важных достоинств.

Краткое описание: Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.

В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г.Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода.

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

Краткое описание: В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые её применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.