Content










защитный код
Advertisement

Основания математики. Математическая логика

<b>Виктор Шурыгин</b><br />
<span style='color:red;'>Сложностный метод теории алгоритмов(временно отсутствует)</span>

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

<b>Алонзо Черч</b><br />
<span style='color:red;'>Введение в математическую логику. Том 1(временно отсутствует)</span>

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

<b>Юрий Гастев</b><br />
<span style='color:red;'>Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования(временно отсутствует)</span>

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

<b>Виталий Целищев</b><br />
<span style='color:red;'>Тезис Черча(временно отсутствует)</span>

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

<b></b><br />
<span style='color:red;'>Многозначные логики и их применения. Том 2. Логики в системах искусственного интеллекта(временно отсутствует)</span>

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

<b>Виктор Финн</b><br />
<span style='color:red;'>Многозначные логики и их применения. Том 1. Логические исчисления, алгебры и функциональные свойства(временно отсутствует)</span>

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

<b>Стивен Коул Клини</b><br />
<span style='color:red;'>Введение в метаматематику(временно отсутствует)</span>

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

<b>Виталий Целищев</b><br />
<span style='color:red;'>Интуиция, финитизм и рекурсивное мышление(временно отсутствует)</span>

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

<b>Виталий Целищев</b><br />
<span style='color:red;'>Эпистемология математического доказательства(временно отсутствует)</span>

В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютер

<b>Лев Фридман</b><br />
<span style='color:red;'>Величины и числа. Популярные очерки(временно отсутствует)</span>

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

<b>Виталий Целищев</b><br />
<span style='color:red;'>Алгоритмизация мышления. Геделевский аргумент(временно отсутствует)</span>

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

<b>Нельсон Данфорд</b><br />
<span style='color:red;'>Линейные операторы. Общая теория(временно отсутствует)</span>

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

<b>Анатолий Кусраев</b><br />
<span style='color:red;'>Мажорируемые операторы(временно отсутствует)</span>

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

<b>Альберт Драгалин</b><br />
<span style='color:red;'>Конструктивная теория доказательств и нестандартный анализ(временно отсутствует)</span>

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

<b>Владимир Гольдич</b><br />
<span style='color:red;'>Дидактические материалы по алгебре и началам анализа для 10 класса(временно отсутствует)</span>

Данное пособие содержит самостоятельные и контрольные работы по курсу `Алгебра и начала анализа` для 10 класса, составленные в полном соответствии со школьной программой. Пособие может быть использовано как в обычных школах, так и в математических гимнази

<b>Андрей Киселёв</b><br />
<span style='color:red;'>Арифметика(временно отсутствует)</span>

В 2002 г. исполняется 150 лет со дня рождения А.П.Киселева. Его первый школьный учебник по арифметике вышел в 1884 г. В 1938 г. он был утвержден в качестве учебника арифметики для 5-6 классов средней школы; в 1955 г. вышло его 17-е издание. В наше время к

<< В начало < Предыдущая 1 2 3 Следующая > В конец >>
Всего 41 - 57 из 57